Evaluating and comparing fault-based testing strategies for general Boolean specifications: A series of experiments