{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T02:28:38Z","timestamp":1770431318116,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,3]],"date-time":"2018-09-03T00:00:00Z","timestamp":1535932800000},"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":[[2018,9,3]]},"DOI":"10.1145\/3238147.3240464","type":"proceedings-article","created":{"date-parts":[[2018,8,20]],"date-time":"2018-08-20T20:04:36Z","timestamp":1534795476000},"page":"768-778","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Automatically testing implementations of numerical abstract domains"],"prefix":"10.1145","author":[{"given":"Alexandra","family":"Bugariu","sequence":"first","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentin","family":"W\u00fcstholz","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria","family":"Christakis","sequence":"additional","affiliation":[{"name":"MPI-SWS, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"M\u00fcller","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"{n. d.}. The APRON Library Documentation. http:\/\/apron.cri.ensmp.fr\/library\/0. 9.10\/apron.pdf.  {n. d.}. The APRON Library Documentation. http:\/\/apron.cri.ensmp.fr\/library\/0. 9.10\/apron.pdf."},{"key":"e_1_3_2_1_2_1","unstructured":"{n. d.}. The Coq Proof Assistant. https:\/\/coq.inria.fr.  {n. d.}. The Coq Proof Assistant. https:\/\/coq.inria.fr."},{"key":"e_1_3_2_1_3_1","volume-title":"d.}. ELINA Artifact (POPL","year":"2017","unstructured":"{n. d.}. ELINA Artifact (POPL 2017 ). https:\/\/www.sri.inf.ethz.ch\/optpoly.php. {n. d.}. ELINA Artifact (POPL 2017). https:\/\/www.sri.inf.ethz.ch\/optpoly.php."},{"key":"e_1_3_2_1_4_1","volume-title":"d.}. ELINA Artifact (POPL","year":"2018","unstructured":"{n. d.}. ELINA Artifact (POPL 2018 ). https:\/\/www.sri.inf.ethz.ch\/popl18-paper251. php. {n. d.}. ELINA Artifact (POPL 2018). https:\/\/www.sri.inf.ethz.ch\/popl18-paper251. php."},{"key":"e_1_3_2_1_5_1","unstructured":"{n. d.}. KLEE Tutorial. http:\/\/klee.github.io\/tutorials\/testing-regex\/.  {n. d.}. KLEE Tutorial. http:\/\/klee.github.io\/tutorials\/testing-regex\/."},{"key":"e_1_3_2_1_6_1","unstructured":"{n. d.}. LibFuzzer\u2014A Library for Coverage-Guided Fuzz Testing. https:\/\/llvm. org\/docs\/LibFuzzer.html.  {n. d.}. LibFuzzer\u2014A Library for Coverage-Guided Fuzz Testing. https:\/\/llvm. org\/docs\/LibFuzzer.html."},{"key":"e_1_3_2_1_7_1","volume-title":"\u201cWhitepaper","author":"Technical","unstructured":"{n. d.}. Technical \u201cWhitepaper \u201d for AFL. http:\/\/lcamtuf.coredump.cx\/afl\/ technical_details.txt. {n. d.}. Technical \u201cWhitepaper\u201d for AFL. http:\/\/lcamtuf.coredump.cx\/afl\/ technical_details.txt."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3088515.3088521"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393664"},{"key":"e_1_3_2_1_11_1","volume-title":"CAV (LNCS)","author":"Beyer Dirk","unstructured":"Dirk Beyer and M. Erkan Keremoglu . 2011. CPAchecker: A Tool for Configurable Software Verification . In CAV (LNCS) , Vol. 6806 . Springer , 184\u2013190. Dirk Beyer and M. Erkan Keremoglu. 2011. CPAchecker: A Tool for Configurable Software Verification. In CAV (LNCS), Vol. 6806. Springer, 184\u2013190."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781153"},{"key":"e_1_3_2_1_13_1","volume-title":"Engler","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , and Dawson R . Engler . 2008 . KLEE : Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In OSDI. USENIX , 209\u2013224. Cristian Cadar, Daniel Dunbar, and Dawson R. Engler. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In OSDI. USENIX, 209\u2013224."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11537328_2"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32759-9_13"},{"key":"e_1_3_2_1_16_1","unstructured":"Springer 132\u2013146.  Springer 132\u2013146."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46081-8_19"},{"key":"e_1_3_2_1_18_1","volume-title":"SAS (LNCS)","author":"Christakis Maria","unstructured":"Maria Christakis and Valentin W\u00fcstholz . 2016. Bounded Abstract Interpretation . In SAS (LNCS) , Vol. 9837 . Springer , 105\u2013125. Maria Christakis and Valentin W\u00fcstholz. 2016. Bounded Abstract Interpretation. In SAS (LNCS), Vol. 9837. Springer, 105\u2013125."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_20_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_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/567752.567778"},{"key":"e_1_3_2_1_23_1","volume-title":"PLILP (LNCS)","author":"Cousot Patrick","unstructured":"Patrick Cousot and Radhia Cousot . 1992. Comparing the Galois Connection and Widening\/Narrowing Approaches to Abstract Interpretation . In PLILP (LNCS) , Vol. 631 . Springer , 269\u2013295. Patrick Cousot and Radhia Cousot. 1992. Comparing the Galois Connection and Widening\/Narrowing Approaches to Abstract Interpretation. In PLILP (LNCS), Vol. 631. Springer, 269\u2013295."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512770"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28891-3_12"},{"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","volume-title":"FoVeOOS (LNCS)","author":"F\u00e4hndrich Manuel","unstructured":"Manuel F\u00e4hndrich and Francesco Logozzo . 2010. Static Contract Checking with Abstract Interpretation . In FoVeOOS (LNCS) , Vol. 6528 . Springer , 10\u201330. Manuel F\u00e4hndrich and Francesco Logozzo. 2010. Static Contract Checking with Abstract Interpretation. In FoVeOOS (LNCS), Vol. 6528. Springer, 10\u201330."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_47"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/11823230_3"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2012.11.003"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_52"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676966"},{"key":"e_1_3_2_1_34_1","volume-title":"Automatic testing of symbolic execution engines via program generation and differential testing","author":"Kapus Timotej","unstructured":"Timotej Kapus and Cristian Cadar . 2017. Automatic testing of symbolic execution engines via program generation and differential testing . In ASE. IEEE Computer Society , 590\u2013600. Timotej Kapus and Cristian Cadar. 2017. Automatic testing of symbolic execution engines via program generation and differential testing. In ASE. IEEE Computer Society, 590\u2013600."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594334"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814319"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2644805"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.04.004"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213847"},{"key":"e_1_3_2_1_41_1","volume-title":"QuickChecking Static Analysis Properties. Softw. Test. Verif. Reliab. 27, 6","author":"Midtgaard Jan","year":"2017","unstructured":"Jan Midtgaard and Anders M\u00f8ller . 2017. QuickChecking Static Analysis Properties. Softw. Test. Verif. Reliab. 27, 6 ( 2017 ). Jan Midtgaard and Anders M\u00f8ller. 2017. QuickChecking Static Analysis Properties. Softw. Test. Verif. Reliab. 27, 6 (2017)."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-006-8609-1"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"e_1_3_2_1_44_1","volume-title":"VMCAI (LNCS)","author":"Reps Thomas W.","unstructured":"Thomas W. Reps , Shmuel Sagiv , and Greta Yorsh . 2004. Symbolic Implementation of the Best Transformer . In VMCAI (LNCS) , Vol. 2937 . Springer , 252\u2013266. Thomas W. Reps, Shmuel Sagiv, and Greta Yorsh. 2004. Symbolic Implementation of the Best Transformer. In VMCAI (LNCS), Vol. 2937. Springer, 252\u2013266."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503293"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738000"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009885"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158143"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884879"},{"key":"e_1_3_2_1_51_1","volume-title":"ESOP (LNCS)","author":"Wei Shiyi","unstructured":"Shiyi Wei , Piotr Mardziel , Andrew Ruef , Jeffrey S. Foster , and Michael Hicks . 2018. Evaluating Design Tradeoffs in Numeric Static Analysis for Java . In ESOP (LNCS) , Vol. 10801 . Springer , 653\u2013682. Shiyi Wei, Piotr Mardziel, Andrew Ruef, Jeffrey S. Foster, and Michael Hicks. 2018. Evaluating Design Tradeoffs in Numeric Static Analysis for Java. In ESOP (LNCS), Vol. 10801. Springer, 653\u2013682."}],"event":{"name":"ASE '18: 33rd ACM\/IEEE International Conference on Automated Software Engineering","location":"Montpellier France","acronym":"ASE '18","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","CNRS Centre National De La Rechercue Scientifique","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3238147.3240464","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3238147.3240464","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:40Z","timestamp":1750210780000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3238147.3240464"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,3]]},"references-count":50,"alternative-id":["10.1145\/3238147.3240464","10.1145\/3238147"],"URL":"https:\/\/doi.org\/10.1145\/3238147.3240464","relation":{},"subject":[],"published":{"date-parts":[[2018,9,3]]},"assertion":[{"value":"2018-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}