Towards a tool environment for model-based testing with AsmL,” (2003)

by M Barnett, W Grieskamp, L Nachmanson, W Schulte, N Tillmann, M Veanes
Venue:in Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003,