Model-based testing of object-oriented reactive systems with spec explorer. (2008)

by Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson
Venue:In Formal Methods and Testing,