马海云 王泽宇 胡晓辉 周兴社

数据仓库 软件测试 布尔函数 软件可靠性 分布系统 有穷自动机 随机测试模型 代理

甘肃兰州 甘肃天水 天水师范学院数信学院 天水师范学院物信学院 兰州交通大学信息与工程学院 兰州交通大学信息与电气工程学院