Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sadykov, Rustam, Abdullin, Azat, Akhin, Marat
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation
by: Abdullin, Azat, et al.
Published: (2025)

Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler
by: Georgescu, Calin, et al.
Published: (2024)

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
by: Feng, Qiong, et al.
Published: (2025)

Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects
by: Feng, Nick, et al.
Published: (2024)

Refactoring Deep Learning Code: A Study of Practices and Unsatisfied Tool Needs
by: Wang, Siqi, et al.
Published: (2024)

SlsReuse: LLM-Powered Serverless Function Reuse
by: Wen, Jinfeng, et al.
Published: (2025)

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
by: Chakraborty, Saikat, et al.
Published: (2024)

Cargo Sherlock: An SMT-Based Checker for Software Trust Costs
by: Hassnain, Muhammad, et al.
Published: (2025)

Automated Verification of Silq Quantum Programs using SMT Solvers
by: Lewis, Marco, et al.
Published: (2024)

VeriODD: From YAML to SMT-LIB -- Automating Verification of Operational Design Domains
by: Rafie, Bassel, et al.
Published: (2025)

AutoMerge: Search-Based Model Merging Framework for Effective Model Reuse
by: Lu, You, et al.
Published: (2026)

Beyond Dependencies: The Role of Copy-Based Reuse in Open Source Software Development
by: Jahanshahi, Mahmoud, et al.
Published: (2024)

Drop the Golden Apples: Identifying Third-Party Reuse by DB-Less Software Composition Analysis
by: Zhang, Lyuye, et al.
Published: (2025)

SWE-Lego: Pushing the Limits of Supervised Fine-tuning for Software Issue Resolving
by: Tao, Chaofan, et al.
Published: (2026)

Tight Cache Contention Analysis for WCET Estimation on Multicore Systems
by: Zhao, Shuai, et al.
Published: (2025)

The Impact of Mutability on Cyclomatic Complexity in Java
by: Bagaev, Marat, et al.
Published: (2024)

Wired for Reuse: Automating Context-Aware Code Adaptation in IDEs via LLM-Based Agent
by: Wang, Taiming, et al.
Published: (2025)

Towards Sustainable and Secure Reuse in Dependency Supply Chains: Initial Analysis of NPM packages at the End of the Chain
by: Reid, Brittany Anne, et al.
Published: (2025)

Studying the Role of Reusing Crowdsourcing Knowledge in Software Development
by: Abdalkareem, Rabe
Published: (2025)

Skill-Adpative Imitation Learning for UI Test Reuse
by: Wu, Mengzhou, et al.
Published: (2024)

Dataset: Copy-based Reuse in Open Source Software
by: Jahanshahi, Mahmoud, et al.
Published: (2023)

On the Future of Software Reuse in the Era of AI Native Software Engineering
by: Taivalsaari, Antero, et al.
Published: (2025)

Investigating Code Reuse in Software Redesign: A Case Study
by: Zhang, Xiaowen, et al.
Published: (2026)

Reusing Deep Learning Models: Challenges and Directions in Software Engineering
by: Davis, James C., et al.
Published: (2024)

Enhancing Security in Third-Party Library Reuse -- Comprehensive Detection of 1-day Vulnerability through Code Patch Analysis
by: Xu, Shangzhi, et al.
Published: (2024)

Portus: Linking Alloy with SMT-based Finite Model Finding
by: Dancy, Ryan, et al.
Published: (2024)

Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode
by: Wang, Dingding, et al.
Published: (2025)

Quantum Circuit Ansatz: Patterns of Abstraction and Reuse of Quantum Algorithm Design
by: Guo, Xiaoyu, et al.
Published: (2024)

Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)
by: Antoniadis, Anastasios, et al.
Published: (2025)

On the Possibility of Breaking Copyleft Licenses When Reusing Code Generated by ChatGPT
by: Colombo, Gaia, et al.
Published: (2025)

Automation and Reuse Practices in GitHub Actions Workflows: A Practitioner's Perspective
by: Delicheh, Hassan Onsori, et al.
Published: (2026)

Exploring the Potential and Limitations of Large Language Models for Novice Program Fault Localization
by: Xu, Hexiang, et al.
Published: (2025)

A Systematic Study of Time Limit Exceeded Errors in Online Programming Assignments
by: Zhang, Jialu, et al.
Published: (2025)

From Release to Adoption: Challenges in Reusing Pre-trained AI Models for Downstream Developers
by: Banyongrakkul, Peerachai, et al.
Published: (2025)

Reusing Model Validation Methods for the Continuous Validation of Digital Twins of Cyber-Physical Systems
by: Mertens, Joost, et al.
Published: (2025)

Copy-and-Paste? Identifying EVM-Inequivalent Code Smells in Multi-chain Reuse Contracts
by: Wang, Zexu, et al.
Published: (2025)

Is Reuse All You Need? A Systematic Comparison of Regular Expression Composition Strategies
by: Çakar, Berk, et al.
Published: (2025)

How Do Java Developers Reuse StackOverflow Answers in Their GitHub Projects?
by: Chen, Juntong, et al.
Published: (2023)

Statistical Independence Aware Caching for LLM Workflows
by: Dai, Yihan, et al.
Published: (2025)

ReuseDroid: A VLM-empowered Android UI Test Migrator Boosted by Active Feedback
by: Li, Xiaolei, et al.
Published: (2025)