Imagen de Portada

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Brablec, Tomáš, Dacík, Tomáš, Vojnar, Tomáš
Formato:	Preprint
Publicado:	2026
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

The Microservice Dependency Matrix
por: Abdelfattah, Amr S., et al.
Publicado: (2023)

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

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

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

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

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

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

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

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

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

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

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

Multi-Pass Targeted Dynamic Symbolic Execution
por: Yavuz, Tuba
Publicado: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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