{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T07:08:34Z","timestamp":1750748914753},"reference-count":46,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/ase.2017.8115697","type":"proceedings-article","created":{"date-parts":[[2017,11,23]],"date-time":"2017-11-23T22:03:57Z","timestamp":1511474637000},"source":"Crossref","is-referenced-by-count":31,"title":["Automatically reducing tree-structured test inputs"],"prefix":"10.1109","author":[{"given":"Satia","family":"Herfert","sequence":"first","affiliation":[]},{"given":"Jibesh","family":"Patra","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Pradel","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786846"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001447"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.27"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240292"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/587052.587053"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516703"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101948"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/93548.93576"},{"key":"ref35","first-page":"439","article-title":"Program slicing","author":"weiser","year":"1981","journal-title":"Proceedings of the 5th International Conference on Software Engineering"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1995.497652"},{"key":"ref10","author":"shinyama","year":"2014","journal-title":"PDFMiner"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993550"},{"key":"ref11","year":"2017","journal-title":"iText PDF"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/PST.2012.6297926"},{"key":"ref13","year":"2017","journal-title":"Hindawi XML Corpus"},{"key":"ref14","year":"2017","journal-title":"The XML C parser and toolkit of Gnome"},{"key":"ref15","year":"2017","journal-title":"GCOV-a Test Coverage Program"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.5220\/0005988602410248"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2994291.2994296"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453114"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390662"},{"key":"ref28","article-title":"Automated whitebox fuzz testing","author":"godefroid","year":"2008","journal-title":"Network and Distributed System Security Symposium (NDSS)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2345156.2254104"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287651"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134307"},{"key":"ref6","article-title":"Learning to fuzz: Application-independent fuzz testing with probabilistic, generative models of input data","author":"patra","year":"2016","journal-title":"TU Darmstadt Department of Computer Science Tech Rep"},{"key":"ref29","article-title":"Flax: Systematic discovery of client-side validation vulnerabilities in rich web applications","author":"saxena","year":"2010","journal-title":"NDSS"},{"key":"ref5","year":"2017","journal-title":"Python AST library"},{"key":"ref8","year":"2016","journal-title":"Learning from “Big Code”"},{"key":"ref7","author":"hidayat","year":"2017","journal-title":"Esprima"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"key":"ref9","author":"parkour","year":"2011","journal-title":"Contagio Malware Dump"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(85)80054-7"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062349"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572301"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970321"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375607"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2005.55"},{"key":"ref42","first-page":"10","article-title":"Minimization of randomized unit test cases","author":"lei","year":"2005","journal-title":"Software Reliability Engineering 2005 ISSRE 2005 16th IEEE International Symposium on"},{"key":"ref24","first-page":"445","article-title":"Fuzzing with code fragments","author":"holler","year":"2012","journal-title":"USENIX Security Symposium"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321698"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070546"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970361"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737986"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.37"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1145\/2594291.2594334","article-title":"Compiler validation via equivalence modulo inputs","author":"le","year":"2014","journal-title":"ACM SIGPLAN'97 Conf on Programming Language Design and Implementation PLDI"}],"event":{"name":"2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)","location":"Urbana, IL","start":{"date-parts":[[2017,10,30]]},"end":{"date-parts":[[2017,11,3]]}},"container-title":["2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8106906\/8115603\/08115697.pdf?arnumber=8115697","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,8]],"date-time":"2022-08-08T05:53:50Z","timestamp":1659938030000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8115697\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":46,"URL":"https:\/\/doi.org\/10.1109\/ase.2017.8115697","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}