SherLoc: Accurate Consistency-based Diagnosis for ANSI-C Programs

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Sarah Sallinger, Lukas Graussam, Georg Weißenbacher, Florian Zuleger, Alexey Ignatiev
DOI: 10.5281/zenodo.19798981
Cited by: 1

Abstract

SherLoc is a consistency-based fault localization tool for ANSI-C programs that uses model checking and hitting-set dualization to compute minimal diagnoses from failing test cases. This artifact includes the full SherLoc source code, a prebuilt Docker image, experiment scripts, and benchmarks for reproducing experimental results. See README.md (included in the zip) for setup instructions, a description of the artifact layout, and steps to reproduce the results.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
4 June 2026