Autolink: A Tool for Automatic Test Generation from SDL Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Beat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt II. Autolink: A Tool for Automatic Test Generation from SDL Specifications. In 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT 98), October 20-23, 1998, Boca Raton, FL, USA. pages 114, IEEE Computer Society, 1998. [doi]

This author has not been identified. Look up 'Beat Koch' in GoogleThis author has not been identified. Look up 'Jens Grabowski' in GoogleThis author has not been identified. Look up 'Dieter Hogrefe' in GoogleThis author has not been identified. Look up 'Michael Schmitt II' in Google

runs on WebDSL