Pending Constraints in Symbolic Execution for Better Exploration and Seeding.

Timotej Kapus Frank Busse Cristian Cadar

Published in: ASE (2020)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
genetic algorithm
artificial intelligence
test cases
specification language
case study
search space
general purpose
optimization algorithm
genetic algorithm ga