{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:14:14Z","timestamp":1763468054610,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,9,9]],"date-time":"2011-09-09T00:00:00Z","timestamp":1315526400000},"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":[[2011,9,9]]},"DOI":"10.1145\/2025113.2025145","type":"proceedings-article","created":{"date-parts":[[2011,9,6]],"date-time":"2011-09-06T15:10:46Z","timestamp":1315321846000},"page":"223-233","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":46,"title":["Improved multithreaded unit testing"],"prefix":"10.1145","author":[{"given":"Vilas","family":"Jagannath","sequence":"first","affiliation":[{"name":"University of Illinois, Urbana, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Milos","family":"Gligoric","sequence":"additional","affiliation":[{"name":"University of Illinois, Urbana, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongyun","family":"Jin","sequence":"additional","affiliation":[{"name":"University of Illinois, Urbana, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qingzhou","family":"Luo","sequence":"additional","affiliation":[{"name":"University of Illinois, Urbana, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grigore","family":"Rosu","sequence":"additional","affiliation":[{"name":"University of Illinois, Urbana, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Darko","family":"Marinov","sequence":"additional","affiliation":[{"name":"University of Illinois, Urbana, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,9,9]]},"reference":[{"key":"e_1_3_2_1_1_1","author":"Aho A. V.","year":"1972","unstructured":"A. V. Aho , M. R. Garey , and J. D. Ullman . The transitive reduction of a directed graph. SIAM Journal on Computing , 1972 . A. V. Aho, M. R. Garey, and J. D. Ullman. The transitive reduction of a directed graph. SIAM Journal on Computing, 1972.","journal-title":"The transitive reduction of a directed graph. SIAM Journal on Computing"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040314"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503275"},{"key":"e_1_3_2_1_4_1","unstructured":"Apache Software Foundation. Apache Commons Collections. http:\/\/commons.apache.org\/collections\/.  Apache Software Foundation. Apache Commons Collections. http:\/\/commons.apache.org\/collections\/."},{"key":"e_1_3_2_1_5_1","unstructured":"Apache Software Foundation. Apache Commons Pool. http:\/\/commons.apache.org\/pool\/.  Apache Software Foundation. Apache Commons Pool. http:\/\/commons.apache.org\/pool\/."},{"key":"e_1_3_2_1_6_1","unstructured":"Apache Software Foundation. Apache Lucene. http:\/\/lucene.apache.org\/.  Apache Software Foundation. Apache Lucene. http:\/\/lucene.apache.org\/."},{"key":"e_1_3_2_1_7_1","unstructured":"Apache Software Foundation. Apache MINA. http:\/\/mina.apache.org\/.  Apache Software Foundation. Apache MINA. http:\/\/mina.apache.org\/."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806860"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.73751"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297069"},{"key":"e_1_3_2_1_11_1","unstructured":"Codehaus. Sysunit. http:\/\/docs.codehaus.org\/display\/SYSUNIT\/Home.  Codehaus. Sysunit. http:\/\/docs.codehaus.org\/display\/SYSUNIT\/Home."},{"key":"e_1_3_2_1_12_1","unstructured":"S. Cotton. graphlib. http:\/\/www-verimag.imag.fr\/cotton\/.  S. Cotton. graphlib. http:\/\/www-verimag.imag.fr\/cotton\/."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.38"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882323"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1808954.1808966"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001437"},{"key":"e_1_3_2_1_17_1","unstructured":"Java Community Process. JSR 166: Concurrency utilities. http:\/\/g.oswego.edu\/dl\/concurrency-interest\/.  Java Community Process. JSR 166: Concurrency utilities. http:\/\/g.oswego.edu\/dl\/concurrency-interest\/."},{"key":"e_1_3_2_1_18_1","unstructured":"JBoss Community. JBoss Cache. http:\/\/www.jboss.org\/jbosscache.  JBoss Community. JBoss Cache. http:\/\/www.jboss.org\/jbosscache."},{"key":"e_1_3_2_1_19_1","author":"Kiczales G.","year":"2001","unstructured":"G. Kiczales , E. Hilsdale , J. Hugunin , M. Kersten , J. Palm , and W. G. Griswold . An overview of AspectJ. In ECOOP , 2001 . G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of AspectJ. In ECOOP, 2001.","journal-title":"An overview of AspectJ. In ECOOP"},{"key":"e_1_3_2_1_20_1","unstructured":"Lassi Project. Sleep testcase. http:\/\/tinyurl.com\/4hk9zdr.  Lassi Project. Sleep testcase. http:\/\/tinyurl.com\/4hk9zdr."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985874"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/872023.872509"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1205182"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-011-0198-6"},{"key":"e_1_3_2_1_25_1","unstructured":"W. Pugh and N. Ayewah. MultithreadedTC - A framework for testing concurrent Java applications. http:\/\/code.google.com\/p\/multithreadedtc\/.  W. Pugh and N. Ayewah. MultithreadedTC - A framework for testing concurrent Java applications. http:\/\/code.google.com\/p\/multithreadedtc\/."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321722"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596655.1596676"},{"key":"e_1_3_2_1_28_1","volume-title":"ICPADS","author":"Tai K.","year":"1994","unstructured":"K. Tai and R. H. Carver . Use of sequencing constraints for specifying, testing, and debugging concurrent programs . In ICPADS , 1994 . K. Tai and R. H. Carver. Use of sequencing constraints for specifying, testing, and debugging concurrent programs. In ICPADS, 1994."}],"event":{"name":"ESEC\/FSE'11: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Szeged Hungary","acronym":"ESEC\/FSE'11"},"container-title":["Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2025113.2025145","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2025113.2025145","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:06:00Z","timestamp":1750244760000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2025113.2025145"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,9]]},"references-count":28,"alternative-id":["10.1145\/2025113.2025145","10.1145\/2025113"],"URL":"https:\/\/doi.org\/10.1145\/2025113.2025145","relation":{},"subject":[],"published":{"date-parts":[[2011,9,9]]},"assertion":[{"value":"2011-09-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}