Detecting critical bugs in SMT solvers using blackbox mutational fuzzing-Reference-Cited by-同舟云学术

Detecting critical bugs in SMT solvers using blackbox mutational fuzzing

Published:2020-11-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Mansur Muhammad Numair¹,Christakis Maria¹,Wüstholz Valentin²,Zhang Fuyuan¹

Affiliation:

1. MPI-SWS, Germany

2. ConsenSys, Germany

Funder

German Research Foundation (DFG)

Publisher

ACM

Link

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

Reference46 articles.

1. [n.d.]. CREST: Concolic Test Generation Tool for C. http://www.burn.im/crest/. [n.d.]. CREST: Concolic Test Generation Tool for C. http://www.burn.im/crest/.

2. [n.d.]. DeltaSMT. http://fmv.jku.at/deltasmt. [n.d.]. DeltaSMT. http://fmv.jku.at/deltasmt.

3. [n.d.]. The International Satisfiability Modulo Theories Competition. https: //smt-comp.github.io. [n.d.]. The International Satisfiability Modulo Theories Competition. https: //smt-comp.github.io.

4. [n.d.]. The Satisfiability Modulo Theories Library. http://smtlib.cs.uiowa.edu. [n.d.]. The Satisfiability Modulo Theories Library. http://smtlib.cs.uiowa.edu.

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

1. SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

2. CaDiCaL 2.0;Lecture Notes in Computer Science;2024

3. Arithmetic Solving in Z3;Lecture Notes in Computer Science;2024

4. Speeding up SMT Solving via Compiler Optimization;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30

5. A systematic review of fuzzing;Soft Computing;2023-10-31