Automatically testing implementations of numerical abstract domains-Reference-Cited by-同舟云学术

Automatically testing implementations of numerical abstract domains

Published:2018-09-03 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering
language:
Short-container-title:

Author:

Bugariu Alexandra¹,Wüstholz Valentin¹,Christakis Maria²,Müller Peter¹

Affiliation:

1. ETH Zurich, Switzerland

2. MPI-SWS, Germany

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3238147.3240464

Reference50 articles.

1. {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.

2. {n. d.}. The Coq Proof Assistant. https://coq.inria.fr. {n. d.}. The Coq Proof Assistant. https://coq.inria.fr.

3. {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.

4. {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.

5. {n. d.}. KLEE Tutorial. http://klee.github.io/tutorials/testing-regex/. {n. d.}. KLEE Tutorial. http://klee.github.io/tutorials/testing-regex/.

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles;Proceedings of the ACM on Software Engineering;2024-07-12

2. Dependency-Aware Metamorphic Testing of Datalog Engines;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12

3. Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers;2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2022-04-02

4. Metamorphic testing of Datalog engines;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18

5. Testing Your (Static Analysis) Truths;Logic-Based Program Synthesis and Transformation;2021