{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T18:51:49Z","timestamp":1777488709877,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":38,"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"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1712067"],"award-info":[{"award-number":["CCF-1712067"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["FA8750-15-2-0096"],"award-info":[{"award-number":["FA8750-15-2-0096"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,26]]},"DOI":"10.1145\/3236024.3236039","type":"proceedings-article","created":{"date-parts":[[2018,10,29]],"date-time":"2018-10-29T12:06:00Z","timestamp":1540814760000},"page":"213-223","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["Singularity: pattern fuzzing for worst case complexity"],"prefix":"10.1145","author":[{"given":"Jiayi","family":"Wei","sequence":"first","affiliation":[{"name":"University of Texas at Austin, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jia","family":"Chen","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Feng","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kostas","family":"Ferles","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Isil","family":"Dillig","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_6"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837666"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2866575"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070545"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2009.10"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737955"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2009.13"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254076"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 12th USENIX Security Symposium, Washington, D.C., USA","author":"Scott","year":"2003","unstructured":"Scott A. Crosby and Dan S. Wallach. 2003. Denial of Service via Algorithmic Complexity Attacks . In Proceedings of the 12th USENIX Security Symposium, Washington, D.C., USA , August 4-8, 2003 . Scott A. Crosby and Dan S. Wallach. 2003. Denial of Service via Algorithmic Complexity Attacks. In Proceedings of the 12th USENIX Security Symposium, Washington, D.C., USA, August 4-8, 2003."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814290"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950360"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273480"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/12130.12144"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287681"},{"key":"e_1_3_2_1_15_1","unstructured":"Google. {n. d.}. Google core libraries for Java. https:\/\/github.com\/google\/guava.  Google. {n. d.}. Google core libraries for Java. https:\/\/github.com\/google\/guava."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480898"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009842"},{"key":"e_1_3_2_1_18_1","unstructured":"JGraphT. {n. d.}. A free Java Graph Library. http:\/\/jgrapht.org\/.  JGraphT. {n. d.}. A free Java Graph Library. http:\/\/jgrapht.org\/."},{"key":"e_1_3_2_1_19_1","volume-title":"Efficient Denial of Service Attacks on Web Application Platforms. https:\/\/events.ccc.de\/congress\/2011\/Fahrplan\/ attachments\/2007_28C3_Effective_DoS_on_web_application_platforms.pdf. {Online","author":"Klink Alexander","year":"2018","unstructured":"Alexander Klink and Julian W\u00c3\u010flde . 2011. Efficient Denial of Service Attacks on Web Application Platforms. https:\/\/events.ccc.de\/congress\/2011\/Fahrplan\/ attachments\/2007_28C3_Effective_DoS_on_web_application_platforms.pdf. {Online ; accessed 1- Feb- 2018 }. Alexander Klink and Julian W\u00c3\u010flde. 2011. Efficient Denial of Service Attacks on Web Application Platforms. https:\/\/events.ccc.de\/congress\/2011\/Fahrplan\/ attachments\/2007_28C3_Effective_DoS_on_web_application_platforms.pdf. {Online; accessed 1-Feb-2018}."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/977395.977673"},{"key":"e_1_3_2_1_21_1","volume-title":"Verification and Validation (ICST), 2017 IEEE International Conference on. IEEE, 58\u201368","author":"Luckow Kasper","year":"2017","unstructured":"Kasper Luckow , Rody Kersten , and Corina P\u0103s\u0103reanu . 2017 . Symbolic Complexity Analysis using Context-preserving Histories. In Software Testing , Verification and Validation (ICST), 2017 IEEE International Conference on. IEEE, 58\u201368 . Kasper Luckow, Rody Kersten, and Corina P\u0103s\u0103reanu. 2017. Symbolic Complexity Analysis using Context-preserving Histories. In Software Testing, Verification and Validation (ICST), 2017 IEEE International Conference on. IEEE, 58\u201368."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818863"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486862"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737966"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.50"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134073"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610393"},{"key":"e_1_3_2_1_28_1","volume-title":"Algorithms","author":"Sedgewick Robert","unstructured":"Robert Sedgewick and Kevin Wayne . 2011. Algorithms ( 4 th ed.). Addison-Wesley Professional . Robert Sedgewick and Kevin Wayne. 2011. Algorithms (4th ed.). Addison-Wesley Professional.","edition":"4"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-016-9402-4"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSAC.2006.17"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.41"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3168830"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/781995.782008"},{"key":"e_1_3_2_1_34_1","unstructured":"Vavr. {n. d.}. An object-functional language extension to Java 8. https:\/\/github. com\/vavr-io\/vavr.  Vavr. {n. d.}. An object-functional language extension to Java 8. https:\/\/github. com\/vavr-io\/vavr."},{"key":"e_1_3_2_1_35_1","unstructured":"Jiayi Wei. {n. d.}. Singularity DSL Documentation. https:\/\/github.com\/ MrVPlusOne\/Singularity\/blob\/develop\/doc\/GraphComponents.md.  Jiayi Wei. {n. d.}. Singularity DSL Documentation. https:\/\/github.com\/ MrVPlusOne\/Singularity\/blob\/develop\/doc\/GraphComponents.md."},{"key":"e_1_3_2_1_36_1","unstructured":"Jiayi Wei. {n. d.}. Singularity Github Repository. https:\/\/github.com\/MrVPlusOne\/ Singularity.  Jiayi Wei. {n. d.}. Singularity Github Repository. https:\/\/github.com\/MrVPlusOne\/ Singularity."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54580-5_1"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254074"}],"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.3236039","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236024.3236039","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236024.3236039","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:25Z","timestamp":1750208245000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3236039"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,26]]},"references-count":38,"alternative-id":["10.1145\/3236024.3236039","10.1145\/3236024"],"URL":"https:\/\/doi.org\/10.1145\/3236024.3236039","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"}}]}}