Multithreaded Program Testing Based on Controlling Sequence of Thread Schedule
LI Jing
Computer and Modernization . 2017, (6): 50 -55 .  DOI: 10.3969/j.issn.1006-2475.2017.06.010