JPF-SE: A Symbolic Execution Extension to Java PathFinder.

Saswat Anand, Corina S. Pasareanu, Willem Visser

Browse the full TACAS paper archive.