目前已在权威国际国内学术期刊和国际会议上发表论文60余篇，其中EI/SCI收录5篇，核心期刊45篇；申请国家专利2项；参与出版教材5部。代表论文包括：基于RQP算法的数据库系统测试数据生成方法；分布式自动化软件测试实验技术研究；An Approach of Test Suite Random Generation in Software Testing；An Approach of Automated Test Cases Generation in Database Stored Procedure Testing；多处理器实时系统可调度性分析的UPPAAL模型；A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking；基于有界模型检测的C/C++程序内存泄漏检测；基于模型检测工具NuSMV的功能测试用例生成方法等。
发布时间：2021-04-13 点击次数：次
是否译文：否