most citedCache-a-lot: Pushing the Limits of Unsatisfiable Core Reuse in SMT-Based Program Analysis

2 citations · 2 across the 1 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2025★ 2 cited

Cache-a-lot: Pushing the Limits of Unsatisfiable Core Reuse in SMT-Based Program Analysis

Rustam Sadykov, Azat Abdullin, Marat Akhin

Satisfiability Modulo Theories (SMT) solvers are integral to program analysis techniques like concolic and symbolic execution, where they help assess the satisfiability of logical…