DMCA

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

by Mike Barnett , Wolfgang Grieskamp , Lev Nachmanson , Wolfram Schulte , Nikolai Tillmann , Margus Veanes
Venue:Formal Approaches to Software Testing, FATES 2003, volume 2931 of LNCS
Citations:34 - 11 self