2026-07-23T08:15:34Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:25576 2026-03-19T13:48:43Z ddc:004 open_access

Testing Program Analyzers and Verifiers (Dagstuhl Seminar 25242) Christakis, Maria Donaldson, Alastair F. Regehr, John Sotiropoulos, Thodoris formal methods program analysis static analysis testing verification 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Maria Christakis and Alastair F. Donaldson and John Regehr and Thodoris Sotiropoulos 2026 Is Part Of Dagstuhl Reports, Volume 15, Issue 6 (2026) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.15.6.69 urn:nbn:de:0030-drops-255761 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.6.69 eng https://creativecommons.org/licenses/by/4.0/legalcode