Iterative context bounding for systematic testing of multithreaded programs (2007)

by Madan Musuvathi, Shaz Qadeer
Venue:In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation