From 3759d3f5e2315ca3d096047e1d2bb853c1d44592 Mon Sep 17 00:00:00 2001 From: Karoliine Holter Date: Fri, 13 Sep 2024 15:54:29 +0300 Subject: [PATCH] Update DEBT demo ReadMe --- adb_examples/debt-24-demo/README.md | 15 ++++++--------- 1 file changed, 6 insertions(+), 9 deletions(-) diff --git a/adb_examples/debt-24-demo/README.md b/adb_examples/debt-24-demo/README.md index 56a4513..1dd870d 100644 --- a/adb_examples/debt-24-demo/README.md +++ b/adb_examples/debt-24-demo/README.md @@ -3,26 +3,23 @@ This folder contains the materials for the demo presentation of Abstract Debugging with GobPie at the [Second Workshop on Future Debugging Techniques (DEBT'24)](https://conf.researchr.org/details/issta-ecoop-2024/debt-2024-papers/4/Abstract-Debugging-with-GobPie). -### :movie_camera: +:movie_camera: There is a pre-recorded [video](https://youtu.be/KtLFdxMAdD8) of using the abstract debugger on the source code of SMTP Relay Checker, showcasing how to debug and fix a data race warning using the abstract debugger. -There is a pre-recorded [video](https://youtu.be/KtLFdxMAdD8) of using the abstract debugger on the source code of SMTP Relay Checker, showcasing how to debug and fix a data race warning using the abstract debugger. - -### :page_facing_up: - -Cite with: +:page_facing_up: Cite with: ``` @inproceedings{10.1145/3678720.3685320, - author = {Karoliine Holter and Juhan Oskar Hennoste and Simmo Saan and Patrick Lam and Vesal Vojdani}, + author = {Holter, Karoliine and Hennoste, Juhan Oskar and Saan, Simmo and Lam, Patrick and Vojdani, Vesal}, title = {Abstract Debugging with GobPie}, year = {2024}, - isbn = {979-8-4007-1110-7/24/09}, + isbn = {9798400711107}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, url = {https://doi.org/10.1145/3678720.3685320}, doi = {10.1145/3678720.3685320}, booktitle = {Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques}, + pages = {32–33}, numpages = {2}, - keywords = {Automated Software Verification, Abstract Interpretation, Explainability, Visualization, Data Race Detection}, + keywords = {Abstract Interpretation, Automated Software Verification, Data Race Detection, Explainability, Visualization}, location = {Vienna, Austria}, series = {DEBT 2024} }