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

by C Flanagan, P Godefroid
Venue:In Proc. of the 32nd Symposium on Principles of Programming Languages