License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.13.3.92
URN: urn:nbn:de:0030-drops-192308
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2023/19230/
Go back to Dagstuhl Reports

Böhme, Marcel ; Christakis, Maria ; Padhye, Rohan ; Serebryany, Kostya ; Zeller, Andreas ; Eniser, Hasan Ferit
Weitere Beteiligte (Hrsg. etc.): Marcel Böhme and Maria Christakis and Rohan Padhye and Kostya Serebryany and Andreas Zeller and Hasan Ferit Eniser

Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131)

pdf-format:
dagrep_v013_i003_p092_23131.pdf (2 MB)

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.

BibTeX - Entry

@Article{bohme_et_al:DagRep.13.3.92,
  author =	{B\"{o}hme, Marcel and Christakis, Maria and Padhye, Rohan and Serebryany, Kostya and Zeller, Andreas and Eniser, Hasan Ferit},
  title =	{{Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131)}},
  pages =	{92--105},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2023},
  volume =	{13},
  number =	{3},
  editor =	{B\"{o}hme, Marcel and Christakis, Maria and Padhye, Rohan and Serebryany, Kostya and Zeller, Andreas and Eniser, Hasan Ferit},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2023/19230},
  URN =		{urn:nbn:de:0030-drops-192308},
  doi =		{10.4230/DagRep.13.3.92},
  annote =	{Keywords: Bug Finding, Coverage, ML4SE, Oracles, Software Testing, Software Verification}
}

Keywords: Bug Finding, Coverage, ML4SE, Oracles, Software Testing, Software Verification
Collection: DagRep, Volume 13, Issue 3
Issue Date: 2023
Date of publication: 16.10.2023

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI