Iterative context bounding for systematic testing of multithreaded programs.

Madanlal Musuvathi, Shaz Qadeer

Browse the full PLDI paper archive.