Autolink: A Tool for Automatic Test Generation from SDL Specifications.

Beat Koch Jens Grabowski Dieter Hogrefe Michael Schmitt

Published in: WIFT (1998)

Keyphrases

test generation
test cases
test sequences
symbolic execution
design automation
static analysis
high level
machine learning
case study
unit testing
database
artificial intelligence
information systems
image processing
high quality
test data generation