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]
@inproceedings{WuLW15-0,
title = {Identifying Repeated Interleavings to Improve the Efficiency of Concurrency Bug Detection},
author = {Zhendong Wu and Kai Lu and Xiaoping Wang},
year = {2015},
doi = {10.1007/978-3-319-27140-8_13},
url = {http://dx.doi.org/10.1007/978-3-319-27140-8_13},
researchr = {https://researchr.org/publication/WuLW15-0},
cites = {0},
citedby = {0},
pages = {175-188},
booktitle = {Algorithms and Architectures for Parallel Processing - 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015. Proceedings, Part IV},
editor = {Guojun Wang and Albert Y. Zomaya and Gregorio Martínez Pérez and Kenli Li},
volume = {9531},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-27139-2},
}