面向安全需求的测试用例自动生成技术研究
周绍君 1,徐中伟 1,喻 钢 1,2,李弋强 1,吴 剑 1
Research of auto-generation techniques for safety requirement oriented test case
ZHOU Shao-jun 1,XU Zhong-wei 1,YU Gang 1,2,LI Yi-qiang 1,WU Jian 1
计算机工程与应用 . 2009, (28): 75 -78 .  DOI: 10.3778/j.issn.1002-8331.2009.28.022