Explicating symbolic execution (xSymExe): an evidence-based verification framework.

John Hatcliff Robby Patrice Chalin Jason Belt

Published in: ICSE (2013)

Keyphrases

symbolic execution
test generation
model checking
high level
specification language
general purpose