{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T23:15:20Z","timestamp":1763507720502,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":63,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,3]],"date-time":"2018-09-03T00:00:00Z","timestamp":1535932800000},"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,9,3]]},"DOI":"10.1145\/3238147.3238200","type":"proceedings-article","created":{"date-parts":[[2018,8,20]],"date-time":"2018-08-20T20:04:36Z","timestamp":1534795476000},"page":"612-622","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["Semantic crash bucketing"],"prefix":"10.1145","author":[{"given":"Rijnard","family":"van Tonder","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Kotheimer","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claire","family":"Le Goues","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2018.  2018."},{"key":"e_1_3_2_1_2_1","unstructured":"https:\/\/github.com\/google\/ossfuzz. Online; accessed 26 April 2018. 2018.  https:\/\/github.com\/google\/ossfuzz. Online; accessed 26 April 2018. 2018."},{"key":"e_1_3_2_1_3_1","unstructured":"https:\/\/www.cert.org\/vulnerabilityanalysis\/tools\/bffdownload.cfm. Online; accessed 26 April 2018. 2018.  https:\/\/www.cert.org\/vulnerabilityanalysis\/tools\/bffdownload.cfm. Online; accessed 26 April 2018. 2018."},{"key":"e_1_3_2_1_4_1","unstructured":"https:\/\/github.com\/google\/honggfuzz. Online; accessed 26 April 2018. 2018.  https:\/\/github.com\/google\/honggfuzz. Online; accessed 26 April 2018. 2018."},{"key":"e_1_3_2_1_5_1","unstructured":"https:\/\/cve.mitre.org\/. Online; accessed 26 April 2018. 2018.  https:\/\/cve.mitre.org\/. Online; accessed 26 April 2018. 2018."},{"volume-title":"html. Online","year":"2018","key":"e_1_3_2_1_6_1","unstructured":"https:\/\/lcamtuf.blogspot.com\/2015\/04\/findingbugsinsqliteeasyway. html. Online ; accessed 26 April , 2018 . 2018. https:\/\/lcamtuf.blogspot.com\/2015\/04\/findingbugsinsqliteeasyway. html. Online; accessed 26 April, 2018. 2018."},{"volume-title":"http:\/\/lcamtuf.coredump.cx\/afl\/. Online","year":"2018","key":"e_1_3_2_1_7_1","unstructured":"https:\/\/access.redhat.com\/security\/securityupdates\/#\/cve. Online; accessed 26 April, 2018. 2018. AFL-Fuzz. http:\/\/lcamtuf.coredump.cx\/afl\/. Online ; accessed 26 April , 2018 . 2018. CVE- 2017-12762. https:\/\/access.redhat.com\/security\/securityupdates\/#\/cve. Online; accessed 26 April, 2018. 2018. AFL-Fuzz. http:\/\/lcamtuf.coredump.cx\/afl\/. Online; accessed 26 April, 2018. 2018. CVE-2017-12762."},{"key":"e_1_3_2_1_8_1","unstructured":"https:\/\/patchwork.kernel.org\/patch\/9880041\/. Online; accessed 26 April 2018. 2018.  https:\/\/patchwork.kernel.org\/patch\/9880041\/. Online; accessed 26 April 2018. 2018."},{"key":"e_1_3_2_1_9_1","volume-title":"https:\/\/www.microsoft.com\/enus\/ securityriskdetection\/. Online","author":"Risk Detection Microsoft Security","year":"2018","unstructured":"Microsoft Security Risk Detection . https:\/\/www.microsoft.com\/enus\/ securityriskdetection\/. Online ; accessed 26 April , 2018 . Microsoft Security Risk Detection. https:\/\/www.microsoft.com\/enus\/ securityriskdetection\/. Online; accessed 26 April, 2018."},{"key":"e_1_3_2_1_10_1","unstructured":"Semantic Crash Bucketing ASE \u201918 September 3\u20137 2018 Montpellier France 2018.  Semantic Crash Bucketing ASE \u201918 September 3\u20137 2018 Montpellier France 2018."},{"key":"e_1_3_2_1_11_1","volume-title":"https:\/\/vuls.cert.org\/ confluence\/display\/tools\/Public+Vulnerabilities+Discovered+Using+BFF. Online","author":"Discovered Public Vulnerabilities","year":"2019","unstructured":"Public Vulnerabilities Discovered Using BFF. https:\/\/vuls.cert.org\/ confluence\/display\/tools\/Public+Vulnerabilities+Discovered+Using+BFF. Online ; accessed 26 April , 2019 . Public Vulnerabilities Discovered Using BFF. https:\/\/vuls.cert.org\/ confluence\/display\/tools\/Public+Vulnerabilities+Discovered+Using+BFF. Online; accessed 26 April, 2019."},{"key":"e_1_3_2_1_12_1","unstructured":"Mohammad Amin Alipour Alex Groce Rahul Gopinath and Arpit Christi. 2016.  Mohammad Amin Alipour Alex Groce Rahul Gopinath and Arpit Christi. 2016."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931056"},{"key":"e_1_3_2_1_14_1","volume-title":"Sang Kil Cha, and David Brumley","author":"Avgerinos Thanassis","year":"2014","unstructured":"Thanassis Avgerinos , Alexandre Rebert , Sang Kil Cha, and David Brumley . 2014 . Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley. 2014."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568293"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985811"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462173"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062522"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486892"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884844"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337364"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/948109.948155"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001424"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818775"},{"key":"e_1_3_2_1_25_1","volume-title":"The Theory of Composite Faults. In International Conference on Software Testing, Verification (ICST \u201917)","author":"Gopinath Rahul","year":"2017","unstructured":"Rahul Gopinath , Carlos Jensen , and Alex Groce . 2017 . The Theory of Composite Faults. In International Conference on Software Testing, Verification (ICST \u201917) . 47\u201357. Rahul Gopinath, Carlos Jensen, and Alex Groce. 2017. The Theory of Composite Faults. In International Conference on Software Testing, Verification (ICST \u201917). 47\u201357."},{"key":"e_1_3_2_1_26_1","unstructured":"Alex Groce Chaoqiang Zhang Eric Eide Yang Chen and John Regehr. 2012.  Alex Groce Chaoqiang Zhang Eric Eide Yang Chen and John Regehr. 2012."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336763"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134319"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"e_1_3_2_1_30_1","unstructured":"Dongsun Kim Jaechang Nam Jaewoo Song and Sunghun Kim. 2013.  Dongsun Kim Jaechang Nam Jaewoo Song and Sunghun Kim. 2013."},{"volume-title":"International Conference on Software Engineering (ICSE \u201913)","author":"Automatic","key":"e_1_3_2_1_31_1","unstructured":"Automatic patch generation learned from human-written patches . In International Conference on Software Engineering (ICSE \u201913) . 802\u2013811. Automatic patch generation learned from human-written patches. In International Conference on Software Engineering (ICSE \u201913). 802\u2013811."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"Shuvendu K. Lahiri Rohit Sinha and Chris Hawblitzel. 2015. Automatic Rootcausing for Program Equivalence Failures in Binaries. In Computer Aided Verification (CAV \u201915). 362\u2013379.  Shuvendu K. Lahiri Rohit Sinha and Chris Hawblitzel. 2015. Automatic Rootcausing for Program Equivalence Failures in Binaries. In Computer Aided Verification (CAV \u201915). 362\u2013379.","DOI":"10.1007\/978-3-319-21690-4_21"},{"key":"e_1_3_2_1_33_1","unstructured":"David Larochelle and David Evans. 2001.  David Larochelle and David Evans. 2001."},{"volume-title":"Detecting Likely Buffer Overflow Vulnerabilities. In USENIX Security Symposium.","author":"Statically","key":"e_1_3_2_1_34_1","unstructured":"Statically Detecting Likely Buffer Overflow Vulnerabilities. In USENIX Security Symposium. Statically Detecting Likely Buffer Overflow Vulnerabilities. In USENIX Security Symposium."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337225"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-013-9208-0"},{"key":"e_1_3_2_1_37_1","unstructured":"Frank Li and Vern Paxson. 2017.  Frank Li and Vern Paxson. 2017."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134072"},{"key":"e_1_3_2_1_39_1","volume-title":"Jordan","author":"Liblit Ben","year":"2005","unstructured":"Ben Liblit , Mayur Naik , Alice X. Zheng , Alexander Aiken , and Michael I . Jordan . 2005 . Ben Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, and Michael I. Jordan. 2005."},{"key":"e_1_3_2_1_40_1","unstructured":"Scalable statistical bug isolation. In Programming Language Design and Implementation (PLDI \u201905). 15\u201326.  Scalable statistical bug isolation. In Programming Language Design and Implementation (PLDI \u201905). 15\u201326."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1229285.1267001"},{"key":"e_1_3_2_1_42_1","unstructured":"Fan Long and Martin Rinard. 2016.  Fan Long and Martin Rinard. 2016."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837617"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594337"},{"key":"e_1_3_2_1_45_1","unstructured":"Sergey Mechtaev Jooyong Yi and Abhik Roychoudhury. 2016.  Sergey Mechtaev Jooyong Yi and Abhik Roychoudhury. 2016."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884807"},{"key":"e_1_3_2_1_47_1","volume-title":"USENIX Security Symposium. 67\u201382","author":"Molnar D","year":"2009","unstructured":"D Molnar , XC Li , and DA Wagner . 2009 . Dynamic test generation to find integer bugs in x86 binary linux programs . In USENIX Security Symposium. 67\u201382 . D Molnar, XC Li, and DA Wagner. 2009. Dynamic test generation to find integer bugs in x86 binary linux programs. In USENIX Security Symposium. 67\u201382."},{"key":"e_1_3_2_1_48_1","unstructured":"Paul Muntean Vasantha Kommanapalli Andreas Ibing and Claudia Eckert. 2015.  Paul Muntean Vasantha Kommanapalli Andreas Ibing and Claudia Eckert. 2015."},{"key":"e_1_3_2_1_49_1","unstructured":"Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT. In Computer Safety Reliability and Security (SAFECOMP \u201915). 441\u2013456.  Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT. In Computer Safety Reliability and Security (SAFECOMP \u201915). 441\u2013456."},{"key":"e_1_3_2_1_50_1","volume-title":"International Conference on Software Engineering, 772\u2013781","author":"Thien Nguyen Hoang Duong","year":"2013","unstructured":"Hoang Duong Thien Nguyen , Dawei Qi , Abhik Roychoudhury , and Satish Chandra . 2013 . SemFix: Program Repair via Semantic Analysis . International Conference on Software Engineering, 772\u2013781 . Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, and Satish Chandra. 2013. SemFix: Program Repair via Semantic Analysis. International Conference on Software Engineering, 772\u2013781."},{"key":"e_1_3_2_1_51_1","unstructured":"Hui Peng Yan Shoshitaishvili and Mathias Payer. 2018.  Hui Peng Yan Shoshitaishvili and Mathias Payer. 2018."},{"volume-title":"IEEE Symposium on Security and Privacy.","key":"e_1_3_2_1_52_1","unstructured":"T-Fuzz : fuzzing by program transformation . In IEEE Symposium on Security and Privacy. T-Fuzz: fuzzing by program transformation. In IEEE Symposium on Security and Privacy."},{"key":"e_1_3_2_1_53_1","unstructured":"Van-Thuan Pham Sakaar Khurana Subhajit Roy and Abhik Roychoudhury. 2017.  Van-Thuan Pham Sakaar Khurana Subhajit Roy and Abhik Roychoudhury. 2017."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54494-5_3"},{"key":"e_1_3_2_1_55_1","volume-title":"Optimizing Seed Selection for Fuzzing. In USENIX Security Symposium. 861\u2013875","author":"Rebert Alexandre","year":"2014","unstructured":"Alexandre Rebert , Sang Kil Cha , Thanassis Avgerinos , Jonathan Foote , David Warren , Gustavo Grieco , and David Brumley . 2014 . Optimizing Seed Selection for Fuzzing. In USENIX Security Symposium. 861\u2013875 . Alexandre Rebert, Sang Kil Cha, Thanassis Avgerinos, Jonathan Foote, David Warren, Gustavo Grieco, and David Brumley. 2014. Optimizing Seed Selection for Fuzzing. In USENIX Security Symposium. 861\u2013875."},{"key":"e_1_3_2_1_56_1","volume-title":"Reiss","author":"Renieris Manos","year":"2003","unstructured":"Manos Renieris and Steven P . Reiss . 2003 . Manos Renieris and Steven P. Reiss. 2003."},{"volume-title":"Localization With Nearest Neighbor Queries. In International Conference on Automated Software Engineering (ASE \u201903)","author":"Fault","key":"e_1_3_2_1_57_1","unstructured":"Fault Localization With Nearest Neighbor Queries. In International Conference on Automated Software Engineering (ASE \u201903) . 30\u201339. Fault Localization With Nearest Neighbor Queries. In International Conference on Automated Software Engineering (ASE \u201903). 30\u201339."},{"key":"e_1_3_2_1_58_1","first-page":"21","article-title":"Enhancing Server Availability and Security Through Failure-Oblivious Computing","volume":"4","author":"Rinard Martin C","year":"2004","unstructured":"Martin C Rinard , Cristian Cadar , Daniel Dumitran , Daniel M Roy , Tudor Leu , and William S Beebee . 2004 . Enhancing Server Availability and Security Through Failure-Oblivious Computing .. In OSDI , Vol. 4. 21 \u2013 21 . Martin C Rinard, Cristian Cadar, Daniel Dumitran, Daniel M Roy, Tudor Leu, and William S Beebee. 2004. Enhancing Server Availability and Security Through Failure-Oblivious Computing.. In OSDI, Vol. 4. 21\u201321.","journal-title":"OSDI"},{"key":"e_1_3_2_1_59_1","volume-title":"USENIX Security Symposium.","author":"Serebryany Kostya","year":"2017","unstructured":"Kostya Serebryany . 2017 . OSS-Fuzz-Google\u2019s continuous fuzzing service for open source software . In USENIX Security Symposium. Kostya Serebryany. 2017. OSS-Fuzz-Google\u2019s continuous fuzzing service for open source software. In USENIX Security Symposium."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901739.2903495"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173734"},{"key":"e_1_3_2_1_62_1","volume-title":"Samantha Gottlieb, and David Brumley.","author":"Woo Maverick","year":"2013","unstructured":"Maverick Woo , Sang Kil Cha , Samantha Gottlieb, and David Brumley. 2013 . Maverick Woo, Sang Kil Cha, Samantha Gottlieb, and David Brumley. 2013."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516736"}],"event":{"name":"ASE '18: 33rd ACM\/IEEE International Conference on Automated Software Engineering","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","CNRS Centre National De La Rechercue Scientifique","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"],"location":"Montpellier France","acronym":"ASE '18"},"container-title":["Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3238147.3238200","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3238147.3238200","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:35Z","timestamp":1750210775000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3238147.3238200"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,3]]},"references-count":63,"alternative-id":["10.1145\/3238147.3238200","10.1145\/3238147"],"URL":"https:\/\/doi.org\/10.1145\/3238147.3238200","relation":{},"subject":[],"published":{"date-parts":[[2018,9,3]]},"assertion":[{"value":"2018-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}