Testing Program Analyzers and Verifiers (Dagstuhl Seminar 25242)

Christakis, Maria; Donaldson, Alastair F.; Regehr, John; Sotiropoulos, Thodoris

doi:10.4230/DagRep.15.6.69

Document

Testing Program Analyzers and Verifiers (Dagstuhl Seminar 25242)

Authors Maria Christakis, Alastair F. Donaldson, John Regehr, Thodoris Sotiropoulos and all authors of the abstracts in this report

Part of: Issue: Dagstuhl Reports, Volume 15, Issue 6
Part of: Volume: Dagstuhl Reports, Volume 15
Part of: Journal: Dagstuhl Reports (DagRep)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2026-02-17

PDF

File

PDF

DagRep.15.6.69.pdf

Filesize: 1.44 MB
15 pages

Document Identifiers

DOI: 10.4230/DagRep.15.6.69
URN: urn:nbn:de:0030-drops-255761

Subject Classification

ACM Subject Classification

Software and its engineering → Software testing and debugging
Software and its engineering → Software verification

Keywords

formal methods
program analysis
static analysis
testing
verification

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Document

0

Metadata

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.

Cite As Get BibTex

Maria Christakis, Alastair F. Donaldson, John Regehr, and Thodoris Sotiropoulos. Testing Program Analyzers and Verifiers (Dagstuhl Seminar 25242). In Dagstuhl Reports, Volume 15, Issue 6, pp. 69-83, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/DagRep.15.6.69

Author Details

Maria Christakis

TU Wien, AT

Alastair F. Donaldson

Imperial College London, GB

John Regehr

University of Utah - Salt Lake City, US

Thodoris Sotiropoulos

ETH Zürich, CH

and all authors of the abstracts in this report

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail