Copertina

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Brablec, Tomáš, Dacík, Tomáš, Vojnar, Tomáš
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

RacerF: Data Race Detection with Frama-C (Competition Contribution)
di: Dacík, Tomáš, et al.
Pubblicazione: (2025)

RacerF: Lightweight Static Data Race Detection for C Code
di: Dacík, Tomáš, et al.
Pubblicazione: (2025)

Deciding Boolean Separation Logic via Small Models (Technical Report)
di: Dacík, Tomáš, et al.
Pubblicazione: (2024)

Algorithmic Details behind the Predator Shape Analyser
di: Dudka, Kamil, et al.
Pubblicazione: (2024)

The Microservice Dependency Matrix
di: Abdelfattah, Amr S., et al.
Pubblicazione: (2023)

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
di: Bouras, Dimitrios Stamatios, et al.
Pubblicazione: (2026)

Non Technical Debt in Agile Software Development
di: Ahmad, Muhammad Ovais, et al.
Pubblicazione: (2025)

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

Detecting Underspecification in Software Requirements via k-NN Coverage Geometry
di: Yang, Wenyan, et al.
Pubblicazione: (2026)

Generating Test Scenarios from NL Requirements using Retrieval-Augmented LLMs: An Industrial Study
di: Arora, Chetan, et al.
Pubblicazione: (2024)

Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming
di: Vašíček, Ondřej, et al.
Pubblicazione: (2024)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
di: Yang, Fanpeng, et al.
Pubblicazione: (2025)

S$^2$F: Principled Hybrid Testing With Fuzzing, Symbolic Execution, and Sampling
di: Wang, Lianjing, et al.
Pubblicazione: (2026)

Can Large Language Models Solve Path Constraints in Symbolic Execution?
di: Wang, Wenhan, et al.
Pubblicazione: (2025)

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

Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution
di: Yang, Shuo, et al.
Pubblicazione: (2024)

Multi-Pass Targeted Dynamic Symbolic Execution
di: Yavuz, Tuba
Pubblicazione: (2024)

Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic
di: Lee, Yeonseok
Pubblicazione: (2026)

Key Developer Roles and Organizational Coupling in Microservices: A Longitudinal Analysis
di: Li, Xiaozhou, et al.
Pubblicazione: (2026)

Semantic Dependency in Microservice Architecture: A Framework for Definition and Detection
di: Abdelfattah, Amr S., et al.
Pubblicazione: (2025)

Towards Change Impact Analysis in Microservices-based System Evolution
di: Cerny, Tomas, et al.
Pubblicazione: (2025)

Cilium and VDM -- Towards Formal Analysis of Cilium Policies
di: Kulik, Tomas, et al.
Pubblicazione: (2024)

Efficient Symbolic Execution of Software under Fault Attacks
di: Fang, Yuzhou, et al.
Pubblicazione: (2025)

Python Symbolic Execution with LLM-powered Code Generation
di: Wang, Wenhan, et al.
Pubblicazione: (2024)

NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution
di: Chen, Jiachi, et al.
Pubblicazione: (2025)

SseRex: Practical Symbolic Execution of Solana Smart Contracts
di: Cloosters, Tobias, et al.
Pubblicazione: (2026)

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery
di: Shafiuzzaman, Md, et al.
Pubblicazione: (2026)

Integrating Symbolic Execution into the Fine-Tuning of Code-Generating LLMs
di: Sakharova, Marina, et al.
Pubblicazione: (2025)

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

Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
di: Wojtak, Connor, et al.
Pubblicazione: (2025)

Toward Organizational Decoupling in Microservices Through Key Developer Allocation
di: Li, Xiaozhou, et al.
Pubblicazione: (2025)

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
di: Saumya, Charitha, et al.
Pubblicazione: (2023)

Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study
di: Töpfer, Michal, et al.
Pubblicazione: (2026)

Recommendations for Efficient and Responsible LLM Adoption within Industrial Software Development
di: Ronanki, Krishna, et al.
Pubblicazione: (2026)

Prioritizing Software Requirements Using Large Language Models
di: Sami, Malik Abdul, et al.
Pubblicazione: (2024)

A Tool for Test Case Scenarios Generation Using Large Language Models
di: Sami, Abdul Malik, et al.
Pubblicazione: (2024)

Finding Missing Input Validation in TEEs via LLM-Assisted Symbolic Execution
di: Ma, Chengyan, et al.
Pubblicazione: (2026)

Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
di: Feng, Rong, et al.
Pubblicazione: (2025)

SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
di: He, Ningyu, et al.
Pubblicazione: (2024)

Symetra: Visual Analytics for the Parameter Tuning Process of Symbolic Execution Engines
di: Hong, Donghee, et al.
Pubblicazione: (2026)