欢迎访问中国科学院大学学报,今天是
一个基于安全模型的测试用例生成工具
黄 亮 冯登国 张 敏
A generation tool of test case based on security model
HUANG Liang, FENG Deng-Guo, ZHANG Min
中国科学院大学学报 . 2007, (3): 300 -306 .  DOI: 10.7523/j.issn.2095-6134.2007.3.005