Experimental Evaluation of Verification and Validation Tools on Martian Rover Software Guillaume Brat, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Mike Lowry, Corina Pasareanu, Arnaud Venet, Willem Visser, Ri

First Page		Document Content
Date: 2008-11-03 13:00:13 Software engineering Software quality Program analysis Software bug Java Pathfinder Static program analysis Model checking Debugging Verification and validation Software development Formal methods Software testing		Experimental Evaluation of Verification and Validation Tools on Martian Rover Software Guillaume Brat, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Mike Lowry, Corina Pasareanu, Arnaud Venet, Willem Visser, Ri Add to Reading List Source URL: www.agoldberg.org Download Document from Source Website File Size: 576,48 KB Share Document on Facebook

	Using Java Pathfinder to Reason about Agent Systems Franco Raimondi Department of Computer Science Middlesex University DocID: 1xTg2 - View Document
	Using Symbolic (Java) PathFinder at NASA Corina S. P˘as˘areanu Carnegie Mellon University/NASA Ames Research Center, Moffett Field, CA 94035, USA, DocID: 1s1qc - View Document
	Exhaustive Testing of Safety Critical Java DocID: 1qTQs - View Document
	Symbolic Execution for Software Testing in Practice – Preliminary Assessment Patrice Godefroid Imperial College London DocID: 1pese - View Document
	PDF Document DocID: 1iKZC - View Document