Login / Signup
A methodology for automated test generation guided by functional coverage constraints at specification level.
Odile Laurent
Christel Seguin
Virginie Wiels
Published in:
ASE (2006)
Keyphrases
</>
test generation
test cases
static analysis
code coverage
design automation
software testing
high level
cooperative
symbolic execution
training data
formal specification
quality assurance
test sequences