Symbolic execution with abstraction.

Saswat Anand Corina S. Pasareanu Willem Visser

Published in: Int. J. Softw. Tools Technol. Transf. (2009)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
specification language
source code
high level
data flow
test cases
pattern matching
database
artificial intelligence
error rate
quality assurance
object oriented
simulated annealing algorithm
generation algorithm
state space
database systems