Evaluating Symbolic Execution-Based Test Tools
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis