Feedback-Directed Random Test Generation.

Carlos Pacheco Shuvendu K. Lahiri Michael D. Ernst Thomas Ball

Published in: ICSE (2007)

Keyphrases

test generation
test cases
test sequences
symbolic execution
design automation
static analysis
software testing
quality assurance
mutation testing
relevance feedback
video sequences
databases
machine learning
case study
vision system