四川大学主页平台管理系统洪玫--中文主页--论文成果

最后更新时间：.. 访问量：

论文成果

当前位置: 中文主页 >> 科研成果 >> 论文成果

目前已在权威国际国内学术期刊和国际会议上发表论文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的功能测试用例生成方法等。

共1条 1/1

首页上页下页尾页