Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes. Validating Use-Cases with the AsmL Test Tool. In 3rd International Conference on Quality Software (QSIC 2003), 6-7 November 2003, Dallas, TX, USA. pages 238-246, IEEE Computer Society, 2003. [doi]
Abstract is missing.