SMT2Test: From SMT Formulas to Effective Test Cases
One of the primary challenges in software testing is generating high-quality test inputs and
obtaining corresponding test oracles. This paper introduces a novel methodology to mitigate …
obtaining corresponding test oracles. This paper introduces a novel methodology to mitigate …
SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories
B Mikek, Q Zhang - Proceedings of the ACM on Programming …, 2024 - dl.acm.org
SMT solvers are foundational tools for reasoning about constraints in practical problems
both within and outside program analysis. Faster SMT solving improves the performance of …
both within and outside program analysis. Faster SMT solving improves the performance of …
MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation
Self‐adaptive applications are becoming increasingly attractive, with the ability to smartly
understand their runtime environments (or contexts) and deliver adaptive services, for …
understand their runtime environments (or contexts) and deliver adaptive services, for …
[PDF][PDF] Faster SMT Solving via Constraint Transformation
B Mikek, Q Zhang - 2023 - mikekben.github.io
Faster SMT Solving via Constraint Transformation Page 1 Faster SMT Solving via Constraint
Transformation Benjamin Mikek, Qirun Zhang Georgia Institute of Technology 14 October 2023 Page …
Transformation Benjamin Mikek, Qirun Zhang Georgia Institute of Technology 14 October 2023 Page …