author = { Böhme, Marcel AND Christakis, Maria AND Padhye, Rohan AND Serebryany, Kostya AND Zeller, Andreas AND Eniser, Hasan Ferit Marcel Böhme and Maria Christakis and Rohan Padhye and Kostya Serebryany and Andreas Zeller and Hasan Ferit Eniser },

title = { Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131) },

publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},

keywords = { Software Testing , ML4SE , Bug Finding , Oracles , Coverage , Software Verification },

year = {2023},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }