| |
Apriyadi, Rifqi Adlan
|
DEBT '23: "Program State Visualizer with ..."
Program State Visualizer with User-Defined Representation Conversion (WIP)
Rifqi Adlan Apriyadi, Hidehiko Masuhara, and Youyou Cong
(Tokyo Institute of Technology, Japan)
@InProceedings{DEBT23p25,
author = {Rifqi Adlan Apriyadi and Hidehiko Masuhara and Youyou Cong},
title = {Program State Visualizer with User-Defined Representation Conversion (WIP)},
booktitle = {Proc.\ DEBT},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3605155.3605863},
year = {2023},
}
Publisher's Version
|
| |
Ayoun, Sacha-Élie |
DEBT '23: "Symbolic Debugging with Gillian ..."
Symbolic Debugging with Gillian
Nat Karmios, Sacha-Élie Ayoun, and Philippa Gardner
(Imperial College London, UK)
@InProceedings{DEBT23p1,
author = {Nat Karmios and Sacha-Élie Ayoun and Philippa Gardner},
title = {Symbolic Debugging with Gillian},
booktitle = {Proc.\ DEBT},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3605155.3605861},
year = {2023},
}
Publisher's Version
|
| |
Bourcier, Valentin
|
DEBT '23: "Debugging Video Games: A Systematic ..."
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)
@InProceedings{DEBT23p49,
author = {Adrien Vanègue and Valentin Bourcier and Fabio Petrillo and Steven Costiou},
title = {Debugging Video Games: A Systematic Mapping},
booktitle = {Proc.\ DEBT},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3605155.3605865},
year = {2023},
}
Publisher's Version
|
| |
Cong, Youyou
|
DEBT '23: "Program State Visualizer with ..."
Program State Visualizer with User-Defined Representation Conversion (WIP)
Rifqi Adlan Apriyadi, Hidehiko Masuhara, and Youyou Cong
(Tokyo Institute of Technology, Japan)
@InProceedings{DEBT23p25,
author = {Rifqi Adlan Apriyadi and Hidehiko Masuhara and Youyou Cong},
title = {Program State Visualizer with User-Defined Representation Conversion (WIP)},
booktitle = {Proc.\ DEBT},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3605155.3605863},
year = {2023},
}
Publisher's Version
|
| |
Costiou, Steven |
DEBT '23: "Debugging Video Games: A Systematic ..."
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)
@InProceedings{DEBT23p49,
author = {Adrien Vanègue and Valentin Bourcier and Fabio Petrillo and Steven Costiou},
title = {Debugging Video Games: A Systematic Mapping},
booktitle = {Proc.\ DEBT},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3605155.3605865},
year = {2023},
}
Publisher's Version
|
| |
Gardner, Philippa
|
DEBT '23: "Symbolic Debugging with Gillian ..."
Symbolic Debugging with Gillian
Nat Karmios, Sacha-Élie Ayoun, and Philippa Gardner
(Imperial College London, UK)
@InProceedings{DEBT23p1,
author = {Nat Karmios and Sacha-Élie Ayoun and Philippa Gardner},
title = {Symbolic Debugging with Gillian},
booktitle = {Proc.\ DEBT},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3605155.3605861},
year = {2023},
}
Publisher's Version
|
| |
Gonzalez Boix, Elisa |
DEBT '23: "Out-of-Place Debugging on ..."
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)
@InProceedings{DEBT23p13,
author = {Tom Lauwaerts and Carlos Rojas Castillo and Elisa Gonzalez Boix and Christophe Scholliers},
title = {Out-of-Place Debugging on Constraint Devices with the EDWARD Debugger (Demo)},
booktitle = {Proc.\ DEBT},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3605155.3605862},
year = {2023},
}
Publisher's Version
|
| |
Karmios, Nat
|
DEBT '23: "Symbolic Debugging with Gillian ..."
Symbolic Debugging with Gillian
Nat Karmios, Sacha-Élie Ayoun, and Philippa Gardner
(Imperial College London, UK)
@InProceedings{DEBT23p1,
author = {Nat Karmios and Sacha-Élie Ayoun and Philippa Gardner},
title = {Symbolic Debugging with Gillian},
booktitle = {Proc.\ DEBT},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3605155.3605861},
year = {2023},
}
Publisher's Version
|
| |
Lauwaerts, Tom
|
DEBT '23: "Out-of-Place Debugging on ..."
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)
@InProceedings{DEBT23p13,
author = {Tom Lauwaerts and Carlos Rojas Castillo and Elisa Gonzalez Boix and Christophe Scholliers},
title = {Out-of-Place Debugging on Constraint Devices with the EDWARD Debugger (Demo)},
booktitle = {Proc.\ DEBT},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3605155.3605862},
year = {2023},
}
Publisher's Version
|
| |
Madsen, Ole Lehrmann
|
DEBT '23: "Using Object-Sequence Diagrams ..."
Using Object-Sequence Diagrams for Debugging
Ole Lehrmann Madsen
(Aarhus University, Denmark)
@InProceedings{DEBT23p37,
author = {Ole Lehrmann Madsen},
title = {Using Object-Sequence Diagrams for Debugging},
booktitle = {Proc.\ DEBT},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3605155.3605864},
year = {2023},
}
Publisher's Version
|
| |
Masuhara, Hidehiko |
DEBT '23: "Program State Visualizer with ..."
Program State Visualizer with User-Defined Representation Conversion (WIP)
Rifqi Adlan Apriyadi, Hidehiko Masuhara, and Youyou Cong
(Tokyo Institute of Technology, Japan)
@InProceedings{DEBT23p25,
author = {Rifqi Adlan Apriyadi and Hidehiko Masuhara and Youyou Cong},
title = {Program State Visualizer with User-Defined Representation Conversion (WIP)},
booktitle = {Proc.\ DEBT},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3605155.3605863},
year = {2023},
}
Publisher's Version
|
| |
Petrillo, Fabio
|
DEBT '23: "Debugging Video Games: A Systematic ..."
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)
@InProceedings{DEBT23p49,
author = {Adrien Vanègue and Valentin Bourcier and Fabio Petrillo and Steven Costiou},
title = {Debugging Video Games: A Systematic Mapping},
booktitle = {Proc.\ DEBT},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3605155.3605865},
year = {2023},
}
Publisher's Version
|
| |
Rojas Castillo, Carlos
|
DEBT '23: "Out-of-Place Debugging on ..."
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)
@InProceedings{DEBT23p13,
author = {Tom Lauwaerts and Carlos Rojas Castillo and Elisa Gonzalez Boix and Christophe Scholliers},
title = {Out-of-Place Debugging on Constraint Devices with the EDWARD Debugger (Demo)},
booktitle = {Proc.\ DEBT},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3605155.3605862},
year = {2023},
}
Publisher's Version
|
| |
Scholliers, Christophe
|
DEBT '23: "Out-of-Place Debugging on ..."
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)
@InProceedings{DEBT23p13,
author = {Tom Lauwaerts and Carlos Rojas Castillo and Elisa Gonzalez Boix and Christophe Scholliers},
title = {Out-of-Place Debugging on Constraint Devices with the EDWARD Debugger (Demo)},
booktitle = {Proc.\ DEBT},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3605155.3605862},
year = {2023},
}
Publisher's Version
|
| |
Vanègue, Adrien
|
DEBT '23: "Debugging Video Games: A Systematic ..."
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)
@InProceedings{DEBT23p49,
author = {Adrien Vanègue and Valentin Bourcier and Fabio Petrillo and Steven Costiou},
title = {Debugging Video Games: A Systematic Mapping},
booktitle = {Proc.\ DEBT},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3605155.3605865},
year = {2023},
}
Publisher's Version
|