Certified Symbolic Execution.

Rui Qiu Corina S. Pasareanu Sarfraz Khurshid

Published in: ATVA (2016)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
source code
specification language
data flow
test cases
query processing
databases
software systems