ISSN 1000-1239 CN 11-1777/TP
Debugging Multi-Core Parallel Programs by Gradually Refined Snapshot Sequences
Wang Bohong, Liu Yi, Zhang Guozhen, Qian Depei
Journal of Computer Research and Development . 2017, (4): 821 -831 .  DOI: 10.7544/issn1000-1239.2017.20151060