Sign in
Test generation for subtractive specification errors.
Patricia S. Lee
Ian G. Harris
Published in:
VTS (2012)
Keyphrases
</>
test generation
test cases
symbolic execution
design automation
test sequences
static analysis
mutation testing
specification language
high level
software testing
quality assurance
formal specification
error rate
multi agent systems
cooperative
multi agent
code coverage