Dynamic partialorder reduction for model checking software (2005)

by C Flanagan, P Godefroid
Venue:In Proceedings of the 32nd Annual Symposium on Principles of Programming Languages (POPL ’05