Symbolic Debugging with Gillian. - Nat Karmios; Sacha-Élie Ayoun; Philippa Gardner (DEBT@ISSTA, 2023)

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Artifact). - Andreas Lööw; Daniele Nantes-Sobrinho; Sacha-Élie Ayoun; Caroline Cronjäger; Nat Karmios; Petar Maksimovic 001; Philippa Gardner (Dagstuhl Artifacts Ser., 2024)