基于Petri网的图形用户界面测试 - 林涛 高建华 (计算机应用研究, 2016)
Keywords: 事件序列; 测试用例生成; 离散并行系统; 软件缺陷; 黑盒测试; 测试用例生成; 离散并行系统; test case generation; 黑盒测试; software bug; 事件序列; black-box test; event sequences; discrete parallel system; 软件缺陷