First Page | Document Content | |
---|---|---|
Date: 2010-09-11 18:44:46Model checkers Software testing Software engineering Concurrent computing Model checking Promela SPIN model checker Probability and statistics Statistical theory Random testing Java Pathfinder Actor model | Random Testing and Model Checking: Building a Common Framework for Nondeterministic Exploration Alex Groce Rajeev JoshiAdd to Reading ListSource URL: rjoshi.orgDownload Document from Source WebsiteFile Size: 129,10 KBShare Document on Facebook |
Using Java Pathfinder to Reason about Agent Systems Franco Raimondi Department of Computer Science Middlesex UniversityDocID: 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 JavaDocID: 1qTQs - View Document | |
Symbolic Execution for Software Testing in Practice – Preliminary Assessment Patrice Godefroid Imperial College LondonDocID: 1pese - View Document | |
PDF DocumentDocID: 1iKZC - View Document |