Dynamic partial-order reduction for model checking software (2005)

by C Flanagan, P Godefroid
Venue:SIGPLAN Not