{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,5]],"date-time":"2026-07-05T21:52:37Z","timestamp":1783288357060,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":60,"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"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["389792660"],"award-info":[{"award-number":["389792660"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,7,10]]},"DOI":"10.1145\/3293882.3330553","type":"proceedings-article","created":{"date-parts":[[2019,7,11]],"date-time":"2019-07-11T12:13:31Z","timestamp":1562847211000},"page":"239-250","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":30,"title":["Differentially testing soundness and precision of program analyzers"],"prefix":"10.1145","author":[{"given":"Christian","family":"Klinger","sequence":"first","affiliation":[{"name":"Saarland University, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maria","family":"Christakis","sequence":"additional","affiliation":[{"name":"MPI-SWS, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Valentin","family":"W\u00fcstholz","sequence":"additional","affiliation":[{"name":"ConsenSys Diligence, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,7,10]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"3","article-title":"Experimental Evaluation of Numerical Domains for Inferring Ranges","volume":"334","author":"Amato Gianluca","year":"2018","journal-title":"ENTCS"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3088515.3088521"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378846"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11804192_17"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"e_1_3_2_1_6_1","volume-title":"Jensen","author":"Besson Fr\u00e9d\u00e9ric","year":"2013"},{"key":"e_1_3_2_1_7_1","unstructured":"Dirk Beyer. 2017. Competition on Software Verification (SV-COMP). https:\/\/svcomp.sosy-lab.org.  Dirk Beyer. 2017. Competition on Software Verification (SV-COMP). https:\/\/svcomp.sosy-lab.org."},{"key":"e_1_3_2_1_8_1","volume-title":"CAV (LNCS)","author":"Beyer Dirk"},{"key":"e_1_3_2_1_9_1","volume-title":"SAS (LNCS)","author":"Blazy Sandrine"},{"key":"e_1_3_2_1_10_1","volume-title":"VMCAI (LNCS)","author":"Bradley Aaron R."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3240464"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970347"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46081-8_19"},{"key":"e_1_3_2_1_14_1","volume-title":"TACAS (LNCS)","author":"Clarke Edmund M."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2008.7"},{"key":"e_1_3_2_1_16_1","unstructured":"Patrick Cousot and Radhia Cousot. 1976. Static Determination of Dynamic Properties of Programs. In ISOP. Dunod 106\u2013130.  Patrick Cousot and Radhia Cousot. 1976. Static Determination of Dynamic Properties of Programs. In ISOP. Dunod 106\u2013130."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/567752.567778"},{"key":"e_1_3_2_1_19_1","volume-title":"PLILP (LNCS)","author":"Cousot Patrick"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512770"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28891-3_12"},{"key":"e_1_3_2_1_22_1","volume-title":"TACAS (LNCS)","author":"de Moura Leonardo"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106307"},{"key":"e_1_3_2_1_24_1","volume-title":"LAVA: Large-Scale Automated Vulnerability Addition. In S&amp","author":"Dolan-Gavitt Brendan","year":"2016"},{"key":"e_1_3_2_1_25_1","volume-title":"SAS (LNCS)","author":"Donaldson Alastair F."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/646527.695035"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502041"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49122-5_4"},{"key":"e_1_3_2_1_29_1","volume-title":"Stuckey","author":"Gange Graeme","year":"2016"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33125-1_18"},{"key":"e_1_3_2_1_31_1","volume-title":"CAV (LNCS)","author":"Graf Susanne"},{"key":"e_1_3_2_1_32_1","volume-title":"Navas","author":"Gurfinkel Arie","year":"2015"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238213"},{"key":"e_1_3_2_1_34_1","volume-title":"TACAS (LNCS)","volume":"10806","author":"Heizmann Matthias","year":"2018"},{"key":"e_1_3_2_1_35_1","unstructured":"Springer 447\u2013451.  Springer 447\u2013451."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_2"},{"key":"e_1_3_2_1_37_1","unstructured":"Springer 36\u201352.  Springer 36\u201352."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503279"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676966"},{"key":"e_1_3_2_1_40_1","volume-title":"Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing","author":"Kapus Timotej"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_2"},{"key":"e_1_3_2_1_42_1","volume-title":"Clarke","author":"Komuravelli Anvesh","year":"2013"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_32"},{"key":"e_1_3_2_1_44_1","volume-title":"Adve","author":"Lattner Chris","year":"2004"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594334"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814319"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869494"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737986"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2644805"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213847"},{"key":"e_1_3_2_1_51_1","volume-title":"SAS (LNCS)","author":"Midtgaard Jan"},{"key":"e_1_3_2_1_52_1","volume-title":"Verif. Reliab. 27","author":"Midtgaard Jan","year":"2017"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-006-8609-1"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2012.10.008"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_7"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503293"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"crossref","volume-title":"Views on Internal and External Validity in Empirical Software Engineering","author":"Siegmund Janet","DOI":"10.1109\/ICSE.2015.24"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03237-0_15"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884879"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491439"}],"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.3330553","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3293882.3330553","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.3330553"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,10]]},"references-count":60,"alternative-id":["10.1145\/3293882.3330553","10.1145\/3293882"],"URL":"https:\/\/doi.org\/10.1145\/3293882.3330553","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"}}]}}