Mutually Enhancing Test Generation and Specification Inference.

Tao Xie David Notkin

Published in: FATES (2003)

Keyphrases

test generation
test cases
symbolic execution
test sequences
static analysis
design automation
software testing
high level
bayesian networks
mutation testing
test data generation
machine learning
specification language
software development
quality assurance
regression testing