{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:07:58Z","timestamp":1750306078725,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T00:00:00Z","timestamp":1497744000000},"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":[[2017,6,18]]},"DOI":"10.1145\/3088515.3088520","type":"proceedings-article","created":{"date-parts":[[2017,6,9]],"date-time":"2017-06-09T17:40:22Z","timestamp":1497030022000},"page":"37-42","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["On the construction of soundness oracles"],"prefix":"10.1145","author":[{"given":"Jens","family":"Dietrich","sequence":"first","affiliation":[{"name":"Massey University, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li","family":"Sui","sequence":"additional","affiliation":[{"name":"Massey University, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shawn","family":"Rasheed","sequence":"additional","affiliation":[{"name":"Massey University, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amjed","family":"Tahir","sequence":"additional","affiliation":[{"name":"Massey University, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Java Compiler API","author":"JSR","year":"2006","unstructured":"JSR 199 : Java Compiler API , 2006 . https:\/\/jcp.org\/en\/ jsr\/detail?id=199 {accessed 12 March 17}. JSR 199: Java Compiler API, 2006. https:\/\/jcp.org\/en\/ jsr\/detail?id=199 {accessed 12 March 17}."},{"key":"e_1_3_2_1_2_1","volume-title":"Scripting for the Java Platform","author":"JSR","year":"2006","unstructured":"JSR 223 : Scripting for the Java Platform , 2006 . https: \/\/jcp.org\/en\/jsr\/detail?id=223 {accessed 12 March 17}. JSR 223: Scripting for the Java Platform, 2006. https: \/\/jcp.org\/en\/jsr\/detail?id=223 {accessed 12 March 17}."},{"key":"e_1_3_2_1_3_1","volume-title":"Test-driven development: by example","author":"Beck Kent","year":"2003","unstructured":"Kent Beck . Test-driven development: by example . Addison-Wesley Professional , 2003 . Kent Beck. Test-driven development: by example. Addison-Wesley Professional, 2003."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167488"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2259051.2259059"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985827"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640108"},{"key":"e_1_3_2_1_8_1","volume-title":"XCorpus An executable Corpus of Java Programs","author":"Dietrich Jens","year":"2017","unstructured":"Jens Dietrich , Henrik Schole , Li Sui , and Ewan Tempero . XCorpus An executable Corpus of Java Programs , 2017 . Jens Dietrich, Henrik Schole, Li Sui, and Ewan Tempero. XCorpus An executable Corpus of Java Programs, 2017."},{"key":"e_1_3_2_1_9_1","unstructured":"https:\/\/goo.gl\/kGk7x3 {preprint accessed 16 March 17}.  https:\/\/goo.gl\/kGk7x3 {preprint accessed 16 March 17}."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings WODA\u201903","author":"Ernst Michael D","year":"2003","unstructured":"Michael D Ernst . Static and dynamic analysis: Synergy and duality . In Proceedings WODA\u201903 , 2003 . Michael D Ernst. Static and dynamic analysis: Synergy and duality. In Proceedings WODA\u201903, 2003."},{"key":"e_1_3_2_1_11_1","volume-title":"Inversion of control containers and the dependency injection pattern","author":"Fowler Martin","year":"2004","unstructured":"Martin Fowler . Inversion of control containers and the dependency injection pattern , 2004 . https:\/\/martinfowler. com\/articles\/injection.html {accessed 12 March 17}. Martin Fowler. Inversion of control containers and the dependency injection pattern, 2004. https:\/\/martinfowler. com\/articles\/injection.html {accessed 12 March 17}."},{"key":"e_1_3_2_1_12_1","volume-title":"Pearson Education","author":"Fowler Martin","year":"2010","unstructured":"Martin Fowler . Domain-specific languages . Pearson Education , 2010 . Martin Fowler. Domain-specific languages. Pearson Education, 2010."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"key":"e_1_3_2_1_14_1","volume-title":"ysoserial \u2013 A proof-of-concept tool for generating payloads that exploit unsafe Java object deserialization","author":"Frohoff Chris","year":"2016","unstructured":"Chris Frohoff . ysoserial \u2013 A proof-of-concept tool for generating payloads that exploit unsafe Java object deserialization , 2016 . Chris Frohoff. ysoserial \u2013 A proof-of-concept tool for generating payloads that exploit unsafe Java object deserialization, 2016."},{"key":"e_1_3_2_1_15_1","unstructured":"https:\/\/github.com\/frohoff\/ysoserial {accessed 16 March 17}.  https:\/\/github.com\/frohoff\/ysoserial {accessed 16 March 17}."},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings ECOOP\u201916","author":"Jezek Kamil","year":"2016","unstructured":"Kamil Jezek and Jens Dietrich . Magic with dynamo\u2013flexible cross-component linking for java with invokedynamic . In Proceedings ECOOP\u201916 . Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik , 2016 . Kamil Jezek and Jens Dietrich. Magic with dynamo\u2013flexible cross-component linking for java with invokedynamic. In Proceedings ECOOP\u201916. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2016."},{"key":"e_1_3_2_1_17_1","volume-title":"The metamorphosis","author":"Kafka Franz","year":"2015","unstructured":"Franz Kafka . The metamorphosis . WW Norton & Company , 2015 . Franz Kafka. The metamorphosis. WW Norton & Company, 2015."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.53"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2644805"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/11575467_11"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814313"},{"key":"e_1_3_2_1_23_1","volume-title":"Tutorial: software testing &amp","author":"Miller Edward","year":"1981","unstructured":"Edward Miller and William E Howden . Tutorial: software testing &amp ; validation techniques. IEEE Computer Society Press , 1981 . Edward Miller and William E Howden. Tutorial: software testing & validation techniques. IEEE Computer Society Press, 1981."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297902"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-26529-2_26"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048145"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792786.1792798"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings CASCON\u201999","author":"Vall\u00e9e-Rai Raja","year":"1999","unstructured":"Raja Vall\u00e9e-Rai , Phong Co , Etienne Gagnon , Laurie Hendren , Patrick Lam , and Vijay Sundaresan . Soot-a java bytecode optimization framework . In Proceedings CASCON\u201999 . IBM, 1999 . Raja Vall\u00e9e-Rai, Phong Co, Etienne Gagnon, Laurie Hendren, Patrick Lam, and Vijay Sundaresan. Soot-a java bytecode optimization framework. In Proceedings CASCON\u201999. IBM, 1999."}],"event":{"name":"PLDI '17: ACM SIGPLAN Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Barcelona Spain","acronym":"PLDI '17"},"container-title":["Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3088515.3088520","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3088515.3088520","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:07Z","timestamp":1750217407000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3088515.3088520"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,18]]},"references-count":28,"alternative-id":["10.1145\/3088515.3088520","10.1145\/3088515"],"URL":"https:\/\/doi.org\/10.1145\/3088515.3088520","relation":{},"subject":[],"published":{"date-parts":[[2017,6,18]]},"assertion":[{"value":"2017-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}