RWset: Attacking Path Explosion in Constraint-Based Test Generation.

Peter Boonstoppel Cristian Cadar Dawson R. Engler

Published in: TACAS (2008)

Keyphrases

test generation
test cases
symbolic execution
design automation
static analysis
test sequences
quality assurance
software testing
mutation testing
shortest path
database
decision trees
test data generation
data sets
vision system
computer vision
machine learning
real world