DEBT 2023 – Proceedings

1st ACM International Workshop on Future Debugging Techniques (DEBT 2023)

Frontmatter

Tools and Demonstrations

Symbolic Debugging with Gillian
Nat Karmios, Sacha-Élie Ayoun, and Philippa Gardner
(Imperial College London, UK)

Publisher's Version

Out-of-Place Debugging on Constraint Devices with the EDWARD Debugger (Demo)
Tom Lauwaerts, Carlos Rojas Castillo, Elisa Gonzalez Boix, and Christophe Scholliers
(Universiteit Gent, Belgium; Vrije Universiteit Brussel, Belgium)

Publisher's Version Video

Work-in-Progress

Program State Visualizer with User-Defined Representation Conversion (WIP)
Rifqi Adlan Apriyadi, Hidehiko Masuhara, and Youyou Cong
(Tokyo Institute of Technology, Japan)

Publisher's Version

Full Papers

Using Object-Sequence Diagrams for Debugging
Ole Lehrmann Madsen
(Aarhus University, Denmark)

Publisher's Version

Debugging Video Games: A Systematic Mapping
Adrien Vanègue, Valentin Bourcier, Fabio Petrillo, and Steven Costiou
(Inria, France; University of Lille, France; CNRS, France; Centrale Lille, France; UMR 9189 CRIStAL, France; ÉTS, Canada)

Publisher's Version

proc time: 1.01