Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes. Towards a Tool Environment for Model-Based Testing with AsmL. In Alexandre Petrenko, Andreas Ulrich, editors, Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Volume 2931 of Lecture Notes in Computer Science, pages 252-266, Springer, 2003. [doi]
Abstract is missing.