<div class="csl-bib-body">
<div class="csl-entry">Böhme, M., Christaki, M., Padhye, R., Serebryany, K., Zeller, A., & Eniser, H. F. (2023). <i>Software Bug Detection: Challenges and Synergies</i>. https://doi.org/https://doi.org/10.4230/DagRep.13.3.92</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/189151
-
dc.language.iso
en
-
dc.subject
Bug Finding
en
dc.subject
Coverage
en
dc.subject
ML4SE
en
dc.subject
Oracles
en
dc.subject
Software Testing
en
dc.subject
software verification
en
dc.title
Software Bug Detection: Challenges and Synergies
en
dc.type
Report
en
dc.type
Bericht
de
dc.contributor.affiliation
Max Planck Society, Germany
-
dc.contributor.affiliation
Carnegie Mellon University
-
dc.contributor.affiliation
Google (United States), United States of America (the)
-
dc.contributor.affiliation
Saarland University, Germany
-
dc.contributor.affiliation
Max Planck Institute for Software Systems, Germany
-
dc.type.category
Technical Report
-
tuw.researchTopic.id
I4
-
tuw.researchTopic.name
Information Systems Engineering
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E194-01 - Forschungsbereich Software Engineering
-
tuw.publisher.doi
https://doi.org/10.4230/DagRep.13.3.92
-
tuw.author.orcid
0000-0002-4470-1824
-
tuw.author.orcid
0000-0002-2649-1958
-
tuw.author.orcid
0000-0003-4719-8803
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.openairecristype
http://purl.org/coar/resource_type/c_18gh
-
item.openairetype
technical report
-
item.fulltext
no Fulltext
-
item.languageiso639-1
en
-
item.grantfulltext
none
-
item.cerifentitytype
Publications
-
crisitem.author.dept
Max Planck Society
-
crisitem.author.dept
E194-01 - Forschungsbereich Software Engineering
-
crisitem.author.dept
Carnegie Mellon University, Pittsburgh, Pennsylvania, United States
-
crisitem.author.dept
Google (United States)
-
crisitem.author.dept
Saarland University
-
crisitem.author.dept
Max Planck Institute for Software Systems
-
crisitem.author.orcid
0000-0002-4470-1824
-
crisitem.author.orcid
0000-0002-2649-1958
-
crisitem.author.orcid
0000-0003-4719-8803
-
crisitem.author.parentorg
E194 - Institut für Information Systems Engineering