Feedback-Driven Incremental Symbolic Execution.

Qiuping Yi Guowei Yang

Published in: ISSRE (2022)

Keyphrases

symbolic execution
test data generation
static analysis
test generation
specification language
source code
data flow
databases
database
pattern matching
data sets