The application of error-sensitive testing strategies to debugging | Synapse