Michael Schmitt II Jens Grabowski Dieter Hogrefe Beat Koch -Autolink- A Tool for the Automatic and Semi-Automatic Test Generation. 333-341 1997 conf/fbt/1997 FBT db/conf/fbt/fbt1997.html#SchmittGHK97