Concurrency bug test for a class of multithreaded software
ZHU Chengcheng;DONG Lida
J4 . 2015, (2): 167 -173+212 .  DOI: 10.3969/j.issn.1001-2400.2015.02.028