Buchumschlag

Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Beyer, Dirk, Chien, Po-Chun, Lee, Nian-Ze
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
von: Beyer, Dirk, et al.
Veröffentlicht: (2022)

MoXIchecker: An Extensible Model Checker for MoXI
von: Ates, Salih, et al.
Veröffentlicht: (2024)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
von: Baier, Daniel, et al.
Veröffentlicht: (2024)

Software Model Checking via Summary-Guided Search (Extended Version)
von: Fang, Ruijie, et al.
Veröffentlicht: (2025)

Boosting End-to-End Database Isolation Checking via Mini-Transactions (Extended Version)
von: Wei, Hengfeng, et al.
Veröffentlicht: (2025)

Agentic Model Checking
von: Sun, Youcheng, et al.
Veröffentlicht: (2026)

Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs)
von: Hennicker, Rolf, et al.
Veröffentlicht: (2024)

ProbTest: Unit Testing for Probabilistic Programs (Extended Version)
von: Christensen, Katrine, et al.
Veröffentlicht: (2025)

Reusability and Modifiability in Robotics Software (Extended Version)
von: Pomponio, Laura, et al.
Veröffentlicht: (2024)

Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings (Extended Version)
von: Müller, Robert, et al.
Veröffentlicht: (2024)

Formal Verification of Legal Contracts: A Translation-based Approach (Extended Version)
von: Hähnle, Reiner, et al.
Veröffentlicht: (2025)

PAT-Agent: Autoformalization for Model Checking
von: Zuo, Xinyue, et al.
Veröffentlicht: (2025)

Online Discovery of Simulation Models for Evolving Business Processes (Extended Version)
von: Vinci, Francesco, et al.
Veröffentlicht: (2025)

Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models
von: Kräuter, Tim, et al.
Veröffentlicht: (2024)

A Case Study on Model Checking and Runtime Verification for Awkernel
von: Hasegawa, Akira, et al.
Veröffentlicht: (2025)

Systematic API Testing Through Model Checking and Executable Contracts
von: Ribeiro, Ana, et al.
Veröffentlicht: (2026)

Automated Repair of OpenID Connect Programs (Extended Version)
von: Rahat, Tamjid Al, et al.
Veröffentlicht: (2025)

Accurate and Noise-Tolerant Extraction of Routine Logs in Robotic Process Automation (Extended Version)
von: de Leoni, Massimiliano, et al.
Veröffentlicht: (2025)

Exploring Language Model's Code Generation Ability with Auxiliary Functions
von: Lee, Seonghyeon, et al.
Veröffentlicht: (2024)

Combining GPT and Code-Based Similarity Checking for Effective Smart Contract Vulnerability Detection
von: Zhang, Jango
Veröffentlicht: (2024)

A MAPE-K-Based Method for Architectural Conformance Checking in Self-Adaptive Systems
von: Martín, Daniel San, et al.
Veröffentlicht: (2024)

Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
von: Schwarz, Michael, et al.
Veröffentlicht: (2025)

Model-Checking the Implementation of Consent
von: Pardo, Raúl, et al.
Veröffentlicht: (2024)

A Task Taxonomy for Conformance Checking
von: Rehse, Jana-Rebecca, et al.
Veröffentlicht: (2025)

WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+
von: Läufer, Konstantin, et al.
Veröffentlicht: (2024)

Auxiliary Artifacts in Requirements Traceability: A Systematic Mapping Study
von: Abdeen, Waleed, et al.
Veröffentlicht: (2025)

MIO: Multiverse Debugging in the Face of Input/Output -- Extended Version with Additional Appendices
von: Lauwaerts, Tom, et al.
Veröffentlicht: (2025)

OSM: Leveraging Model Checking for Observing Dynamic 1 behaviors in Aspect-Oriented Applications
von: AlSobeh, Anas
Veröffentlicht: (2024)

Runtime Instrumentation for Reactive Components (Extended Version)
von: Aceto, Luca, et al.
Veröffentlicht: (2024)

Contract Based Program Models for Software Model Checking
von: Amilon, Jesper, et al.
Veröffentlicht: (2025)

Decide: Knowledge-Based Version Incompatibility Detection in Deep Learning Stacks
von: Zhou, Zihan, et al.
Veröffentlicht: (2024)

CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems
von: Harie, Yojiro, et al.
Veröffentlicht: (2024)

Analyzing and Debugging Normative Requirements via Satisfiability Checking
von: Feng, Nick, et al.
Veröffentlicht: (2024)

Keeping Deep Learning Models in Check: A History-Based Approach to Mitigate Overfitting
von: Li, Hao, et al.
Veröffentlicht: (2024)

Extending Delta Debugging Minimization for Spectrum-Based Fault Localization
von: Kapugama, Charaka Geethal
Veröffentlicht: (2026)

A Universal Textual Merge Strategy Based on Tokens for Version Control Systems
von: Gu, Qiqi Jason, et al.
Veröffentlicht: (2026)

Fault-Tolerant Design and Multi-Objective Model Checking for Real-Time Deep Reinforcement Learning Systems
von: Su, Guoxin, et al.
Veröffentlicht: (2026)

Invariant-Driven Automated Testing
von: Ribeiro, Ana Catarina
Veröffentlicht: (2026)

Invariant-based Program Repair
von: Al-Bataineh, Omar I.
Veröffentlicht: (2023)

Evaluating Software Supply Chain Security in Research Software
von: Hegewald, Richard, et al.
Veröffentlicht: (2025)