![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 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](https://www.pdfsearch.io/img/23fe8a25b74e06fbc9d27856df191103.jpg) Date: 2008-11-03 13:00:13Software 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, RiAdd to Reading ListSource URL: www.agoldberg.orgDownload Document from Source Website File Size: 576,48 KBShare Document on Facebook
|