Zhendong Wu, Kai Lu, Xiaoping Wang. Identifying Repeated Interleavings to Improve the Efficiency of Concurrency Bug Detection. In Guojun Wang, Albert Y. Zomaya, Gregorio Martínez Pérez, Kenli Li, editors, Algorithms and Architectures for Parallel Processing - 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015. Proceedings, Part IV. Volume 9531 of Lecture Notes in Computer Science, pages 175-188, Springer, 2015. [doi]
Abstract is missing.