Guided test generation for coverage criteria.

Rahul Pandita Tao Xie Nikolai Tillmann Jonathan de Halleux

Published in: ICSM (2010)

Keyphrases

test generation
code coverage
test cases
test sequences
symbolic execution
test suite
design automation
static analysis
software testing
quality assurance
mutation testing
test data generation
pattern matching
software systems
life cycle
data sets
regression testing
query processing
machine learning
database