Powered by
2nd ACM International Workshop on Future Debugging Techniques (DEBT 2024), September 19, 2024,
Vienna, Austria
2nd ACM International Workshop on Future Debugging Techniques (DEBT 2024)
Frontmatter
Title Page
Article: isstaws24debtforeword-fm000-p (type: Frontmatter) doi:
Keynote
Technical Paper
In-Field Debugging of Automotive Microcontrollers for Highest System Availability
Gašper Skvarč Božič,
Ibai Irigoyen Ceberio, and
Albrecht Mayer
(Infineon Technologies, Germany)
@InProceedings{DEBT24p16,
author = {Gašper Skvarč Božič and Ibai Irigoyen Ceberio and Albrecht Mayer},
title = {In-Field Debugging of Automotive Microcontrollers for Highest System Availability},
booktitle = {Proc.\ DEBT},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3678720.3685314},
year = {2024},
}
Publisher's Version
Article: isstaws24debtmain-p36-p (type: Full Paper) doi:10.1145/3678720.3685314
Work-in-Progress Papers
Bug Localisation in Model-Based Testing using Model-Centric Shrinking
Susan van den Broek,
Ana Oprescu, and
Theo C. Ruys
(University of Amsterdam, Netherlands; Axini, Netherlands)
@InProceedings{DEBT24p31,
author = {Susan van den Broek and Ana Oprescu and Theo C. Ruys},
title = {Bug Localisation in Model-Based Testing using Model-Centric Shrinking},
booktitle = {Proc.\ DEBT},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3678720.3685315},
year = {2024},
}
Publisher's Version
Article: isstaws24debtmain-p18-p (type: Full Paper (6 pages + references)) doi:10.1145/3678720.3685315
A Reversible Debugger for MPI Applications
Mihkel Tiks,
Ott-Kaarel Martens,
Eero Vainikko, and
Stefan Kuhn
(University of Tartu, Estonia)
@InProceedings{DEBT24p46,
author = {Mihkel Tiks and Ott-Kaarel Martens and Eero Vainikko and Stefan Kuhn},
title = {A Reversible Debugger for MPI Applications},
booktitle = {Proc.\ DEBT},
publisher = {ACM},
pages = {46-45},
doi = {10.1145/3678720.3685316},
year = {2024},
}
Publisher's Version
Article: isstaws24debtmain-p30-p (type: Full Paper) doi:10.1145/3678720.3685316
Language-Agnostic Debugging for Microcontrollers
Carlos Rojas Castillo,
Matteo Marra, and
Elisa Gonzalez Boix
(Vrije Universiteit Brussel, Belgium; Nokia Bell Labs, Belgium)
@InProceedings{DEBT24p61,
author = {Carlos Rojas Castillo and Matteo Marra and Elisa Gonzalez Boix},
title = {Language-Agnostic Debugging for Microcontrollers},
booktitle = {Proc.\ DEBT},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3678720.3685317},
year = {2024},
}
Publisher's Version
Article: isstaws24debtmain-p79-p (type: Full Paper (6 pages + references)) doi:10.1145/3678720.3685317
Demo Papers
Concolic Multiverse Debugging
Maarten Steevens,
Tom Lauwaerts, and
Christophe Scholliers
(Universiteit Gent, Belgium)
@InProceedings{DEBT24p76,
author = {Maarten Steevens and Tom Lauwaerts and Christophe Scholliers},
title = {Concolic Multiverse Debugging},
booktitle = {Proc.\ DEBT},
publisher = {ACM},
pages = {76-75},
doi = {10.1145/3678720.3685318},
year = {2024},
}
Publisher's Version
Article: isstaws24debtmain-p8-p (type: Short Paper (2 pages + references)) doi:10.1145/3678720.3685318
Reversible Debugging of Erlang Programs in CauDEr
Ivan Lanese and
Germán Vidal
(University of Bologna, Italy; Inria, France; Universitat Politècnica de València, Spain)
@InProceedings{DEBT24p91,
author = {Ivan Lanese and Germán Vidal},
title = {Reversible Debugging of Erlang Programs in CauDEr},
booktitle = {Proc.\ DEBT},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3678720.3685319},
year = {2024},
}
Publisher's Version
Article: isstaws24debtmain-p11-p (type: Short Paper) doi:10.1145/3678720.3685319
Abstract Debugging with GobPie
Karoliine Holter,
Juhan Oskar Hennoste,
Simmo Saan,
Patrick Lam, and
Vesal Vojdani
(University of Tartu, Estonia; University of Waterloo, Canada)
@InProceedings{DEBT24p106,
author = {Karoliine Holter and Juhan Oskar Hennoste and Simmo Saan and Patrick Lam and Vesal Vojdani},
title = {Abstract Debugging with GobPie},
booktitle = {Proc.\ DEBT},
publisher = {ACM},
pages = {106-105},
doi = {10.1145/3678720.3685320},
year = {2024},
}
Publisher's Version
Article: isstaws24debtmain-p17-p (type: Short Paper (2 pages + references)) doi:10.1145/3678720.3685320
Localizer: A Visual Debugging Assistant for Python Programs
Shehroz Khan,
Gaadha Sudheerbabu,
Dragos Truscan, and
Tanwir Ahmad
(Åbo Akademi University, Finland)
@InProceedings{DEBT24p121,
author = {Shehroz Khan and Gaadha Sudheerbabu and Dragos Truscan and Tanwir Ahmad},
title = {Localizer: A Visual Debugging Assistant for Python Programs},
booktitle = {Proc.\ DEBT},
publisher = {ACM},
pages = {121-120},
doi = {10.1145/3678720.3685321},
year = {2024},
}
Publisher's Version
Article: isstaws24debtmain-p31-p (type: Short Paper) doi:10.1145/3678720.3685321
proc time: 0.03