https://9lib.org/document/qo5k3xmy-test-suite-diagnosability-metric-spectrum-fault-localization-approaches.html