{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T02:39:23Z","timestamp":1784169563116,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":57,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,7,15]],"date-time":"2013-07-15T00:00:00Z","timestamp":1373846400000},"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":[[2013,7,15]]},"DOI":"10.1145\/2483760.2483769","type":"proceedings-article","created":{"date-parts":[[2013,7,16]],"date-time":"2013-07-16T18:06:58Z","timestamp":1373998018000},"page":"302-313","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":99,"title":["Comparing non-adequate test suites using coverage criteria"],"prefix":"10.1145","author":[{"given":"Milos","family":"Gligoric","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alex","family":"Groce","sequence":"additional","affiliation":[{"name":"Oregon State University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Chaoqiang","family":"Zhang","sequence":"additional","affiliation":[{"name":"Oregon State University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rohan","family":"Sharma","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohammad Amin","family":"Alipour","sequence":"additional","affiliation":[{"name":"Oregon State University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Darko","family":"Marinov","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana-Champaign, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2013,7,15]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Industrial validation of test coverage quality. Master\u2019s thesis","author":"Adolfsen M.","year":"2011","unstructured":"M. Adolfsen . Industrial validation of test coverage quality. Master\u2019s thesis , University of Twente , 2011 . M. Adolfsen. Industrial validation of test coverage quality. Master\u2019s thesis, University of Twente, 2011."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1355340"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062530"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.83"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985795"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11561163_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.1996.566449"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/380921.380932"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1083274.1083288"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39724-3_5"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029908"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070506"},{"key":"e_1_3_2_1_14_1","volume-title":"Ordinal Methods for Behavioral Data Analysis","author":"Cliff N.","year":"1996","unstructured":"N. Cliff . Ordinal Methods for Behavioral Data Analysis . Pyschology Press , 1996 . N. Cliff. Ordinal Methods for Behavioral Data Analysis. Pyschology Press, 1996."},{"key":"e_1_3_2_1_15_1","unstructured":"Count lines of code. http:\/\/cloc.sourceforge.net\/.  Count lines of code. http:\/\/cloc.sourceforge.net\/."},{"key":"e_1_3_2_1_16_1","volume-title":"Introduction to Algorithms","author":"Cormen T. H.","year":"2009","unstructured":"T. H. Cormen , C. E. Leiserson , R. L. Rivest , and C. Stein . Introduction to Algorithms , Third Edition. The MIT Press , 2009 . T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein. Introduction to Algorithms, Third Edition. The MIT Press, 2009."},{"key":"e_1_3_2_1_17_1","first-page":"3","article-title":"Criteria for measures of association","author":"Costner H. L.","year":"1965","unstructured":"H. L. Costner . Criteria for measures of association . American Sociological Review , 3 , 1965 . H. L. Costner. Criteria for measures of association. American Sociological Review, 3, 1965.","journal-title":"American Sociological Review"},{"key":"e_1_3_2_1_18_1","unstructured":"Instrumented container classes - predicate coverage. http:\/\/mir.cs.illinois.edu\/coverage\/.  Instrumented container classes - predicate coverage. http:\/\/mir.cs.illinois.edu\/coverage\/."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-005-3861-2"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/288195.288298"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.238581"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831712"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190226"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2134243.2134249"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100077"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2012.1"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.68"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336763"},{"key":"e_1_3_2_1_30_1","volume-title":"Fundamental Statistics in Pyschology and Education","author":"Guilford J. P.","year":"1956","unstructured":"J. P. Guilford . Fundamental Statistics in Pyschology and Education . McGraw-Hill , 1956 . J. P. Guilford. Fundamental Statistics in Pyschology and Education. McGraw-Hill, 1956."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0059-5"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.231145"},{"key":"e_1_3_2_1_33_1","first-page":"71","volume-title":"International Conference on Software Engineering","author":"Harder M.","year":"2003","unstructured":"M. Harder , J. Mellen , and M. D. Ernst . Improving test suites via operational abstraction . In International Conference on Software Engineering , pages 60\u2013 71 , 2003 . M. Harder, J. Mellen, and M. D. Ernst. Improving test suites via operational abstraction. In International Conference on Software Engineering, pages 60\u201371, 2003."},{"key":"e_1_3_2_1_34_1","first-page":"181","volume-title":"International Conference on Software Engineering","author":"Hassan M. M.","year":"2013","unstructured":"M. M. Hassan and J. H. Andrews . Comparing multi-point stride coverage and dataflow coverage . In International Conference on Software Engineering , pages 172\u2013 181 , 2013 . M. M. Hassan and J. H. Andrews. Comparing multi-point stride coverage and dataflow coverage. In International Conference on Software Engineering, pages 172\u2013181, 2013."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503279"},{"key":"e_1_3_2_1_36_1","first-page":"200","volume-title":"International Conference on Software Engineering","author":"Hutchins M.","year":"1994","unstructured":"M. Hutchins , H. Foster , T. Goradia , and T. Ostrand . Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria . In International Conference on Software Engineering , pages 191\u2013 200 , 1994 . M. Hutchins, H. Foster, T. Goradia, and T. Ostrand. Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria. In International Conference on Software Engineering, pages 191\u2013200, 1994."},{"key":"e_1_3_2_1_37_1","unstructured":"JFreeChart Home Page. http:\/\/www.jfree.org\/ jfreechart\/.  JFreeChart Home Page. http:\/\/www.jfree.org\/ jfreechart\/."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_2_1_39_1","unstructured":"JodaTime Home Page. http:\/\/joda-time. sourceforge.net\/.  JodaTime Home Page. http:\/\/joda-time. sourceforge.net\/."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1093\/biomet\/30.1-2.81"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301678"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572280"},{"key":"e_1_3_2_1_43_1","first-page":"107","volume-title":"International Conference on Software Engineering","author":"Offutt A. J.","year":"1993","unstructured":"A. J. Offutt , G. Rothermel , and C. Zapf . An experimental evaluation of selective mutation . In International Conference on Software Engineering , pages 100\u2013 107 , 1993 . A. J. Offutt, G. Rothermel, and C. Zapf. An experimental evaluation of selective mutation. In International Conference on Software Engineering, pages 100\u2013107, 1993."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.962562"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595750"},{"key":"e_1_3_2_1_47_1","first-page":"277","volume-title":"Testing container classes: Random or systematic? In Fundamental Approaches to Software Engineering","author":"Sharma R.","year":"2011","unstructured":"R. Sharma , M. Gligoric , A. Arcuri , G. Fraser , and D. Marinov . Testing container classes: Random or systematic? In Fundamental Approaches to Software Engineering , pages 262\u2013 277 , 2011 . R. Sharma, M. Gligoric, A. Arcuri, G. Fraser, and D. Marinov. Testing container classes: Random or systematic? In Fundamental Approaches to Software Engineering, pages 262\u2013277, 2011."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2010.7"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368136"},{"key":"e_1_3_2_1_50_1","unstructured":"SQLite Home Page. http:\/\/www.sqlite.org\/.  SQLite Home Page. http:\/\/www.sqlite.org\/."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146243"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/11763864_38"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.5555\/850947.853292"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101966"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1994.341379"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/225014.225018"},{"key":"e_1_3_2_1_57_1","unstructured":"YAFFS\n  : A flash file system for embedded use. http:\/\/ www.yaffs.net.  YAFFS: A flash file system for embedded use. http:\/\/ www.yaffs.net."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806863"}],"event":{"name":"ISSTA '13: Iitsnternational Symposium on Software Testing and Analysis","location":"Lugano Switzerland","acronym":"ISSTA '13","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2013 International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2483760.2483769","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2483760.2483769","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:37Z","timestamp":1750277677000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2483760.2483769"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,15]]},"references-count":57,"alternative-id":["10.1145\/2483760.2483769","10.1145\/2483760"],"URL":"https:\/\/doi.org\/10.1145\/2483760.2483769","relation":{},"subject":[],"published":{"date-parts":[[2013,7,15]]},"assertion":[{"value":"2013-07-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}