Fair stateless model checking (2008)

by M Musuvathi, S Qadeer
Venue:In Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation