朱利 沈钧毅 陈玲 王欣峻 王志海 徐亚妮 刘勇

测试数据 动物特征值 DU对 输入变量 数据流 线性算术表示 确定型有穷自动机 结构测试 控制流 线性约束 谓词函数 数据流准则 测试数据自动生成 动物识别

西安交通大学计算机软件研究所 西安交通大学电子与信息工程学院 陕西西安 西安交通大学软件学院 陕西渭南 西安卫星测控中心 长安大学信息工程学院 湖南涉外经济学院计算机系