:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Hennicker, Rolf, Knapp, Alexander, Wirsing, Martin
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering
Acceso en línea:	https://arxiv.org/abs/2408.01115
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems
por: Karakaya, Kadiray, et al.
Publicado: (2024)

PVAC: Package Version Activity Categorizer, Leveraging Semantic Versioning in a Heterogeneous System
por: Panter, Shane K., et al.
Publicado: (2024)

Augmenting Interpolation-Based Model Checking with Auxiliary Invariants (Extended Version)
por: Beyer, Dirk, et al.
Publicado: (2024)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
por: Tempel, Sören, et al.
Publicado: (2024)

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

PauliEngine: High-Performant Symbolic Arithmetic for Quantum Operations
por: Müller, Leon, et al.
Publicado: (2026)

Unlocking the Power of Environment Assumptions for Unit Proofs
por: Priya, Siddharth, et al.
Publicado: (2024)

AOCI: Symbolic-Semantic Indexing for Practical Repository-Scale Code Understanding with LLMs
por: Liu, Jinshi, et al.
Publicado: (2026)

Can LLMs Recover Program Semantics? A Systematic Evaluation with Symbolic Execution
por: Feng, Rong, et al.
Publicado: (2025)

PS$^3$: Precise Patch Presence Test based on Semantic Symbolic Signature
por: Zhan, Qi, et al.
Publicado: (2023)

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

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

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

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

Towards Semantic Versioning of Open Pre-trained Language Model Releases on Hugging Face
por: Ajibode, Adekunle, et al.
Publicado: (2024)

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

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

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

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

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

Galapagos: Automated N-Version Programming with LLMs
por: Ron, Javier, et al.
Publicado: (2024)

Beyond Monolithic Models: Symbolic Seams for Composable Neuro-Symbolic Architectures
por: Schuler, Nicolas, et al.
Publicado: (2026)

Highly Available Blockchain Nodes With N-Version Design
por: Ron, Javier, et al.
Publicado: (2023)

On the Generalizability of Deep Learning-based Code Completion Across Programming Language Versions
por: Ciniselli, Matteo, et al.
Publicado: (2024)

Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles
por: Molinelli, Davide, et al.
Publicado: (2025)

Extending Lifetime of Embedded Systems by WebAssembly-based Functional Extensions Including Drivers
por: Seidler, Maximilian, et al.
Publicado: (2025)

Selene: Pioneering Automated Proof in Software Verification
por: Zhang, Lichen, et al.
Publicado: (2024)

Towards Operation Proof Obligation Generation for VDM
por: Battle, Nick, et al.
Publicado: (2025)

Combining Tests and Proofs for Better Software Verification
por: Huang, Li, et al.
Publicado: (2026)

Teaching LLMs Program Semantics via Symbolic Execution Traces
por: Bayer, Jonas, et al.
Publicado: (2026)

Possible Value Analysis based on Symbolic Lattice
por: Zhan, Qi
Publicado: (2024)

Scaling Symbolic Execution to Large Software Systems
por: Horvath, Gabor, et al.
Publicado: (2024)

Semantic Capability Model for the Simulation of Manufacturing Processes
por: Reif, Jonathan, et al.
Publicado: (2024)

CoqPyt: Proof Navigation in Python in the Era of LLMs
por: Carrott, Pedro, et al.
Publicado: (2024)

LLMs in Code Vulnerability Analysis: A Proof of Concept
por: Sultana, Shaznin, et al.
Publicado: (2026)

ProofWright: Towards Agentic Formal Verification of CUDA
por: Chatterjee, Bodhisatwa, et al.
Publicado: (2025)

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)
por: Deng, Haotian, et al.
Publicado: (2025)

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
por: Granberry, George, et al.
Publicado: (2025)