Generating Test Suites with Augmented Dynamic Symbolic Execution.

Konrad Jamrozik Gordon Fraser Nikolai Tillmann Jonathan de Halleux

Published in: TAP@STAF (2013)

Keyphrases

symbolic execution
test suite
test data generation
static analysis
test cases
test case generation
test suite reduction
specification language
software testing
number of test cases
test generation
software engineering
data model
monitoring system
pattern matching
genetic programming
image quality