ISSTA 2023 Workshops
32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)
Powered by
Conference Publishing Consulting

1st ACM International Workshop on Future Debugging Techniques (DEBT 2023), July 17, 2023, Seattle, WA, USA

DEBT 2023 – Proceedings

Contents - Abstracts - Authors

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


Title Page
Welcome from the Chairs
DEBT 2023 Organization

Tools and Demonstrations

Symbolic Debugging with Gillian
Nat Karmios ORCID logo, Sacha-Élie AyounORCID logo, and Philippa Gardner ORCID logo
(Imperial College London, UK)
Publisher's Version
Out-of-Place Debugging on Constraint Devices with the EDWARD Debugger (Demo)
Tom Lauwaerts ORCID logo, Carlos Rojas Castillo ORCID logo, Elisa Gonzalez Boix ORCID logo, and Christophe Scholliers ORCID logo
(Universiteit Gent, Belgium; Vrije Universiteit Brussel, Belgium)
Publisher's Version Video


Program State Visualizer with User-Defined Representation Conversion (WIP)
Rifqi Adlan Apriyadi ORCID logo, Hidehiko MasuharaORCID logo, and Youyou CongORCID logo
(Tokyo Institute of Technology, Japan)
Publisher's Version

Full Papers

Using Object-Sequence Diagrams for Debugging
Ole Lehrmann Madsen ORCID logo
(Aarhus University, Denmark)
Publisher's Version
Debugging Video Games: A Systematic Mapping
Adrien Vanègue ORCID logo, Valentin Bourcier ORCID logo, Fabio Petrillo ORCID logo, and Steven Costiou ORCID logo
(Inria, France; University of Lille, France; CNRS, France; Centrale Lille, France; UMR 9189 CRIStAL, France; ÉTS, Canada)
Publisher's Version

proc time: 0.84