make test-zesti: A symbolic execution solution for improving regression testing.

Paul Dan Marinescu Cristian Cadar

Published in: ICSE (2012)

Keyphrases

regression testing
test generation
symbolic execution
test cases
test data generation
test suite
software testing
static analysis
software maintenance
quality assurance
neural network
optimal solution
pattern matching
database
database systems
case study
information systems
real world
databases