Testing concurrent object-oriented systems with Spec Explorer (extended abstract). (2005)

by C Campbell, W Grieskamp, L Nachmanson, W Schulte, N Tillmann, M Veanes
Venue:In FM 2005: Formal Methods,