| |
Ahmad, Tanwir
|
DEBT '24: "Localizer: A Visual Debugging ..."
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
|
| |
Gonzalez Boix, Elisa
|
DEBT '24: "Language-Agnostic Debugging ..."
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
|
| |
Hennoste, Juhan Oskar
|
DEBT '24: "Abstract Debugging with GobPie ..."
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
|
| |
Holter, Karoliine |
DEBT '24: "Abstract Debugging with GobPie ..."
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
|
| |
Irigoyen Ceberio, Ibai
|
DEBT '24: "In-Field Debugging of Automotive ..."
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
|
| |
Khan, Shehroz
|
DEBT '24: "Localizer: A Visual Debugging ..."
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
|
| |
Kuhn, Stefan |
DEBT '24: "A Reversible Debugger for ..."
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
|
| |
Lam, Patrick
|
DEBT '24: "Abstract Debugging with GobPie ..."
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
|
| |
Lanese, Ivan |
DEBT '24: "Reversible Debugging of Erlang ..."
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
|
| |
Lauwaerts, Tom |
DEBT '24: "Concolic Multiverse Debugging ..."
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
|
| |
Marra, Matteo
|
DEBT '24: "Language-Agnostic Debugging ..."
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
|
| |
Martens, Ott-Kaarel |
DEBT '24: "A Reversible Debugger for ..."
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
|
| |
Mayer, Albrecht |
DEBT '24: "In-Field Debugging of Automotive ..."
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
|
| |
O’Callahan, Robert
|
DEBT '24: "Advanced Debugging Techniques ..."
Advanced Debugging Techniques in Practice (Keynote)
Robert O’Callahan
(Google, New Zealand)
@InProceedings{DEBT24p1,
author = {Robert O’Callahan},
title = {Advanced Debugging Techniques in Practice (Keynote)},
booktitle = {Proc.\ DEBT},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3678720.3695756},
year = {2024},
}
Publisher's Version
Article: isstaws24debtmain-key1-p (type: Abstract) doi:10.1145/3678720.3695756
|
| |
Oprescu, Ana |
DEBT '24: "Bug Localisation in Model-Based ..."
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
|
| |
Rojas Castillo, Carlos
|
DEBT '24: "Language-Agnostic Debugging ..."
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
|
| |
Ruys, Theo C. |
DEBT '24: "Bug Localisation in Model-Based ..."
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
|
| |
Saan, Simmo
|
DEBT '24: "Abstract Debugging with GobPie ..."
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
|
| |
Scholliers, Christophe |
DEBT '24: "Concolic Multiverse Debugging ..."
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
|
| |
Skvarč Božič, Gašper |
DEBT '24: "In-Field Debugging of Automotive ..."
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
|
| |
Steevens, Maarten |
DEBT '24: "Concolic Multiverse Debugging ..."
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
|
| |
Sudheerbabu, Gaadha |
DEBT '24: "Localizer: A Visual Debugging ..."
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
|
| |
Tiks, Mihkel
|
DEBT '24: "A Reversible Debugger for ..."
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
|
| |
Truscan, Dragos |
DEBT '24: "Localizer: A Visual Debugging ..."
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
|
| |
Vainikko, Eero
|
DEBT '24: "A Reversible Debugger for ..."
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
|
| |
Van den Broek, Susan |
DEBT '24: "Bug Localisation in Model-Based ..."
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
|
| |
Vidal, Germán |
DEBT '24: "Reversible Debugging of Erlang ..."
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
|
| |
Vojdani, Vesal |
DEBT '24: "Abstract Debugging with GobPie ..."
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
|