C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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