<div class="csl-bib-body">
<div class="csl-entry">Christakis, M., Donaldson, A. F., Regehr, J., & Sotiropoulos, T. (2026). Testing Program Analyzers and Verifiers. <i>Dagstuhl Reports</i>, <i>15</i>(6), 69–83. https://doi.org/10.4230/DagRep.15.6.69</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/227334
-
dc.description.abstract
This report documents the program and the outcomes of Dagstuhl Seminar 25242 "Testing Program Analyzers and Verifiers". Program analyzers and verifiers are routinely employed during software development to prevent and detect faults. In this seminar, we examine the impact of faults within these tools, distinguishing between those that are critical and those that are less severe. We also explore and discuss state-of-the-art techniques for uncovering faults in program analyzers and verifiers, their connections to related domains such as compiler testing, and potential future directions for improving their reliability.
en
dc.language.iso
en
-
dc.publisher
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
-
dc.relation.ispartof
Dagstuhl Reports
-
dc.subject
testing
en
dc.subject
program analyzers
en
dc.subject
verifiers
en
dc.title
Testing Program Analyzers and Verifiers
en
dc.type
Article
en
dc.type
Artikel
de
dc.contributor.affiliation
Imperial College London, United Kingdom of Great Britain and Northern Ireland (the)
-
dc.contributor.affiliation
University of Utah, United States of America (the)
-
dc.contributor.affiliation
ETH Zurich, Switzerland
-
dc.description.startpage
69
-
dc.description.endpage
83
-
dc.type.category
Original Research Article
-
tuw.container.volume
15
-
tuw.container.issue
6
-
tuw.peerreviewed
false
-
wb.publication.intCoWork
International Co-publication
-
tuw.researchTopic.id
I4
-
tuw.researchTopic.name
Information Systems Engineering
-
tuw.researchTopic.value
100
-
dcterms.isPartOf.title
Dagstuhl Reports
-
tuw.publication.orgunit
E194-01 - Forschungsbereich Software Engineering
-
tuw.publication.orgunit
E056-26 - Fachbereich Automated Reasoning
-
tuw.publisher.doi
10.4230/DagRep.15.6.69
-
dc.identifier.eissn
2192-5283
-
dc.description.numberOfPages
15
-
tuw.author.orcid
0000-0002-2649-1958
-
tuw.author.orcid
0000-0001-7025-4610
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.fulltext
no Fulltext
-
item.languageiso639-1
en
-
item.cerifentitytype
Publications
-
item.grantfulltext
none
-
item.openairecristype
http://purl.org/coar/resource_type/c_2df8fbb1
-
item.openairetype
research article
-
crisitem.author.dept
E194-01 - Forschungsbereich Software Engineering
-
crisitem.author.dept
Imperial College London
-
crisitem.author.dept
University of Utah
-
crisitem.author.dept
ETH Zurich
-
crisitem.author.orcid
0000-0002-2649-1958
-
crisitem.author.orcid
0000-0001-7025-4610
-
crisitem.author.orcid
0000-0002-9906-3073
-
crisitem.author.parentorg
E194 - Institut für Information Systems Engineering