![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
1st DEBT@SIGMOD 2023: Seattle, WA, USA
- Elisa Gonzalez Boix, Christophe Scholliers:
Proceedings of the 1st ACM International Workshop on Future Debugging Techniques, DEBT 2023, Seattle, WA, USA, 17 July 2023. ACM 2023 - Nat Karmios
, Sacha-Élie Ayoun, Philippa Gardner:
Symbolic Debugging with Gillian. 1-2 - Tom Lauwaerts, Carlos Rojas Castillo, Elisa Gonzalez Boix, Christophe Scholliers:
Out-of-Place Debugging on Constraint Devices with the EDWARD Debugger (Demo). 3-4 - Rifqi Adlan Apriyadi, Hidehiko Masuhara, Youyou Cong:
Program State Visualizer with User-Defined Representation Conversion (WIP). 5-10 - Ole Lehrmann Madsen
:
Using Object-Sequence Diagrams for Debugging. 11-22 - Adrien Vanègue, Valentin Bourcier, Fábio Petrillo, Steven Costiou:
Debugging Video Games: A Systematic Mapping. 23-30
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.