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)

Frontmatter

Title Page
Article: isstaws23debtforeword-fm000-p doi:
Welcome from the Chairs
Article: isstaws23debtforeword-fm001-p doi:
DEBT 2023 Organization
Article: isstaws23debtforeword-fm002-p doi:

Tools and Demonstrations

Symbolic Debugging with Gillian
Nat Karmios, Sacha-Élie Ayoun, and Philippa Gardner
(Imperial College London, UK)
Publisher's Version Article: isstaws23debtmain-id6-p doi:10.1145/3605155.3605861
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 Article: isstaws23debtmain-id2-p doi:10.1145/3605155.3605862

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 Article: isstaws23debtmain-id3-p doi:10.1145/3605155.3605863

Full Papers

Using Object-Sequence Diagrams for Debugging
Ole Lehrmann Madsen
(Aarhus University, Denmark)
Publisher's Version Article: isstaws23debtmain-id4-p doi:10.1145/3605155.3605864
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 Article: isstaws23debtmain-id5-p doi:10.1145/3605155.3605865

proc time: 0.01