Finding and Understanding Incompleteness Bugs in SMT Solvers-Reference-Cited by-同舟云学术

Finding and Understanding Incompleteness Bugs in SMT Solvers

Published:2022-10-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering
language:
Short-container-title:

Author:

Bringolf Mauro¹^ORCID,Winterer Dominik²,Su Zhendong¹^ORCID

Affiliation:

1. ETH Zurich, Switzerland

2. Computer Science, ETH Zurich, Switzerland

Publisher

ACM

Link

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

Reference27 articles.

1. AdaCore. 2022. SPARK. Retrieved 2022-09-07 from https://github.com/AdaCore/spark2014 AdaCore. 2022. SPARK. Retrieved 2022-09-07 from https://github.com/AdaCore/spark2014

2. John Backes Pauline Bolignano Byron Cook Catherine Dodge Andrew Gacek Kasper Søe Luckow Neha Rungta Oksana Tkachuk and Carsten Varming. 2018. Semantic-based Automated Reasoning for AWS Access Policies using SMT. In FMCAD ’18. 1–9. John Backes Pauline Bolignano Byron Cook Catherine Dodge Andrew Gacek Kasper Søe Luckow Neha Rungta Oksana Tkachuk and Carsten Varming. 2018. Semantic-based Automated Reasoning for AWS Access Policies using SMT. In FMCAD ’18. 1–9.

3. Clark Barrett Pascal Fontaine and Cesare Tinelli. 2019. The Satisfiability Modulo Theories Library (SMT-LIB). Retrieved 2022-08-09 from www.SMT-LIB.org Clark Barrett Pascal Fontaine and Cesare Tinelli. 2019. The Satisfiability Modulo Theories Library (SMT-LIB). Retrieved 2022-08-09 from www.SMT-LIB.org

4. Clark Barrett Aaron Stump and Cesare Tinelli. 2010. The SMT-LIB Standard: Version 2.0. In SMT ’10. Clark Barrett Aaron Stump and Cesare Tinelli. 2010. The SMT-LIB Standard: Version 2.0. In SMT ’10.

5. Dmitry Blotsky Federico Mora Murphy Berzish Yunhui Zheng Ifaz Kabir and Vijay Ganesh. 2018. StringFuzz: A Fuzzer for String Solvers. In CAV ’18. 45–51. Dmitry Blotsky Federico Mora Murphy Berzish Yunhui Zheng Ifaz Kabir and Vijay Ganesh. 2018. StringFuzz: A Fuzzer for String Solvers. In CAV ’18. 45–51.

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

1. Diagnosis of package installation incompatibility via knowledge base;Science of Computer Programming;2024-07

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