Record link: 
http://hdl.handle.net/20.500.12708/189151
-
Title: 
Software Bug Detection: Challenges and Synergies
en
Citation: 
Böhme, M., Christaki, M., Padhye, R., Serebryany, K., Zeller, A., & Eniser, H. F. (2023). Software Bug Detection: Challenges and Synergies. https://doi.org/https://doi.org/10.4230/DagRep.13.3.92
-
Publisher DOI: 
https://doi.org/10.4230/DagRep.13.3.92
-
Publication Type: 
Report - Technical Report
en
Language: 
English
-
Authors: 
Böhme, Marcel 
Christaki, Maria 
Padhye, Rohan 
Serebryany, Kostya 
Zeller, Andreas 
Eniser, Hasan Ferit 
-
Organisational Unit: 
E194-01 - Forschungsbereich Software Engineering 
-
Date (published): 
2023
-
Keywords: 
Bug Finding; Coverage; ML4SE; Oracles; Software Testing; software verification
en
Research Areas: 
Information Systems Engineering: 100%
-
Science Branch: 
1020 - Informatik: 100%
-
Appears in Collections:
Report

Show full item record

Page view(s)

270
checked on Nov 20, 2023

Google ScholarTM

Check