Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/189151
-
Titel: 
Software Bug Detection: Challenges and Synergies
en
Zitat: 
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
-
Verlags-DOI: 
https://doi.org/10.4230/DagRep.13.3.92
-
Publikationstyp: 
Bericht - Technischer Bericht
de
Sprache: 
Englisch
-
Autor_innen: 
Böhme, Marcel 
Christaki, Maria 
Padhye, Rohan 
Serebryany, Kostya 
Zeller, Andreas 
Eniser, Hasan Ferit 
-
Organisations­einheit: 
E194-01 - Forschungsbereich Software Engineering 
-
Datum (veröffentlicht): 
2023
-
Keywords: 
Bug Finding; Coverage; ML4SE; Oracles; Software Testing; software verification
en
Forschungs­schwerpunkte: 
Information Systems Engineering: 100%
-
Wissenschafts­zweig: 
1020 - Informatik: 100%
-
Enthalten in den Sammlungen:
Report

Zur Langanzeige

Google ScholarTM

Check