Spectrum-based Diagnosis for Run-time Systems - José Nuno de Pinho Cardoso (2016)