Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees.

Nat Karmios, Sacha-lie Ayoun, Philippa Gardner

Browse the full TACAS paper archive.