This folder contains the code and datasets necessary for performing experiments on the Steimann and Defects4J coverage matrices detailed in "Doric: Foundations for Statistical Fault Localisation". See the README.txt inside the folder for further details.