SimRT: an automated framework to support regression testing for data races
Prioritizing test cases for regression testing