Symbolic PathFinder: symbolic execution of Java bytecode
Symbolic execution and program testing