{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:24:12Z","timestamp":1750307052606,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,7,16]],"date-time":"2012-07-16T00:00:00Z","timestamp":1342396800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,7,16]]},"DOI":"10.1145\/2338967.2336812","type":"proceedings-article","created":{"date-parts":[[2012,7,26]],"date-time":"2012-07-26T14:41:14Z","timestamp":1343313674000},"page":"25-35","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools"],"prefix":"10.1145","author":[{"given":"Jeremy S.","family":"Bradbury","sequence":"first","affiliation":[{"name":"University of Ontario Institute of Technology, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Itai","family":"Segall","sequence":"additional","affiliation":[{"name":"IBM Research, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eitan","family":"Farchi","sequence":"additional","affiliation":[{"name":"IBM Research, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin","family":"Jalbert","sequence":"additional","affiliation":[{"name":"University of Ontario Institute of Technology, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Kelk","sequence":"additional","affiliation":[{"name":"University of Ontario Institute of Technology, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,7,16]]},"reference":[{"volume-title":"Concurrency mutation analysis operators. Web page: https:\/\/github.com\/sqrg-uoit\/ConMAn (last accessed","year":"2012","key":"e_1_3_2_1_1_1","unstructured":"ConMAn : Concurrency mutation analysis operators. Web page: https:\/\/github.com\/sqrg-uoit\/ConMAn (last accessed Apr. 29, 2012 ). ConMAn: Concurrency mutation analysis operators. Web page: https:\/\/github.com\/sqrg-uoit\/ConMAn (last accessed Apr. 29, 2012)."},{"key":"e_1_3_2_1_2_1","volume-title":"Web page: http:\/\/researcher.ibm.com\/view_project.php?id=1871 (last accessed","author":"Test Planning IBM","year":"2012","unstructured":"IBM Test Planning and Coverage Analysis Tool . Web page: http:\/\/researcher.ibm.com\/view_project.php?id=1871 (last accessed Apr. 27, 2012 ). IBM Test Planning and Coverage Analysis Tool. Web page: http:\/\/researcher.ibm.com\/view_project.php?id=1871 (last accessed Apr. 27, 2012)."},{"key":"e_1_3_2_1_3_1","volume-title":"Web page: http:\/\/code.google.com\/p\/jchord\/ (last accessed","author":"Java Chord","year":"2012","unstructured":"j Chord - a static and dynamic program analysis framework for Java . Web page: http:\/\/code.google.com\/p\/jchord\/ (last accessed Jun. 21, 2012 ). jChord - a static and dynamic program analysis framework for Java. Web page: http:\/\/code.google.com\/p\/jchord\/ (last accessed Jun. 21, 2012)."},{"volume-title":"Web page: http:\/\/artho.com\/jlint\/manual.html (last accessed","year":"2012","key":"e_1_3_2_1_4_1","unstructured":"Jlint. Web page: http:\/\/artho.com\/jlint\/manual.html (last accessed Jun. 21, 2012 ). Jlint. Web page: http:\/\/artho.com\/jlint\/manual.html (last accessed Jun. 21, 2012)."},{"key":"e_1_3_2_1_5_1","volume-title":"Web page: http:\/\/www.surelogic.com\/concurrency-tools.html (last accessed","author":"Sure","year":"2012","unstructured":"J Sure for concurrency. Web page: http:\/\/www.surelogic.com\/concurrency-tools.html (last accessed Jun. 21, 2012 ). JSure for concurrency. Web page: http:\/\/www.surelogic.com\/concurrency-tools.html (last accessed Jun. 21, 2012)."},{"key":"e_1_3_2_1_6_1","volume-title":"Web page: http:\/\/sourceforge.net\/projects\/mobat\/ (last accessed","author":"MOBAT.","year":"2012","unstructured":"MOBAT. Web page: http:\/\/sourceforge.net\/projects\/mobat\/ (last accessed Apr. 29, 2012 ). MOBAT. Web page: http:\/\/sourceforge.net\/projects\/mobat\/ (last accessed Apr. 29, 2012)."},{"key":"e_1_3_2_1_7_1","volume-title":"static analysis, code review. Web page: http:\/\/www.parasoft.com\/jsp\/products\/jtest.jsp\/ (last accessed","author":"Parsoft","year":"2012","unstructured":"Parsoft JTest - Java testing , static analysis, code review. Web page: http:\/\/www.parasoft.com\/jsp\/products\/jtest.jsp\/ (last accessed Jun. 21, 2012 ). Parsoft JTest - Java testing, static analysis, code review. Web page: http:\/\/www.parasoft.com\/jsp\/products\/jtest.jsp\/ (last accessed Jun. 21, 2012)."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190215.1190265"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1214327"},{"key":"e_1_3_2_1_10_1","volume-title":"Finding faults in multi-threaded programs. Master's thesis","author":"Artho C.","year":"2001","unstructured":"C. Artho . Finding faults in multi-threaded programs. Master's thesis , Institute of Computer Systems, Federal Institute of Technology , Zurich\/Austin, 2001 . C. Artho. Finding faults in multi-threaded programs. Master's thesis, Institute of Computer Systems, Federal Institute of Technology, Zurich\/Austin, 2001."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.281"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MUTATION.2006.10"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1308173.1308285"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000040027.28662.a4"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1810295.1810447"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302640"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2005.9"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181787"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.411.0111"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2008.17"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2004.1303339"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/838237.838485"},{"key":"e_1_3_2_1_23_1","volume-title":"Int. Journal on Software Tools for Technology Transfer (STTT), 2(4)","author":"Havelund K.","year":"2000","unstructured":"K. Havelund and T. Pressburger . Model checking Java programs using Java PathFinder . Int. Journal on Software Tools for Technology Transfer (STTT), 2(4) , 2000 . K. Havelund and T. Pressburger. Model checking Java programs using Java PathFinder. Int. Journal on Software Tools for Technology Transfer (STTT), 2(4), 2000."},{"key":"e_1_3_2_1_24_1","first-page":"286","volume-title":"Proc. of the 17th Int. Symp. on Parallel and Distributed Processing (IPDPS'03)","author":"Havelund K.","unstructured":"K. Havelund , S. D. Stoller , and S. Ur . Benchmark and framework for encouraging research on multithreaded testing tools . In Proc. of the 17th Int. Symp. on Parallel and Distributed Processing (IPDPS'03) , page 286 .1, 2003. K. Havelund, S. D. Stoller, and S. Ur. Benchmark and framework for encouraging research on multithreaded testing tools. In Proc. of the 17th Int. Symp. on Parallel and Distributed Processing (IPDPS'03), page 286.1, 2003."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1052883.1052895"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2010.5609529"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.24"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2004.1303338"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.v19:3"},{"key":"e_1_3_2_1_30_1","volume-title":"Proc. of the Workshop on the Evaluation of Software Defect Detection Tools","author":"Lu S.","year":"2005","unstructured":"S. Lu , Z. Li , F. Qin , L. Tan , P. Zhou , and Y. Zhou . Bugbench: Benchmarks for evaluating bug detection tools . In Proc. of the Workshop on the Evaluation of Software Defect Detection Tools , 2005 . S. Lu, Z. Li, F. Qin, L. Tan, P. Zhou, and Y. Zhou. Bugbench: Benchmarks for evaluating bug detection tools. In Proc. of the Workshop on the Evaluation of Software Defect Detection Tools, 2005."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2010.20"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855741.1855760"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133255.1134018"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070538"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940107"},{"key":"e_1_3_2_1_36_1","volume-title":"Understanding hardness in models used for benchmarking model checking techniques. Dept. of Computer Science","author":"Rungta N.","year":"2007","unstructured":"N. Rungta and E. G. Mercer . Understanding hardness in models used for benchmarking model checking techniques. Dept. of Computer Science , Brigham Young University , 2007 . N. Rungta and E. G. Mercer. Understanding hardness in models used for benchmarking model checking techniques. Dept. of Computer Science, Brigham Young University, 2007."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001451"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/776816.776826"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.979992"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"}],"event":{"name":"ISSTA '12: International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Minneapolis MN USA","acronym":"ISSTA '12"},"container-title":["Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2338967.2336812","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2338967.2336812","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:21:08Z","timestamp":1750238468000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2338967.2336812"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,16]]},"references-count":40,"alternative-id":["10.1145\/2338967.2336812","10.1145\/2338967"],"URL":"https:\/\/doi.org\/10.1145\/2338967.2336812","relation":{},"subject":[],"published":{"date-parts":[[2012,7,16]]},"assertion":[{"value":"2012-07-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}