-Autolink- A Tool for the Automatic and Semi-Automatic Test Generation.

Michael Schmitt Jens Grabowski Dieter Hogrefe Beat Koch

Published in: FBT (1997)

Keyphrases

test generation
automatic and semi automatic
test cases
test sequences
software testing
symbolic execution
static analysis
artificial intelligence
high quality
complex systems
high frequency
design automation