{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T03:47:04Z","timestamp":1752551224898,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":78,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,8,25]],"date-time":"2016-08-25T00:00:00Z","timestamp":1472083200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Google Faculty Research Award"},{"name":"NSF Grant","award":["CCF-1566589"],"award-info":[{"award-number":["CCF-1566589"]}]},{"name":"the National Basic Research Program of China (973) under Grant","award":["2015CB352201"],"award-info":[{"award-number":["2015CB352201"]}]},{"name":"the National Natural Science Foundation of China under Grant","award":["61421091,91318301,61225007,61529201,61522201,61272157"],"award-info":[{"award-number":["61421091,91318301,61225007,61529201,61522201,61272157"]}]},{"name":"UT Dallas start-up fund"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,8,25]]},"DOI":"10.1145\/2970276.2970366","type":"proceedings-article","created":{"date-parts":[[2016,8,26]],"date-time":"2016-08-26T12:40:09Z","timestamp":1472215209000},"page":"178-189","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Supporting oracle construction via static analysis"],"prefix":"10.1145","author":[{"given":"Junjie","family":"Chen","sequence":"first","affiliation":[{"name":"Peking University, China"}]},{"given":"Yanwei","family":"Bai","sequence":"additional","affiliation":[{"name":"Peking University, China"}]},{"given":"Dan","family":"Hao","sequence":"additional","affiliation":[{"name":"Peking University, China"}]},{"given":"Lingming","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of Texas at Dallas, USA"}]},{"given":"Lu","family":"Zhang","sequence":"additional","affiliation":[{"name":"Peking University, China"}]},{"given":"Bing","family":"Xie","sequence":"additional","affiliation":[{"name":"Peking University, China"}]},{"given":"Hong","family":"Mei","sequence":"additional","affiliation":[{"name":"Peking University, China"}]}],"member":"320","published-online":{"date-parts":[[2016,8,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1049\/ic:20040293"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062530"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/236338.236371"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.79"},{"key":"e_1_3_2_1_6_1","first-page":"224","volume-title":"OSDI","volume":"8","author":"Cadar C.","year":"2008","unstructured":"C. Cadar , D. Dunbar , and D. R. Engler . Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs . In OSDI , volume 8 , pages 209\u2013 224 , 2008 . C. Cadar, D. Dunbar, and D. R. Engler. Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In OSDI, volume 8, pages 209\u2013224, 2008."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568287"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2006.71"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2008.07.019"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2016.19"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884878"},{"key":"e_1_3_2_1_12_1","unstructured":"Commons IO homepage. http:\/\/commons.apache.org\/proper\/commons-io.  Commons IO homepage. http:\/\/commons.apache.org\/proper\/commons-io."},{"key":"e_1_3_2_1_13_1","unstructured":"Commons CLI homepage. http:\/\/commons.apache.org\/cli.  Commons CLI homepage. http:\/\/commons.apache.org\/cli."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368127"},{"key":"e_1_3_2_1_15_1","unstructured":"Commons CSV homepage. http:\/\/commons.apache.org\/proper\/commons-csv.  Commons CSV homepage. http:\/\/commons.apache.org\/proper\/commons-csv."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/646153.679523"},{"key":"e_1_3_2_1_17_1","unstructured":"Commons Digester homepage. http: \/\/commons.apache.org\/proper\/commons-digester.  Commons Digester homepage. http: \/\/commons.apache.org\/proper\/commons-digester."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/239098.239116"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/193173.195401"},{"key":"e_1_3_2_1_20_1","volume-title":"Data Structures and Formal Languages. Creative Commons License","author":"Dinneen M. J.","year":"2013","unstructured":"M. J. Dinneen , G. Gimel\u2019farb , and M. C. Wilson . Introduction to Algorithms , Data Structures and Formal Languages. Creative Commons License , 2013 . M. J. Dinneen, G. Gimel\u2019farb, and M. C. Wilson. Introduction to Algorithms, Data Structures and Formal Languages. Creative Commons License, 2013."},{"key":"e_1_3_2_1_21_1","volume-title":"University of Washington","author":"Ernst M. D.","year":"2000","unstructured":"M. D. Ernst . Dynamically discovering likely program invariants. PhD thesis , University of Washington , 2000 . M. D. Ernst. Dynamically discovering likely program invariants. PhD thesis, University of Washington, 2000."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483774"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.93"},{"key":"e_1_3_2_1_25_1","volume-title":"Modern elementary statistics","author":"Freund J. E.","year":"1967","unstructured":"J. E. Freund and G. A. Simon . Modern elementary statistics , volume 256 . Prentice-Hall Englewood Cliffs , New Jersey , 1967 . J. E. Freund and G. A. Simon. Modern elementary statistics, volume 256. Prentice-Hall Englewood Cliffs, New Jersey, 1967."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2011.06.009"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2436920"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483769"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/263698.264352"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-009-9224-5"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2685614"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/174662.174663"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593833.2593834"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/645604.662751"},{"key":"e_1_3_2_1_35_1","unstructured":"Joda Convert homepage. http:\/\/www.joda.org\/joda-convert.  Joda Convert homepage. http:\/\/www.joda.org\/joda-convert."},{"key":"e_1_3_2_1_36_1","unstructured":"James jDKIM homepage. http:\/\/james.apache.org\/jdkim.  James jDKIM homepage. http:\/\/james.apache.org\/jdkim."},{"key":"e_1_3_2_1_37_1","unstructured":"JGraphT homepage. http:\/\/jgrapht.org.  JGraphT homepage. http:\/\/jgrapht.org."},{"key":"e_1_3_2_1_38_1","unstructured":"James mime4j homepage. http:\/\/james.apache.org\/mime4j.  James mime4j homepage. http:\/\/james.apache.org\/mime4j."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635929"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100138"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287705"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.08.009"},{"key":"e_1_3_2_1_43_1","volume-title":"Introduction to algorithms","author":"Leiserson C. E.","year":"2001","unstructured":"C. E. Leiserson , R. L. Rivest , C. Stein , and T. H. Cormen . Introduction to algorithms . MIT press , 2001 . C. E. Leiserson, R. L. Rivest, C. Stein, and T. H. Cormen. Introduction to algorithms. MIT press, 2001."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.46"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610408"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1569901.1570127"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.106"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491434"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.5555\/555142"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_22"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.286418"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/186258.186508"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/186258.187158"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100059"},{"key":"e_1_3_2_1_56_1","unstructured":"R. Rugina M. Orlovich and X. Zheng. Crystal: A program analysis system for C.  R. Rugina M. Orlovich and X. Zheng. Crystal: A program analysis system for C."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.5555\/786769.787003"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.32"},{"issue":"7","key":"e_1_3_2_1_59_1","first-page":"531","article-title":"Checked coverage: an indicator for oracle quality","volume":"23","author":"Schuler D.","year":"2013","unstructured":"D. Schuler and A. Zeller . Checked coverage: an indicator for oracle quality . STVR , 23 ( 7 ): 531 \u2013 551 , 2013 . D. Schuler and A. Zeller. Checked coverage: an indicator for oracle quality. STVR, 23(7):531\u2013551, 2013.","journal-title":"STVR"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2011.02.006"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337326"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985847"},{"key":"e_1_3_2_1_63_1","unstructured":"Time and Money homepage. http:\/\/sourceforge.net\/projects\/timeandmoney.  Time and Money homepage. http:\/\/sourceforge.net\/projects\/timeandmoney."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISADS.2011.90"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1994.341367"},{"key":"e_1_3_2_1_67_1","unstructured":"WALA: T. J. Watson Libraries for Analysis. http:\/\/wala.sourceforge.net\/.  WALA: T. J. Watson Libraries for Analysis. http:\/\/wala.sourceforge.net\/."},{"key":"e_1_3_2_1_68_1","volume-title":"Encyclopedia of biostatistics","author":"Wilcox R.","year":"2005","unstructured":"R. Wilcox . Kolmogorov\u2013smirnov test. Encyclopedia of biostatistics , 2005 . R. Wilcox. Kolmogorov\u2013smirnov test. Encyclopedia of biostatistics, 2005."},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/1189748.1189752"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-014-1461-6"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2803204"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642994"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931038"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2014.27"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336793"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610389"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001463"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100085"}],"event":{"name":"ASE'16: ACM\/IEEE International Conference on Automated Software Engineering","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"],"location":"Singapore Singapore","acronym":"ASE'16"},"container-title":["Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2970276.2970366","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2970276.2970366","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:50:01Z","timestamp":1750218601000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2970276.2970366"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8,25]]},"references-count":78,"alternative-id":["10.1145\/2970276.2970366","10.1145\/2970276"],"URL":"https:\/\/doi.org\/10.1145\/2970276.2970366","relation":{},"subject":[],"published":{"date-parts":[[2016,8,25]]},"assertion":[{"value":"2016-08-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}