Shadow symbolic execution for better testing of evolving software.

Cristian Cadar Hristina Palikareva

Published in: ICSE Companion (2014)

Keyphrases

symbolic execution
test data generation
static analysis
source code
test cases

test generation
software testing
data flow
simulated annealing algorithm
specification language

software systems
quality assurance
test suite
software projects
artificial intelligence

database
software architecture
generation algorithm
software development
database systems