TY  - RPRT
TI  - Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
AU  - Nat Karmios
AU  - Sacha-Élie Ayoun
AU  - Philippa Gardner
PY  - 2026
UR  - https://arxiv.org/abs/2602.07742
ID  - 2602.07742
ER  -