Assessing the fault-detecting ability of testing methods | Synapse