A partial approach to model checking (1994)

by P Godefroid, P Wolper
Venue:Information and Computation