CISPA
Browse
- No file added yet -

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

Download (1.8 MB)
journal contribution
posted on 2024-02-05, 07:47 authored by Marcel Böhme, Maria Christakis, Rohan Padhye, Kostya Serebryany, Andreas ZellerAndreas Zeller, Hasan Ferit Eniser
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.

History

Primary Research Area

  • Reliable Security Guarantees

Journal

Dagstuhl Reports

Volume

13

Page Range

92-105

Sub Type

  • Article

BibTeX

@article{Böhme:Christakis:Padhye:Serebryany:Zeller:Eniser:2023, title = "Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131).", author = "Böhme, Marcel" AND "Christakis, Maria" AND "Padhye, Rohan" AND "Serebryany, Kostya" AND "Zeller, Andreas" AND "Eniser, Hasan Ferit", year = 2023, month = 3, journal = "Dagstuhl Reports", pages = "92--105" }

Usage metrics

    Categories

    No categories selected

    Keywords

    Reliable Security GuaranteesReliable Security guarantees RA3

    Licence

    CC BY 4.0

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC