{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T21:03:38Z","timestamp":1773522218742,"version":"3.50.1"},"reference-count":85,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/ase.2015.87","type":"proceedings-article","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T22:14:45Z","timestamp":1452204885000},"page":"178-189","source":"Crossref","is-referenced-by-count":40,"title":["JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T)"],"prefix":"10.1109","author":[{"given":"Ziyi","family":"Lin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Darko","family":"Marinov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hao","family":"Zhong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuting","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianjun","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375584"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321679"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555262"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2661670"},{"key":"ref76","article-title":"Using benchnnarking to advance research: A challenge to software engineering","author":"sim","year":"2003","journal-title":"ICSE"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1145\/582034.582042"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610402"},{"key":"ref39","article-title":"Maximal sound predictive race detection with control flow abstraction","author":"huang","year":"2014","journal-title":"PLDI"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1145\/2632362.2632363"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882361"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882300"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462172"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483773"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693064"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100045"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/1028664.1028717"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1564"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336779"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368120"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227145"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2492395"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453121"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806838"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806625"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001445"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542490"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-002-0088-z"},{"key":"ref66","article-title":"JSR-133: Java memory model and thread specification","author":"pugh","year":"2004","journal-title":"Java Community Process"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375618"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483765"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254127"},{"key":"ref69","article-title":"Reconstructing core dumps","author":"rolller","year":"2013","journal-title":"ICST"},{"key":"ref2","year":"0","journal-title":"FindBugs website"},{"key":"ref1","year":"0","journal-title":"ASM homepage"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462162"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.1068"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635918"},{"key":"ref24","article-title":"Compiling a benchmark of documented multithreaded bugs","author":"eytani","year":"2004","journal-title":"PADTAD"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2008.17"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393651"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2003.1213511"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35182-2_2"},{"key":"ref51","author":"lindholm","year":"1999","journal-title":"Java Virtual Machine Specification"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070538"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134018"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606578"},{"key":"ref56","doi-asserted-by":"crossref","DOI":"10.1145\/1040305.1040336","article-title":"The Java memory model","author":"manson","year":"2005","journal-title":"POPL"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993543"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"ref53","article-title":"BugBench: Benchmarks for evaluating bug detection tools","author":"lu","year":"2005","journal-title":"Workshop on the Evaluation of Software Defect Detection Tools"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491435"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2338967.2336812"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1002\/1096-9128(200005)12:6<375::AID-CPE480>3.0.CO;2-M"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001438"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993545"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2301725"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568312"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512560"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568294"},{"key":"ref16","article-title":"Optimized execution of deterministic blocks in Java Path Finder","author":"d'amorim","year":"2006","journal-title":"ICFEM"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336781"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594322"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336780"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-005-3861-2"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755946"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181787"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287654"},{"key":"ref4","article-title":"Dynamic deadlock analysis of multithreaded programs","author":"bensalem","year":"2005","journal-title":"HVC"},{"key":"ref3","year":"0","journal-title":"Mockito homepage"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595716"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483764"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806863"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167488"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594323"},{"key":"ref49","article-title":"AtomRace: Data race and atomicity violation detector and healer","author":"letko","year":"2008","journal-title":"PADTAD"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806626"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542489"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882339"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806836"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635929"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025145"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462167"},{"key":"ref44","article-title":"CalFuzzer: An extensible active testing framework for concurrent programs","author":"joshi","year":"2009","journal-title":"CAV"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001437"}],"event":{"name":"2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","location":"Lincoln, NE, USA","start":{"date-parts":[[2015,11,9]]},"end":{"date-parts":[[2015,11,13]]}},"container-title":["2015 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7371449\/7371976\/07372007.pdf?arnumber=7372007","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T02:27:48Z","timestamp":1748744868000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7372007\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":85,"URL":"https:\/\/doi.org\/10.1109\/ase.2015.87","relation":{},"subject":[],"published":{"date-parts":[[2015,11]]}}}