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

Saswat Anand Corina S. Pasareanu Willem Visser

Published in: TACAS (2007)

Keyphrases

symbolic execution
source code
static analysis
test generation
test data generation
programming language
specification language
open source
data flow
software systems
real world
object oriented
databases
web services
high level
test cases