Symbolic Execution

Denotational Semantics for Symbolic Execution
Proc. ICTAC 2023. LNCS 14446 Springer 2023.
PDF Cite DOI Github Artifact
Compositional Correctness and Completeness for Symbolic Partial Order Reduction
Proc. CONCUR 2023. LIPIcs 2023.
PDF Cite DOI Github Artifact
Symbolic Semantics for Probabilistic Programs
Proc. QEST 2023. LNCS 14287. Springer 2023.
PDF Cite DOI Artifact
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages
Festschrift Maurizio Gabbrielli, 2020.
PDF Cite DOI Artefact
SymPaths: Symbolic Execution Meets Partial Order Reduction
Deductive Software Verification: Future Perspectives. LNCS 12345, Springer 2020.
PDF Cite DOI Artefact