POM/JLEC: An Automatic Program Equivalence Checker for Java Enterprise Systems
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis