DagRep.13.3.92.pdf
- Filesize: 1.8 MB
- 14 pages
Document
Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 13, Issue 3
Volume: Dagstuhl Reports, Volume 13
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2023-10-16
Cite As Get BibTex
Marcel Böhme, Maria Christakis, Rohan Padhye, Kostya Serebryany, Andreas Zeller, and Hasan Ferit Eniser. Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131). In Dagstuhl Reports, Volume 13, Issue 3, pp. 92-105, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
https://doi.org/10.4230/DagRep.13.3.92
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 23131 "Software Bug Detection: Challenges and Synergies". This seminar brought together researchers from academia and industry working on various aspects of software bug detection, with two broad goals: identifying challenges in practical deployment of bug-finding tools and discovering new synergies among bug-finding techniques and research methods. The seminar focused discussion on bug-finding tools and their relevance and adoption in industry.
Subject Classification
ACM Subject Classification
- Software and its engineering
- Software and its engineering → Software testing and debugging
- Software and its engineering → Software verification
Keywords
- Bug Finding
- Coverage
- ML4SE
- Oracles
- Software Testing
- Software Verification
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads