@inproceedings{Musuvathi:2007:ICB:1250734.1250785,
    Address = {New York, NY, USA},
    Author = {Musuvathi, Madanlal and Qadeer, Shaz},
    BookTitle = {Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation},
    File = {Iterative context bounding for systematic testing of multithreaded programs - Musuvathi, Qadeer (1) (0) - a - a - i.pdf},
    ISBN = {978-1-59593-633-2},
    Location = {San Diego, California, USA},
    Pages = {446--455},
    Publisher = {ACM},
    Series = {PLDI '07},
    Title = {Iterative context bounding for systematic testing of multithreaded programs},
    URL = {http://doi.acm.org/10.1145/1250734.1250785},
    Year = {2007},
    acmid = {1250785},
    bdsk-url-1 = {http://doi.acm.org/10.1145/1250734.1250785},
    bdsk-url-2 = {http://dx.doi.org/10.1145/1250734.1250785},
    date-added = {2013-11-07 13:24:42 +0000},
    date-modified = {2015-09-25 06:55:17 +0000},
    file-2 = {Iterative context bounding for systematic testing of multithreaded programs - Musuvathi, Qadeer (0) (0) - a - a - i.pdf},
    numpages = {10},
    doi = {10.1145/1250734.1250785}
}

@inproceedings{Musuvathi:2007:ICB:1250734.1250785, Address = {New York, NY, USA}, Author = {Musuvathi, Madanlal and Qadeer, Shaz}, BookTitle = {Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation}, File = {Iterative context bounding for systematic testing of multithreaded programs - Musuvathi, Qadeer (1) (0) - a - a - i.pdf}, ISBN = {978-1-59593-633-2}, Location = {San Diego, California, USA}, Pages = {446--455}, Publisher = {ACM}, Series = {PLDI '07}, Title = {Iterative context bounding for systematic testing of multithreaded programs}, URL = {http://doi.acm.org/10.1145/1250734.1250785}, Year = {2007}, acmid = {1250785}, bdsk-url-1 = {http://doi.acm.org/10.1145/1250734.1250785}, bdsk-url-2 = {http://dx.doi.org/10.1145/1250734.1250785}, date-added = {2013-11-07 13:24:42 +0000}, date-modified = {2015-09-25 06:55:17 +0000}, file-2 = {Iterative context bounding for systematic testing of multithreaded programs - Musuvathi, Qadeer (0) (0) - a - a - i.pdf}, numpages = {10}, doi = {10.1145/1250734.1250785} }