{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:15:03Z","timestamp":1763468103926,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":63,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,11,11]],"date-time":"2012-11-11T00:00:00Z","timestamp":1352592000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["9.16E+33"],"award-info":[{"award-number":["9.16E+33"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,11,11]]},"DOI":"10.1145\/2393596.2393636","type":"proceedings-article","created":{"date-parts":[[2012,11,13]],"date-time":"2012-11-13T15:04:07Z","timestamp":1352819047000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":43,"title":["CarFast"],"prefix":"10.1145","author":[{"given":"Sangmin","family":"Park","sequence":"first","affiliation":[{"name":"Georgia Institute of Technology, Atlanta, Georgia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B. M. Mainul","family":"Hossain","sequence":"additional","affiliation":[{"name":"University of Illinois at Chicago, Chicago, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ishtiaque","family":"Hussain","sequence":"additional","affiliation":[{"name":"University of Texas at Arlington, Arlington, TX"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Csallner","sequence":"additional","affiliation":[{"name":"University of Texas at Arlington, Arlington, TX"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Grechanik","sequence":"additional","affiliation":[{"name":"University of Illinois, Chicago, IL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kunal","family":"Taneja","sequence":"additional","affiliation":[{"name":"North Carolina State University, Raleigh, NC"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chen","family":"Fu","sequence":"additional","affiliation":[{"name":"Accenture Technology Labs, San Jose, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qing","family":"Xie","sequence":"additional","affiliation":[{"name":"Accenture Technology Labs, San Jose, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,11,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001452"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985795"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831736"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.223.0229"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167488"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1378704.1378723"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065972"},{"key":"e_1_3_2_1_8_1","volume-title":"ACM SIGOPS France (Adaptable and extensible component systems)","author":"Lenglet R.","year":"2002","unstructured":"\u00c9. Bruneton, R. Lenglet , and T. Coupaye . ASM: A code manipulation tool to implement adaptable systems . In ACM SIGOPS France (Adaptable and extensible component systems) , Nov. 2002 . \u00c9. Bruneton, R. Lenglet, and T. Coupaye. ASM: A code manipulation tool to implement adaptable systems. In ACM SIGOPS France (Adaptable and extensible component systems), Nov. 2002."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.69"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1082983.1083288"},{"key":"e_1_3_2_1_11_1","first-page":"133","volume-title":"3rd IEEE Int. Soft. Metrics Sym.","author":"Chen M.-H.","year":"1996","unstructured":"M.-H. Chen , M. R. Lyu , and W. E. Wong . An empirical study of the correlation between code coverage and reliability estimation . In 3rd IEEE Int. Soft. Metrics Sym. , pages 133 -- 141 , 1996 . M.-H. Chen, M. R. Lyu, and W. E. Wong. An empirical study of the correlation between code coverage and reliability estimation. In 3rd IEEE Int. Soft. Metrics Sym., pages 133--141, 1996."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018442.1022058"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368099"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233817"},{"key":"e_1_3_2_1_15_1","volume-title":"USENIX Annual Technical Symposium","author":"Cohen G. A.","year":"1998","unstructured":"G. A. Cohen , J. S. Chase , and D. L. Kaminsky . Automatic program transformation with JOIE . In USENIX Annual Technical Symposium , June 1998 . G. A. Cohen, J. S. Chase, and D. L. Kaminsky. Automatic program transformation with JOIE. In USENIX Annual Technical Symposium, June 1998."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/776816.776822"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1804669.1804680"},{"key":"e_1_3_2_1_18_1","unstructured":"S. Cornett. Minimum acceptable code coverage. Bullseye Testing Technology http:\/\/www.bullseye.com\/minimum.html 2011.  S. Cornett. Minimum acceptable code coverage. Bullseye Testing Technology http:\/\/www.bullseye.com\/minimum.html 2011."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.92910"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949320"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988497"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/358669.358692"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCSE.2009.14"},{"key":"e_1_3_2_1_24_1","volume-title":"USENIX Windows Systems Symposium -","volume":"4","author":"Forrester J. E.","year":"2000","unstructured":"J. E. Forrester and B. P. Miller . An empirical study of the robustness of Windows NT applications using random testing . In USENIX Windows Systems Symposium - Volume 4 , 2000 . J. E. Forrester and B. P. Miller. An empirical study of the robustness of Windows NT applications using random testing. In USENIX Windows Systems Symposium - Volume 4, 2000."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190226"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_27_1","volume-title":"Network Distributed Security Symposium (NDSS). Internet Society","author":"Godefroid P.","year":"2008","unstructured":"P. Godefroid , M. Y. Levin , and D. A. Molnar . Automated whitebox fuzz testing . In Network Distributed Security Symposium (NDSS). Internet Society , 2008 . P. Godefroid, M. Y. Levin, and D. A. Molnar. Automated whitebox fuzz testing. In Network Distributed Security Symposium (NDSS). Internet Society, 2008."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.319"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145735.1145737"},{"key":"e_1_3_2_1_30_1","first-page":"970","volume-title":"Encyclopedia of Software Engineering","author":"Hamlet R.","year":"1994","unstructured":"R. Hamlet . Random testing . In Encyclopedia of Software Engineering , pages 970 -- 978 , 1994 . R. Hamlet. Random testing. In Encyclopedia of Software Engineering, pages 970--978, 1994."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/782814.782825"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338966.2336798"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868321.1868326"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1400112.1400115"},{"key":"e_1_3_2_1_35_1","volume-title":"STAR '96","author":"Kaner C.","year":"1996","unstructured":"C. Kaner . Software negligence & testing coverage. In STAR '96 , 1996 . C. Kaner. Software negligence & testing coverage. In STAR '96, 1996."},{"key":"e_1_3_2_1_36_1","volume-title":"Lessons Learned in Software Testing","author":"Kaner C.","year":"2001","unstructured":"C. Kaner , J. Bach , and B. Pettichord . Lessons Learned in Software Testing . Wiley , Dec. 2001 . C. Kaner, J. Bach, and B. Pettichord. Lessons Learned in Software Testing. Wiley, Dec. 2001."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/1403874"},{"key":"e_1_3_2_1_38_1","first-page":"145","volume-title":"CASCON '03","author":"Kim Y. W.","year":"2003","unstructured":"Y. W. Kim . Efficient use of code coverage in large-scale software development . In CASCON '03 , pages 145 -- 155 , 2003 . Y. W. Kim. Efficient use of code coverage in large-scale software development. In CASCON '03, pages 145--155, 2003."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287705"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/MITP.2008.54"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1838126.1838133"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/647474.727597"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.41"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2002.804489"},{"key":"e_1_3_2_1_45_1","first-page":"16","volume-title":"Proc. of the 16th Intl. Conf. on Testing Comp. Soft.","author":"Marick B.","year":"1999","unstructured":"B. Marick . How to misuse code coverage . In Proc. of the 16th Intl. Conf. on Testing Comp. Soft. , pages 16 -- 18 , 1999 . B. Marick. How to misuse code coverage. In Proc. of the 16th Intl. Conf. on Testing Comp. Soft., pages 16--18, 1999."},{"key":"e_1_3_2_1_46_1","unstructured":"G. McDaniel. IBM Dictionary of Computing. Dec. 1994.   G. McDaniel. IBM Dictionary of Computing . Dec. 1994."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"crossref","unstructured":"B. Meyer. Testing insights. Bertrand Meyer's technology blog http:\/\/bertrandmeyer.com\/2011\/07\/11\/testing-insights 2011.  B. Meyer. Testing insights. Bertrand Meyer's technology blog http:\/\/bertrandmeyer.com\/2011\/07\/11\/testing-insights 2011.","DOI":"10.1111\/j.1754-6087.2011.01149.x"},{"key":"e_1_3_2_1_48_1","volume-title":"Morgan Kaufmann","author":"Muchnick S. S.","year":"1997","unstructured":"S. S. Muchnick . Advanced compiler design and implementation . Morgan Kaufmann , 1997 . S. S. Muchnick. Advanced compiler design and implementation. Morgan Kaufmann, 1997."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572280"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001461"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.5555\/257572.257635"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2006.91"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/235543.235545"},{"key":"e_1_3_2_1_54_1","unstructured":"Sable Reserch Group. Soot: A java optimization framework. http:\/\/www.sable.mcgill.ca\/soot\/.  Sable Reserch Group. Soot: A java optimization framework. http:\/\/www.sable.mcgill.ca\/soot\/."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/5992.881708"},{"key":"e_1_3_2_1_56_1","volume-title":"Sage Publications","author":"Sirkin R. M.","year":"2005","unstructured":"R. M. Sirkin . Statistics for the Social Sciences . Sage Publications , third edition, Aug. 2005 . R. M. Sirkin. Statistics for the Social Sciences. Sage Publications, third edition, Aug. 2005."},{"key":"e_1_3_2_1_57_1","first-page":"618","volume-title":"VLDB '98","author":"Slutz D. R.","year":"1998","unstructured":"D. R. Slutz . Massive stochastic testing of SQL . In VLDB '98 , pages 618 -- 622 , 1998 . D. R. Slutz. Massive stochastic testing of SQL. In VLDB '98, pages 618--622, 1998."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.5555\/950791.951340"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.5555\/1337691.1338375"},{"key":"e_1_3_2_1_60_1","volume-title":"STAR '98","author":"Ur S.","year":"1998","unstructured":"S. Ur and A. Ziv . Off-the-shelf vs. custom made coverage models, which is the one for you ? In STAR '98 , May 1998 . S. Ur and A. Ziv. Off-the-shelf vs. custom made coverage models, which is the one for you? In STAR '98, May 1998."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270315"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/1138929.1138949"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267590"}],"event":{"name":"SIGSOFT\/FSE'12: 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Cary North Carolina","acronym":"SIGSOFT\/FSE'12"},"container-title":["Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2393596.2393636","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2393596.2393636","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:34:56Z","timestamp":1750239296000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2393596.2393636"}},"subtitle":["achieving higher statement coverage faster"],"short-title":[],"issued":{"date-parts":[[2012,11,11]]},"references-count":63,"alternative-id":["10.1145\/2393596.2393636","10.1145\/2393596"],"URL":"https:\/\/doi.org\/10.1145\/2393596.2393636","relation":{},"subject":[],"published":{"date-parts":[[2012,11,11]]},"assertion":[{"value":"2012-11-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}