@article{顾翔_1471, author = {[顾翔, 邱建林, 严燕]}, title = {基于输入/输出动作的协议形式化描述和测试用例生成方法}, publisher = {《计算机应用》唯一官方网站}, year = {2008}, journal = {计算机应用}, volume = {28}, number = {6}, eid = {1471}, pages = {1471-1474}, keywords = {协议测试;形式化描述;RAISE规范语言}, url = http://www.joca.cn/CN/abstract/article_11597.shtml }