Accelerating array constraints in symbolic execution.

David Mitchel Perry Andrea Mattavelli Xiangyu Zhang Cristian Cadar

Published in: ISSTA (2017)

Keyphrases

symbolic execution
test data generation
static analysis
specification language
test generation
databases
source code
artificial intelligence
case study
search algorithm
programming language