E-Mail:
Date of Employment:1993-07-01
School/Department:计算机学院（软件学院、智能科学与技术学院）
Administrative Position:教授
Education Level:With Certificate of Graduation for Study as Master's Candidates
Business Address:四川大学望江校区基础教学楼JC-B-306, 四川大学江安校区二基楼B502 通信方式：四川大学计算机学院（610065）
Contact Information:(+86) 28 85469305(O), 13980494530
Degree:硕士
Status:Retired
Alma Mater:四川大学
Honors and Titles:
高校教龄32年，从事软件工程领域科研工作近20年，主持和参与省部级科研项目5项，大、中型横向科研项目20余项，其中1项为大型项目。获得国家科技进步一等奖1项；教育部重大贡献奖1项。Journal of Computer Science and Technology等学术期刊审稿人；作为程序委员会委员参与本领域的多个国际学术会议审稿。国际科技合作计划评价专家；四川省科技厅项目评审专家。四川大学教师发
The Last Update Time: ..
目前已在权威国际国内学术期刊和国际会议上发表论文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的功能测试用例生成方法等。
Current position:
Paper Publications