Identifying Repeated Interleavings to Improve the Efficiency of Concurrency Bug Detection
['Zhendong Wu', 'Kai Lu', 'Xiaoping Wang']
Identifying Repeated Interleavings to Improve the Efficiency of Concurrency Bug Detection