stateless model checking (0)

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