基于全同步对覆盖的线程调度序列生成方法
石存沣, 李征, 郭俊霞, 赵瑞莲
Generation method of thread scheduling sequence based on all synchronization pairs coverage criteria
SHI Cunfeng, LI Zheng, GUO Junxia, ZHAO Ruilian
计算机应用
.
2015, (7): 2004
-2008
.
DOI: 10.11772/j.issn.1001-9081.2015.07.2004
