Copertina

Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Hennicker, Rolf, Knapp, Alexander, Wirsing, Martin
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Possible Value Analysis based on Symbolic Lattice
di: Zhan, Qi
Pubblicazione: (2024)

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

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

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

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

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

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

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
di: Brablec, Tomáš, et al.
Pubblicazione: (2026)

Program Analysis Guided LLM Agent for Proof-of-Concept Generation
di: Desai, Achintya, et al.
Pubblicazione: (2026)