{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T21:57:26Z","timestamp":1790805446088,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,7,10]],"date-time":"2019-07-10T00:00:00Z","timestamp":1562716800000},"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":[[2019,7,10]]},"DOI":"10.1145\/3293882.3330555","type":"proceedings-article","created":{"date-parts":[[2019,7,11]],"date-time":"2019-07-11T12:13:31Z","timestamp":1562847211000},"page":"251-261","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":36,"title":["Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs"],"prefix":"10.1145","author":[{"given":"Michael","family":"Reif","sequence":"first","affiliation":[{"name":"TU Darmstadt, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Florian","family":"K\u00fcbler","sequence":"additional","affiliation":[{"name":"TU Darmstadt, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Eichberg","sequence":"additional","affiliation":[{"name":"TU Darmstadt, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dominik","family":"Helm","sequence":"additional","affiliation":[{"name":"TU Darmstadt, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mira","family":"Mezini","sequence":"additional","affiliation":[{"name":"TU Darmstadt, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"{Online; accessed 20-January-2019}. Doop\u2019s commit id: cdc59ce71d6510198da396cf6a7d20d73c6466d9.  {Online; accessed 20-January-2019}. Doop\u2019s commit id: cdc59ce71d6510198da396cf6a7d20d73c6466d9."},{"key":"e_1_3_2_1_2_1","unstructured":"{Online; accessed 20-January-2019}. OPAL\u2019s commit id: 3107c45c8a00de0e132691a6275d39b5a4aa415b.  {Online; accessed 20-January-2019}. OPAL\u2019s commit id: 3107c45c8a00de0e132691a6275d39b5a4aa415b."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_30"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39038-8_16"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44202-9_3"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2824234"},{"key":"e_1_3_2_1_7_1","volume-title":"Damien Octeau, and Patrick McDaniel.","author":"Arzt Steven","year":"2014"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594299"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/236338.236371"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.69"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167515.1167488"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985827"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/646153.679523"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"JB Dietrich Henrik Schole Li Sui and Ewan Tempero. 2017. XCorpus\u2013An executable Corpus of Java Programs. (2017).  JB Dietrich Henrik Schole Li Sui and Ewan Tempero. 2017. XCorpus\u2013An executable Corpus of Java Programs. (2017).","DOI":"10.5381\/jot.2017.16.4.a1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931021.2931023"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236454.3236509"},{"key":"e_1_3_2_1_17_1","unstructured":"Kotlin Foundation. {Online; accessed 24-August-2018}. Kotlin Language. https: \/\/kotlinlang.org\/.  Kotlin Foundation. {Online; accessed 24-August-2018}. Kotlin Language. https: \/\/kotlinlang.org\/."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213864"},{"key":"e_1_3_2_1_19_1","volume-title":"The Java Virtual Machine Specification","author":"Gosling J","year":"2018"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/506315.506316"},{"key":"e_1_3_2_1_21_1","unstructured":"Rich Hickey. {Online; accessed 24-August-2018}. Clojure Language.  Rich Hickey. {Online; accessed 24-August-2018}. Clojure Language."},{"key":"e_1_3_2_1_22_1","unstructured":"IBM. {Online; accessed 19-April-2018}. WALA - Static Analysis Framework for Java. http:\/\/wala.sourceforge.net\/.  IBM. {Online; accessed 19-April-2018}. WALA - Static Analysis Framework for Java. http:\/\/wala.sourceforge.net\/."},{"key":"e_1_3_2_1_23_1","unstructured":"Artima Inc. {Online; accessed 24-August-2018}. ScalaTest. http:\/\/www.scalatest. org\/.  Artima Inc. {Online; accessed 24-August-2018}. ScalaTest. http:\/\/www.scalatest. org\/."},{"key":"e_1_3_2_1_25_1","unstructured":"\u00c9cole Polytechnique F\u00e9d\u00e9rale Lausanne. {Online; accessed 24-August-2018}. Scala Language. https:\/\/www.scala-lang.org\/.  \u00c9cole Polytechnique F\u00e9d\u00e9rale Lausanne. {Online; accessed 24-August-2018}. Scala Language. https:\/\/www.scala-lang.org\/."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1251535.1251542"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765931.1765948"},{"key":"e_1_3_2_1_28_1","unstructured":"B. Livshits. {Online; accessed -August-2018}. SecuriBench Micro. https:\/\/suif. stanford.edu\/~livshits\/work\/securibench-micro\/.  B. Livshits. {Online; accessed -August-2018}. SecuriBench Micro. https:\/\/suif. stanford.edu\/~livshits\/work\/securibench-micro\/."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2644805"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814313"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/279310.279314"},{"key":"e_1_3_2_1_32_1","unstructured":"MvnRepository. {Online; accessed 15-July-2018}. Maven - Popular Projects.a. https:\/\/mvnrepository.com\/popular.  MvnRepository. {Online; accessed 15-July-2018}. Maven - Popular Projects.a. https:\/\/mvnrepository.com\/popular."},{"key":"e_1_3_2_1_33_1","unstructured":"The Apache Groovy project. {Online; accessed 24-August-2018}. Groovy Language. http:\/\/groovy-lang.org\/.  The Apache Groovy project. {Online; accessed 24-August-2018}. Groovy Language. http:\/\/groovy-lang.org\/."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950312"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3088515.3088523"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236454.3236503"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/960116.54007"},{"key":"e_1_3_2_1_38_1","unstructured":"Yannis Smaragdakis. {Online; accessed 23-August-2018}. DOOP - Framework for Java Pointer and Taint Analysis. https:\/\/bitbucket.org\/yanniss\/doop\/.  Yannis Smaragdakis. {Online; accessed 23-August-2018}. DOOP - Framework for Java Pointer and Taint Analysis. https:\/\/bitbucket.org\/yanniss\/doop\/."},{"key":"e_1_3_2_1_39_1","unstructured":"Yannis Smaragdakis. {Online; accessed 23-August-2018}. DOOP Benchmarks. https:\/\/bitbucket.org\/yanniss\/doop-benchmarks\/.  Yannis Smaragdakis. {Online; accessed 23-August-2018}. DOOP Benchmarks. https:\/\/bitbucket.org\/yanniss\/doop-benchmarks\/."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-26529-2_26"},{"key":"e_1_3_2_1_41_1","volume-title":"Karim Ali, and Eric Bodden.","author":"Sp\u00e4th Johannes","year":"2016"},{"key":"e_1_3_2_1_42_1","volume-title":"On the Soundness of Call Graph Construction in the Presence of Dynamic Language Features-A Benchmark and Tool Evaluation. In Asian Symposium on Programming Languages and Systems. Springer, 69\u201388","author":"Sui Li","year":"2018"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/354222.353189"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2010.46"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2507288.2507314"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/354222.353190"}],"event":{"name":"ISSTA '19: 28th ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Beijing China","acronym":"ISSTA '19","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3293882.3330555","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3293882.3330555","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:43:50Z","timestamp":1750207430000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3293882.3330555"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,10]]},"references-count":45,"alternative-id":["10.1145\/3293882.3330555","10.1145\/3293882"],"URL":"https:\/\/doi.org\/10.1145\/3293882.3330555","relation":{},"subject":[],"published":{"date-parts":[[2019,7,10]]},"assertion":[{"value":"2019-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}