Login / Signup
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis.
Corina S. Pasareanu
Willem Visser
David H. Bushnell
Jaco Geldenhuys
Peter C. Mehlitz
Neha Rungta
Published in:
Autom. Softw. Eng. (2013)
Keyphrases
</>
model checking
temporal logic
symbolic execution
case study
model checker
bounded model checking
artificial intelligence
static analysis
binary decision diagrams
database systems
object oriented
software engineering
formal verification
test generation
epistemic logic
computation tree logic