Towards a tool environment for model-based testing with AsmL (0)

by M Barnett, W Grieskamp, L Nachmanson, W Schulte, N Tillmann, M Veanes
Venue:In Formal Approaches to Testing