Autolink - Putting SDL-Based Test Generation Into Practice.

Michael Schmitt Anders Ek Beat Koch Jens Grabowski Dieter Hogrefe

Published in: IWTCS (1998)

Keyphrases

test generation
test cases
design automation
symbolic execution
test sequences
mutation testing
software testing
static analysis
real world
case study
quality assurance
database
data sets
database systems
cooperative