{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:17:59Z","timestamp":1763468279485,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":73,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,7,13]],"date-time":"2015-07-13T00:00:00Z","timestamp":1436745600000},"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":[[2015,7,13]]},"DOI":"10.1145\/2771783.2771798","type":"proceedings-article","created":{"date-parts":[[2015,7,10]],"date-time":"2015-07-10T14:10:55Z","timestamp":1436537455000},"page":"165-176","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":41,"title":["ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs"],"prefix":"10.1145","author":[{"given":"Sepideh","family":"Khoshnood","sequence":"first","affiliation":[{"name":"Virginia Tech, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Kusano","sequence":"additional","affiliation":[{"name":"Virginia Tech, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chao","family":"Wang","sequence":"additional","affiliation":[{"name":"Virginia Tech, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_9"},{"key":"e_1_3_2_1_2_1","unstructured":"Apache bug 21287 URL: http:\/\/issues.apache.org\/bugzilla\/ show_bug.cgi? id=21287.  Apache bug 21287 URL: http:\/\/issues.apache.org\/bugzilla\/ show_bug.cgi? id=21287."},{"key":"e_1_3_2_1_3_1","unstructured":"Apache bug 25520 URL: https:\/\/issues.apache.org\/bugzilla\/ show_bug.cgi? id=25520.  Apache bug 25520 URL: https:\/\/issues.apache.org\/bugzilla\/ show_bug.cgi? id=25520."},{"key":"e_1_3_2_1_4_1","unstructured":"Apache http server project URL: http:\/\/httpd.apache.org\/.  Apache http server project URL: http:\/\/httpd.apache.org\/."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/646734.701461"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_14"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_50"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/2682923.2682937"},{"key":"e_1_3_2_1_9_1","first-page":"548","volume-title":"International Conference on Tools and Algorithms for Construction and Analysis of Systems","author":"Bloem Roderick","year":"2015","unstructured":"Roderick Bloem , Bettina K\u00f6nighofer , Robert K\u00f6nighofer , and Chao Wang . Shield synthesis : Runtime enforcement for reactive systems . In International Conference on Tools and Algorithms for Construction and Analysis of Systems , pages 533\u2013 548 , 2015 . Roderick Bloem, Bettina K\u00f6nighofer, Robert K\u00f6nighofer, and Chao Wang. Shield synthesis: Runtime enforcement for reactive systems. In International Conference on Tools and Algorithms for Construction and Analysis of Systems, pages 533\u2013548, 2015."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375619"},{"key":"e_1_3_2_1_11_1","unstructured":"The cherokee web server URL: http:\/\/cherokee-project.com\/.  The cherokee web server URL: http:\/\/cherokee-project.com\/."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566211"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_40"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11957-6_13"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(83)90017-5"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190260"},{"key":"e_1_3_2_1_18_1","first-page":"201","volume-title":"International Symposium on Formal Methods","volume":"7436","author":"Ermis Evren","unstructured":"Evren Ermis , Martin Sch\u00e4f , and Thomas Wies . Error invariants . In International Symposium on Formal Methods , volume 7436 , pages 187\u2013 201 . 2012. Evren Ermis, Martin Sch\u00e4f, and Thomas Wies. Error invariants. In International Symposium on Formal Methods, volume 7436, pages 187\u2013201. 2012."},{"key":"e_1_3_2_1_19_1","unstructured":"The FreeBSD project URL: http:\/\/www.freebsd.org.  The FreeBSD project URL: http:\/\/www.freebsd.org."},{"key":"e_1_3_2_1_20_1","unstructured":"The GNU compiler collection URL: https:\/\/gcc.gnu.org\/.  The GNU compiler collection URL: https:\/\/gcc.gnu.org\/."},{"key":"e_1_3_2_1_21_1","unstructured":"GCC bug 21334 URL: http:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi? id=21334.  GCC bug 21334 URL: http:\/\/gcc.gnu.org\/bugzilla\/show_bug.cgi? id=21334."},{"key":"e_1_3_2_1_22_1","unstructured":"GCC bug 25530 URL: http:\/\/gcc.gnu.org\/bugzilla\/ show_bug.cgi? id=25330.  GCC bug 25530 URL: http:\/\/gcc.gnu.org\/bugzilla\/ show_bug.cgi? id=25330."},{"key":"e_1_3_2_1_23_1","unstructured":"GCC bug 3584 URL: http:\/\/gcc.gnu.org\/bugzilla\/ show_bug.cgi? id=3584.  GCC bug 3584 URL: http:\/\/gcc.gnu.org\/bugzilla\/ show_bug.cgi? id=3584."},{"key":"e_1_3_2_1_24_1","unstructured":"GCC bug 40518 URL: http:\/\/gcc.gnu.org\/bugzilla\/ show_bug.cgi? id=40518.  GCC bug 40518 URL: http:\/\/gcc.gnu.org\/bugzilla\/ show_bug.cgi? id=40518."},{"key":"e_1_3_2_1_25_1","unstructured":"GLib reference manual URL: https:\/\/bugzilla.gnome.org\/ show_bug.cgi? id=512624.  GLib reference manual URL: https:\/\/bugzilla.gnome.org\/ show_bug.cgi? id=512624."},{"key":"e_1_3_2_1_26_1","unstructured":"Glib bug 512624 URL: https:\/\/bugzilla.gnome.org\/ show_bug.cgi? id=512624.  Glib bug 512624 URL: https:\/\/bugzilla.gnome.org\/ show_bug.cgi? id=512624."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1734069"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882302"},{"key":"e_1_3_2_1_29_1","unstructured":"Jetty servlet engine URL: http:\/\/www.eclipse.org\/jetty\/.  Jetty servlet engine URL: http:\/\/www.eclipse.org\/jetty\/."},{"key":"e_1_3_2_1_30_1","unstructured":"Jetty bug 1187 URL: http:\/\/jira.codehaus.org\/browse\/JETTY-1187.  Jetty bug 1187 URL: http:\/\/jira.codehaus.org\/browse\/JETTY-1187."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993544"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993550"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04694-0_8"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273647.1273658"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_26"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390841.1390848"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2013.143"},{"key":"e_1_3_2_1_39_1","unstructured":"The Linux kernel archives URL: http:\/\/kernel.org.  The Linux kernel archives URL: http:\/\/kernel.org."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635881"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660217"},{"key":"e_1_3_2_1_42_1","first-page":"309","volume-title":"International Conference on Software Engineering","author":"Liu Peng","year":"2012","unstructured":"Peng Liu and Charles Zhang . Axis : Automatically fixing atomicity violations through solving control constraints . In International Conference on Software Engineering , pages 299\u2013 309 , 2012 . Peng Liu and Charles Zhang. Axis: Automatically fixing atomicity violations through solving control constraints. In International Conference on Software Engineering, pages 299\u2013309, 2012."},{"key":"e_1_3_2_1_43_1","unstructured":"The LLVM compiler infrastructure URL: http:\/\/llvm.org\/.  The LLVM compiler infrastructure URL: http:\/\/llvm.org\/."},{"key":"e_1_3_2_1_44_1","unstructured":"LLVM bug 8441 URL: http:\/\/llvm.org\/bugs\/show_bug.cgi? id=8441.  LLVM bug 8441 URL: http:\/\/llvm.org\/bugs\/show_bug.cgi? id=8441."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/357233.357237"},{"key":"e_1_3_2_1_47_1","unstructured":"Joao Marques-Silva. The MSUnCore MAXSAT Solver.  Joao Marques-Silva. The MSUnCore MAXSAT Solver."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111068"},{"key":"e_1_3_2_1_49_1","unstructured":"Minisat URL: http:\/\/minisat.se\/.  Minisat URL: http:\/\/minisat.se\/."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-12154-3_17"},{"key":"e_1_3_2_1_51_1","unstructured":"Mysql the world\u2019s most popular open source database URL: http:\/\/www.mysql.com\/.  Mysql the world\u2019s most popular open source database URL: http:\/\/www.mysql.com\/."},{"key":"e_1_3_2_1_52_1","unstructured":"Mysql bug 12848 URL: http:\/\/bugs.mysql.com\/bug.php? id=12848.  Mysql bug 12848 URL: http:\/\/bugs.mysql.com\/bug.php? id=12848."},{"key":"e_1_3_2_1_53_1","unstructured":"Mysql bug 169 URL: http:\/\/bugs.mysql.com\/bug.php? id=169.  Mysql bug 169 URL: http:\/\/bugs.mysql.com\/bug.php? id=169."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806838"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2211616.2211622"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/349214.349241"},{"key":"e_1_3_2_1_60_1","volume-title":"2015 software verification competition. URL: http:\/\/sv-comp.sosy-lab.org\/2015\/","author":"COMP.","year":"2015","unstructured":"SV- COMP. 2015 software verification competition. URL: http:\/\/sv-comp.sosy-lab.org\/2015\/ , 2015 . SV-COMP. 2015 software verification competition. URL: http:\/\/sv-comp.sosy-lab.org\/2015\/, 2015."},{"key":"e_1_3_2_1_61_1","unstructured":"Tranmission URL: https:\/\/www.transmissionbt.com\/.  Tranmission URL: https:\/\/www.transmissionbt.com\/."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111067"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706338"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.644030"},{"key":"e_1_3_2_1_65_1","first-page":"294","volume-title":"USENIX Symposium on Operating Systems Design and Implementation","author":"Wang Yin","year":"2008","unstructured":"Yin Wang , Terence Kelly , Manjunath Kudlur , St\u00e9phane Lafortune , and Scott A. Mahlke . Gadara: Dynamic deadlock avoidance for multithreaded programs . In USENIX Symposium on Operating Systems Design and Implementation , pages 281\u2013 294 , 2008 . Yin Wang, Terence Kelly, Manjunath Kudlur, St\u00e9phane Lafortune, and Scott A. Mahlke. Gadara: Dynamic deadlock avoidance for multithreaded programs. In USENIX Symposium on Operating Systems Design and Implementation, pages 281\u2013294, 2008."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480913"},{"key":"e_1_3_2_1_67_1","unstructured":"Mozilla XPCOM URL: https:\/\/developer.mozilla.org\/en-US\/docs\/Mozilla\/Tech\/XPCOM.  Mozilla XPCOM URL: https:\/\/developer.mozilla.org\/en-US\/docs\/Mozilla\/Tech\/XPCOM."},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/2738038"},{"key":"e_1_3_2_1_69_1","volume-title":"International Conference on Software Engineering","author":"Yi Qiuping","year":"2015","unstructured":"Qiuping Yi , Zijiang Yang , Jian Liu , Chen Zhao , and Chao Wang . A synergistic analysis method for explaining failed regression tests . In International Conference on Software Engineering , 2015 . Qiuping Yi, Zijiang Yang, Jian Liu, Chen Zhao, and Chao Wang. A synergistic analysis method for explaining failed regression tests. In International Conference on Software Engineering, 2015."},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025121"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.41"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/1555754.1555796"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736038"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610405"}],"event":{"name":"ISSTA '15: 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":"Baltimore MD USA","acronym":"ISSTA '15"},"container-title":["Proceedings of the 2015 International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2771783.2771798","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2771783.2771798","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:01:14Z","timestamp":1750230074000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2771783.2771798"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,13]]},"references-count":73,"alternative-id":["10.1145\/2771783.2771798","10.1145\/2771783"],"URL":"https:\/\/doi.org\/10.1145\/2771783.2771798","relation":{},"subject":[],"published":{"date-parts":[[2015,7,13]]},"assertion":[{"value":"2015-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}