Identifying Repeated Interleavings to Improve the Efficiency of Concurrency Bug Detection.

Zhendong Wu, Kai Lu, Xiaoping Wang

Browse the full ICA3PP paper archive.