:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Beyer, Dirk, Chien, Po-Chun, Lee, Nian-Ze
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2403.07821
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
by: Beyer, Dirk, et al.
Published: (2022)

MoXIchecker: An Extensible Model Checker for MoXI
by: Ates, Salih, et al.
Published: (2024)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
by: Baier, Daniel, et al.
Published: (2024)

Software Model Checking via Summary-Guided Search (Extended Version)
by: Fang, Ruijie, et al.
Published: (2025)

Boosting End-to-End Database Isolation Checking via Mini-Transactions (Extended Version)
by: Wei, Hengfeng, et al.
Published: (2025)

Agentic Model Checking
by: Sun, Youcheng, et al.
Published: (2026)

Reusability and Modifiability in Robotics Software (Extended Version)
by: Pomponio, Laura, et al.
Published: (2024)

Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs)
by: Hennicker, Rolf, et al.
Published: (2024)

ProbTest: Unit Testing for Probabilistic Programs (Extended Version)
by: Christensen, Katrine, et al.
Published: (2025)

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

Online Discovery of Simulation Models for Evolving Business Processes (Extended Version)
by: Vinci, Francesco, et al.
Published: (2025)

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

PAT-Agent: Autoformalization for Model Checking
by: Zuo, Xinyue, et al.
Published: (2025)

Automated Repair of OpenID Connect Programs (Extended Version)
by: Rahat, Tamjid Al, et al.
Published: (2025)

Exploring Language Model's Code Generation Ability with Auxiliary Functions
by: Lee, Seonghyeon, et al.
Published: (2024)

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

Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models
by: Kräuter, Tim, et al.
Published: (2024)

A Case Study on Model Checking and Runtime Verification for Awkernel
by: Hasegawa, Akira, et al.
Published: (2025)

Systematic API Testing Through Model Checking and Executable Contracts
by: Ribeiro, Ana, et al.
Published: (2026)

Model-Checking the Implementation of Consent
by: Pardo, Raúl, et al.
Published: (2024)

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

Runtime Instrumentation for Reactive Components (Extended Version)
by: Aceto, Luca, et al.
Published: (2024)

Contract Based Program Models for Software Model Checking
by: Amilon, Jesper, et al.
Published: (2025)

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
by: Beyer, Dirk, et al.
Published: (2025)

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

Combining GPT and Code-Based Similarity Checking for Effective Smart Contract Vulnerability Detection
by: Zhang, Jango
Published: (2024)

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

A Task Taxonomy for Conformance Checking
by: Rehse, Jana-Rebecca, et al.
Published: (2025)

Evaluating Software Supply Chain Security in Research Software
by: Hegewald, Richard, et al.
Published: (2025)

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

Auxiliary Artifacts in Requirements Traceability: A Systematic Mapping Study
by: Abdeen, Waleed, et al.
Published: (2025)

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

OSM: Leveraging Model Checking for Observing Dynamic 1 behaviors in Aspect-Oriented Applications
by: AlSobeh, Anas
Published: (2024)

Analyzing and Debugging Normative Requirements via Satisfiability Checking
by: Feng, Nick, et al.
Published: (2024)

CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems
by: Harie, Yojiro, et al.
Published: (2024)

PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C
by: Orvalho, Pedro, et al.
Published: (2025)

Decide: Knowledge-Based Version Incompatibility Detection in Deep Learning Stacks
by: Zhou, Zihan, et al.
Published: (2024)

Eliciting Instruction-tuned Code Language Models' Capabilities to Utilize Auxiliary Function for Code Generation
by: Lee, Seonghyeon, et al.
Published: (2024)

Probabilistic Model Checking Taken by Storm
by: Volk, Matthias, et al.
Published: (2026)

Extending Delta Debugging Minimization for Spectrum-Based Fault Localization
by: Kapugama, Charaka Geethal
Published: (2026)