[Artifact] Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Nat Karmios, Sacha Elie Ayoun, P. P. Gardner
DOI: 10.5281/zenodo.18311740
Cited by: 1

Abstract

Artifact for the tool paper "Gillian Debugging: Swinging through the (Compositional Symbolic Execution) Trees", in proceedings at TACAS 2026. See README.pdf for more information.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
20 January 2026
Language
EN