First Page | Document Content | |
---|---|---|
![]() Date: 2016-03-08 07:04:45Software testing Concolic testing Symbolic execution Java Pathfinder KeY Random testing Model checking Satisfiability modulo theories Unit testing Type system White-box testing Fuzz testing | Add to Reading List |
![]() | 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 |