{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T07:03:34Z","timestamp":1768028614565,"version":"3.49.0"},"reference-count":50,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/icse.2012.6227145","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T21:24:04Z","timestamp":1341869044000},"page":"727-737","source":"Crossref","is-referenced-by-count":40,"title":["Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code"],"prefix":"10.1109","author":[{"given":"Adrian","family":"Nistor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qingzhou","family":"Luo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Pradel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas R.","family":"Gross","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Darko","family":"Marinov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"35","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001437"},{"key":"36","article-title":"Superlinear speedup in parallel state-space search","author":"rao","year":"1988","journal-title":"FOSTTCS"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368119"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181787"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048083"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146267"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831729"},{"key":"43","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.02.022"},{"key":"42","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882330"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.46"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"23","doi-asserted-by":"crossref","DOI":"10.1145\/1250734.1250738","article-title":"Automatically classifying benign and harmful data races using replay analysis","author":"narayanasamy","year":"2007","journal-title":"PLDI"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919107"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273468"},{"key":"26","article-title":"A systematic study of failure proximity","author":"liu","year":"2008","journal-title":"IEEE TSE"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201224"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572296"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1145\/1143844.1143983"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250785"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806634"},{"key":"1","article-title":"Preemption sealing for efficient concurrency testing","author":"ball","year":"2010","journal-title":"TACAS"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993545"},{"key":"30","year":"0","journal-title":"POOL-184"},{"key":"6","article-title":"Model checking programs","author":"visser","year":"2003","journal-title":"ASEJ"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629593"},{"key":"32","year":"0","journal-title":"LOG4J-51783"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508249"},{"key":"31","year":"0","journal-title":"POOL-189"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595700"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950377"},{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375584"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.62"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1147\/sj.411.0111"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001463"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"13","article-title":"TestFul: An evolutionary test approach for Java","author":"baresi","year":"2010","journal-title":"ICST"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2007.5"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542491"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375625"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321679"},{"key":"49","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146262"},{"key":"48","doi-asserted-by":"publisher","DOI":"10.1145\/781527.781528"},{"key":"45","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.13"},{"key":"44","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368099"},{"key":"47","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542490"},{"key":"46","article-title":"Effective static race detection for Java","author":"naik","year":"2006","journal-title":"PLDI"},{"key":"10","article-title":"DETERMIN: Inferring likely deterministic specifications of multithreaded programs","author":"burnim","year":"2010","journal-title":"ICSE"},{"key":"50","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321694"}],"event":{"name":"2012 34th International Conference on Software Engineering (ICSE 2012)","location":"Zurich","start":{"date-parts":[[2012,6,2]]},"end":{"date-parts":[[2012,6,9]]}},"container-title":["2012 34th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6218989\/6227015\/06227145.pdf?arnumber=6227145","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T21:08:05Z","timestamp":1497992885000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6227145\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":50,"URL":"https:\/\/doi.org\/10.1109\/icse.2012.6227145","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}