They evaluate the effectiveness of concurrency coverage over eight existing metrics. They find that the metrics are moderate to strong predictors of testing effectiveness varies across programs, and can be used for test generation targets.
About 3 min