Login / Signup
Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria?
Mats Per Erik Heimdahl
George Devaraj
Robert Weber
Published in:
HASE (2004)
Keyphrases
</>
test generation
code coverage
test cases
formal specification
test sequences
high level
test suite
software testing
design automation
data sets
computer vision
decision trees
multi agent
specification language
artificial intelligence
mutation testing