%0 Conference Paper %1 conf/pldi/MusuvathiQ07 %A Musuvathi, Madanlal %A Qadeer, Shaz %B PLDI %D 2007 %E Ferrante, Jeanne %E McKinley, Kathryn S. %I ACM %K dblp %P 446-455 %T Iterative context bounding for systematic testing of multithreaded programs. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2007.html#MusuvathiQ07 %@ 978-1-59593-633-2

@inproceedings{conf/pldi/MusuvathiQ07, added-at = {2021-06-25T00:00:00.000+0200}, author = {Musuvathi, Madanlal and Qadeer, Shaz}, biburl = {https://www.bibsonomy.org/bibtex/23687ae0e3bc23ff64509cb2e77fd6ed0/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2007}, editor = {Ferrante, Jeanne and McKinley, Kathryn S.}, ee = {https://doi.org/10.1145/1273442.1250785}, interhash = {961f403d3743822d4cbe5e28771788b4}, intrahash = {3687ae0e3bc23ff64509cb2e77fd6ed0}, isbn = {978-1-59593-633-2}, keywords = {dblp}, pages = {446-455}, publisher = {ACM}, timestamp = {2024-04-09T18:59:13.000+0200}, title = {Iterative context bounding for systematic testing of multithreaded programs.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2007.html#MusuvathiQ07}, year = 2007 }