Symbolic Execution

ROSA: A Knowledge-based Solution for Robot Self-Adaptation
Frontiers in Robotics and AI 12, 2025. To appear.
Cite DOI arXiv
ROSA: A Knowledge-based Solution for Robot Self-Adaptation
Compositional Symbolic Execution Semantics
Theoretical Computer Science 1044: 115263, 2025.
Preprint Cite DOI Artifact
Symbolic State Partitioning for Reinforcement Learning
Proc. FASE 2025. LNCS 15693. Springer 2025.
Preprint Cite DOI arXiv.org Artifact
Symbolic State Partitioning for Reinforcement Learning
Symbolic State Seeding Improves Coverage of Reinforcement Learning
Proc. SEAMS 2025. IEEE/ACM 2025. To appear.
Preprint Cite
Symbolic State Seeding Improves Coverage of Reinforcement Learning
Correct and Complete Symbolic Execution for Free
Proc. IFM 2024. LNCS 15234. Springer 2025.
Preprint Cite DOI
Denotational Semantics for Symbolic Execution
Proc. ICTAC 2023. LNCS 14446 Springer 2023.
Preprint Cite DOI Github Artifact
Compositional Correctness and Completeness for Symbolic Partial Order Reduction
Proc. CONCUR 2023. LIPIcs 2023.
Preprint Cite DOI Github Artifact
Symbolic Semantics for Probabilistic Programs
Proc. QEST 2023. LNCS 14287. Springer 2023.
Preprint Cite DOI Artifact
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages
Festschrift Maurizio Gabbrielli, 2020.
Preprint Cite DOI Artefact
SymPaths: Symbolic Execution Meets Partial Order Reduction
Deductive Software Verification: Future Perspectives. LNCS 12345, Springer 2020.
Preprint Cite DOI Artefact
Dynamic Symbolic Execution for Testing Distributed Objects
Proc. TAP 2009
Preprint Cite DOI