Validating SMT solvers via semantic fusion-Reference-Cited by-同舟云学术

Validating SMT solvers via semantic fusion

Published:2020-06-06 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Winterer Dominik¹,Zhang Chengyu²,Su Zhendong¹

Affiliation:

1. ETH Zurich, Switzerland

2. East China Normal University, China

Publisher

ACM

Link

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

Reference33 articles.

1. Clark Barrett Christopher L. Conway Morgan Deters Liana Hadarean Dejan Jovanović Tim King Andrew Reynolds and Cesare Tinelli. 2011. Clark Barrett Christopher L. Conway Morgan Deters Liana Hadarean Dejan Jovanović Tim King Andrew Reynolds and Cesare Tinelli. 2011.

2. CVC4. In CAV. 171–177. CVC4. In CAV. 171–177.

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

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

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

1. T-Rec: Fine-Grained Language-Agnostic Program Reduction Guided by Lexical Syntax;ACM Transactions on Software Engineering and Methodology;2024-08-30

2. SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories;Proceedings of the ACM on Programming Languages;2024-06-20

3. Fuzz4All: Universal Fuzzing with Large Language Models;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

4. Testing Constraint Checking Implementations via Principled Metamorphic Transformations;2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2024-03-12

5. Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-02-06