allows for the detection of design errors in test suites and their optimization with