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

by M Musuvathi, Qadeer
Venue:In: PLDI