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

by C Campbell, W Grieskamp, L Nachmanson, W Schulte, N Tillmann, M Veanes