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