{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T23:37:39Z","timestamp":1775259459241,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":67,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,26]],"date-time":"2018-10-26T00:00:00Z","timestamp":1540512000000},"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":[[2018,10,26]]},"DOI":"10.1145\/3236024.3236058","type":"proceedings-article","created":{"date-parts":[[2018,10,29]],"date-time":"2018-10-29T08:06:00Z","timestamp":1540800360000},"page":"679-690","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Which generated test failures are fault revealing? prioritizing failures based on inferred precondition violations using PAF"],"prefix":"10.1145","author":[{"given":"Mijung","family":"Kim","sequence":"first","affiliation":[{"name":"Hong Kong University of Science and Technology, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shing-Chi","family":"Cheung","sequence":"additional","affiliation":[{"name":"Hong Kong University of Science and Technology, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sunghun","family":"Kim","sequence":"additional","affiliation":[{"name":"Hong Kong University of Science and Technology, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Alfred V. Aho Monica S. Lam Ravi Sethi and Jeffrey D. Ullman. 2006. Compilers: Principles Techniques and Tools (2Nd Edition). Addison-Wesley Longman Publishing Co. Inc. Boston MA USA. Alfred V. Aho Monica S. Lam Ravi Sethi and Jeffrey D. Ullman. 2006. Compilers: Principles Techniques and Tools (2Nd Edition). Addison-Wesley Longman Publishing Co. Inc. Boston MA USA."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-017-9570-9"},{"key":"e_1_3_2_1_3_1","unstructured":"s10664-017-9570-9 s10664-017-9570-9"},{"key":"e_1_3_2_1_4_1","volume-title":"1st Workshop on Model-Based Testing and Object-Oriented Systems (M-TOOS)","author":"Artzi Shay"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855895.1855896"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201908)","author":"Cadar Cristian","year":"2008"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.602"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1348250.1348254"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337364"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/381473.381509"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.92"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/347324.348910"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.238581"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.14"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483774"},{"key":"e_1_3_2_1_17_1","unstructured":"2483774 2483774"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2699688"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831728"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.53"},{"key":"e_1_3_2_1_21_1","first-page":"1","article-title":"MSeer-An Advanced Technique for Locating Multiple Bugs in Parallel","volume":"99","author":"Gao R.","year":"2017","journal-title":"IEEE Transactions on Software Engineering PP"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591078"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931061"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336762"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771793"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2685614"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/193173.195402"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/174662.174663"},{"key":"e_1_3_2_1_30_1","volume-title":"Companion Proceedings of the 37th International Conference on Software Engineering","author":"Herzig Kim"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635917"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/257734.257766"},{"key":"e_1_3_2_1_33_1","unstructured":"Nehul Jain Saikat Dutta Ansuman Banerjee Anil K. Ghosh Lihua Xu and Huibiao Zhu. 2013. Nehul Jain Saikat Dutta Ansuman Banerjee Anil K. Ghosh Lihua Xu and Huibiao Zhu. 2013."},{"key":"e_1_3_2_1_34_1","volume-title":"FACS 2013","author":"Using Daikon to Prioritize and Group Unit Bugs.","year":"2013"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831729"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273468"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2012.31"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181782"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDEW.2007.4401026"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572280"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_22"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390643"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.286418"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483792"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818765"},{"key":"e_1_3_2_1_47_1","unstructured":"29 29"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/776816.776872"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"crossref","unstructured":"Michael Pradel and Thomas R. Gross. 2012. Leveraging Test Generation and Specification Mining for Automated Bug Detection Without False Positives (ICSE \u201912). IEEE Press Piscataway NJ USA 288\u2013298. http:\/\/dl.acm.org\/citation.cfm? id=2337223.2337258 Michael Pradel and Thomas R. Gross. 2012. Leveraging Test Generation and Specification Mining for Automated Bug Detection Without False Positives (ICSE \u201912). IEEE Press Piscataway NJ USA 288\u2013298. http:\/\/dl.acm.org\/citation.cfm? id=2337223.2337258","DOI":"10.1109\/ICSE.2012.6227185"},{"key":"e_1_3_2_1_50_1","unstructured":"Baishakhi Ray Meiyappan Nagappan Christian Bird Nachiappan Nagappan and Thomas Zimmermann. 2015. The Uniqueness of Changes: Characteristics and Applications (MSR \u201915). ACM. Baishakhi Ray Meiyappan Nagappan Christian Bird Nachiappan Nagappan and Thomas Zimmermann. 2015. The Uniqueness of Changes: Characteristics and Applications (MSR \u201915). ACM."},{"key":"e_1_3_2_1_51_1","volume-title":"Testing \u2013 Practice and Research Techniques","author":"Riboira Andr\u00e9"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.962562"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2487568.2487574"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081750"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.86"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"crossref","unstructured":"Matt Staats Gregory Gay and Mats P. E. Heimdahl. 2012. Automated Oracle Creation Support or: How I Learned to Stop Worrying About Fault Propagation and Love Mutation Testing (ICSE \u201912). IEEE Press Piscataway NJ USA 870\u2013880. http:\/\/dl.acm.org\/citation.cfm?id=2337223.2337326 Matt Staats Gregory Gay and Mats P. E. Heimdahl. 2012. Automated Oracle Creation Support or: How I Learned to Stop Worrying About Fault Propagation and Love Mutation Testing (ICSE \u201912). IEEE Press Piscataway NJ USA 870\u2013880. http:\/\/dl.acm.org\/citation.cfm?id=2337223.2337326","DOI":"10.1109\/ICSE.2012.6227132"},{"key":"e_1_3_2_1_57_1","volume-title":"In KDD Workshop on Text Mining.","author":"Steinbach Michael","year":"2000"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.5555\/1894403.1894415"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595725"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007528"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2015.7332456"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.5555\/781995.782008"},{"key":"e_1_3_2_1_63_1","first-page":"149","article-title":"Test Analysis: Searching for Faults in Tests (N)","volume":"2015","author":"Waterloo M.","year":"2015","journal-title":"Automated Software Engineering (ASE)"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"crossref","unstructured":"Yi Wei Carlo A. Furia Nikolay Kazmin and Bertrand Meyer. 2011. Inferring Better Contracts (ICSE \u201911). ACM New York NY USA 191\u2013200. Yi Wei Carlo A. Furia Nikolay Kazmin and Bertrand Meyer. 2011. Inferring Better Contracts (ICSE \u201911). ACM New York NY USA 191\u2013200.","DOI":"10.1145\/1985793.1985820"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100094"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483782"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336793"}],"event":{"name":"ESEC\/FSE '18: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Lake Buena Vista FL USA","acronym":"ESEC\/FSE '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3236058","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236024.3236058","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T22:16:14Z","timestamp":1775254574000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3236058"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,26]]},"references-count":67,"alternative-id":["10.1145\/3236024.3236058","10.1145\/3236024"],"URL":"https:\/\/doi.org\/10.1145\/3236024.3236058","relation":{},"subject":[],"published":{"date-parts":[[2018,10,26]]},"assertion":[{"value":"2018-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}