%0 Journal Article
%T 启发式探索的协议测试序列生成
%A 舒挺
%A 孙守迁
%A 王海宁
%A 徐伟强
%A 李文书
%J 北京邮电大学学报
%P 120-124
%D 2009
%R 10.13190/jbupt.200906.120.shut
%K 协议一致性测试
%K 权值扩展有限状态机
%K 状态格局
%K 可达性分析
%U http://www.buptjournal.cn/CN/abstract/abstract596.shtml