Model-based testing of object-oriented reactive systems with Spec Explorer (2008)

by M Veanes, C Campbell, W Grieskamp, W Schulte, N Tillmann, L Nachmanson
Venue:Formal Methods and Testing, volume 4949 of LNCS