https://www.dagstuhl.de/23131

26. – 31. März 2023, Dagstuhl-Seminar 23131

Software Bug Detection: Challenges and Synergies

Organisatoren

Marcel Böhme (MPI-SP – Bochum, DE and Monash University – Melbourne, AUS)
Maria Christakis (MPI-SWS – Kaiserslautern, DE)
Rohan Padhye (Carnegie Mellon University – Pittsburgh, US)
Kostya Serebryany (Google – Mountain View, US)
Andreas Zeller (CISPA – Saarbrücken, DE)

Auskunft zu diesem Dagstuhl-Seminar erteilen

Simone Schilke zu administrativen Fragen

Andreas Dolzmann zu wissenschaftlichen Fragen

Motivation

Overview. Software controls everything in our lives. Today more than ever. Hence, it is important to develop tools and techniques that can automatically test or verify the correctness, reliability, and security of our software systems. Researchers from different communities, both in research and industry, are working on different aspects of the automated discovery of such software bugs: What are effective approaches to discover software bugs as fast as possible? How can we formally verify the absence of bugs? Which guarantees do our approaches provide about the correctness, reliability, and security of the software when no bugs are discovered? Which concerns do practitioners have when bug finding tools are integrated into their development process? What are effective approaches to automatically mitigate, diagnose, or repair certain kinds of bugs?

Timeliness & Relevance to Industry. While these questions all revolve around the same problem, they are investigated in different research communities and often in isolation. It is time to bring together researchers from the different communities to identify synergies, to share our approaches, to discuss pitfalls, and to recognize the joint open challenges. We are hoping to maximize participation from industry to learn about key concerns in practice and effective recipes for the successful adoption and deployment of our bug finding tools. This Dagstuhl Seminar will lay the foundations for a cross-disciplinary research agenda in software bug detection that is grounded in practice.

Motivation text license
  Creative Commons BY 4.0
  Marcel Böhme, Maria Christakis, Rohan Padhye, and Andreas Zeller

Classification

  • Cryptography And Security
  • Programming Languages
  • Software Engineering

Keywords

  • Bug finding
  • Testing
  • Verification
  • Static analysis
  • Human aspects

Dokumentation

In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.

 

Download Übersichtsflyer (PDF).

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.

Publikationen

Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.