Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Brat, G. P., Drusinsky, D., Giannakopoulou, D., Goldberg, A., Havelund, K., Lowry, M. R., Pasareanu, C. S., Venet, A., Visser, W., & Washington, R. Formal Methods in System Design, 25(2-3):167-198, 2004.
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. [link]Link  Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. [link]Paper  bibtex   
@article{journals/fmsd/BratDGGHLPVVW04,
  added-at = {2011-05-25T00:00:00.000+0200},
  author = {Brat, Guillaume P. and Drusinsky, Doron and Giannakopoulou, Dimitra and Goldberg, Allen and Havelund, Klaus and Lowry, Michael R. and Pasareanu, Corina S. and Venet, Arnaud and Visser, Willem and Washington, Richard},
  biburl = {https://www.bibsonomy.org/bibtex/2f3b0f81c5da1b4c60999b00d18ed30c6/dblp},
  ee = {http://dx.doi.org/10.1023/B:FORM.0000040027.28662.a4},
  interhash = {57b91f4c80cfce51efd7a122b0702e96},
  intrahash = {f3b0f81c5da1b4c60999b00d18ed30c6},
  journal = {Formal Methods in System Design},
  keywords = {dblp},
  number = {2-3},
  pages = {167-198},
  timestamp = {2011-05-26T11:34:29.000+0200},
  title = {Experimental Evaluation of Verification and Validation Tools on Martian Rover Software.},
  url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd25.html#BratDGGHLPVVW04},
  volume = 25,
  year = 2004
}

Downloads: 0