Testing Technique for Shared Memory Concurrent Programs
LI Jing, WANG Jian-ping
Computer and Modernization . 2016, (8): 40 -45 .  DOI: 10.3969/j.issn.1006-2475.2016.08.009