> Detailanzeige

Böhme, Marcel [VerfasserIn]; Christakis, Maria [VerfasserIn]; Padhye, Rohan [VerfasserIn]; Serebryany, Kostya [VerfasserIn]; Zeller, Andreas [VerfasserIn]; Eniser, Hasan Ferit [VerfasserIn] ; Marcel Böhme and Maria Christakis and Rohan Padhye and Kostya Serebryany and Andreas Zeller and Hasan Ferit Eniser [MitwirkendeR]

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

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: E-Artikel; Sonstige Veröffentlichung
  • Titel: Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131)
  • Beteiligte: Böhme, Marcel [VerfasserIn]; Christakis, Maria [VerfasserIn]; Padhye, Rohan [VerfasserIn]; Serebryany, Kostya [VerfasserIn]; Zeller, Andreas [VerfasserIn]; Eniser, Hasan Ferit [VerfasserIn]
  • Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
  • Sprache: Englisch
  • DOI: https://doi.org/10.4230/DagRep.13.3.92
  • Schlagwörter: Coverage ; Software Verification ; Oracles ; Bug Finding ; Software Testing ; ML4SE
  • Entstehung:
  • Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Beschreibung: 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.
  • Zugangsstatus: Freier Zugang