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.95