%0 Journal Article
%T 自适应EFSM可执行测试序列生成
%A 舒  挺  刘良桂  徐伟强  李文书
%J -
%D 2012
%X 基于扩展有限状态机(EFSM)模型自动生成测试序列可以提高测..
%K [自适应搜索
%K 扩展有限状态机
%K 状态格局
%K 可达性分析
%K 测试序列
%K adaptive exploration
%K extend finite state machine (EFSM)
%K state configuration
%K reachability analysis
%K test sequence]
%U http://crad.ict.ac.cn/CN/Y2012/V49/I6/1211