Dyanamic Analysis

Data Race Detection on Compressed Traces