Login / Signup
An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation technique.
Avik Sinha
Carol S. Smidts
Published in:
Empir. Softw. Eng. (2006)
Keyphrases
</>
test generation
experimental evaluation
test cases
symbolic execution
test sequences
design automation
quality assurance
mutation testing
static analysis
software testing
higher order
code coverage
high level
information systems
error rate
specification language
database systems