湖南大学信息科学与工程学院导师介绍:缪力_-查字典考研网
 
请输入您要查询的关键词
  查字典考研网 >> 院校信息 >> 导师介绍 >> 湖南大学信息科学与工程学院导师介绍:缪力

湖南大学信息科学与工程学院导师介绍:缪力

考研时间: 2012-07-17 来源:查字典考研网
姓 名缪力性 别
籍 贯湖南省长沙市民 族
出生年月1972..9政治面貌九三学社
最后学历博士行政职务
职 称副教授获该职称年份2008
联系方式(Email)Miaoli2000@163.com
学习经历2002-2006 湖南大学计算机与通信学院 博士研究生1997-2000 兰州理工大学控制与信息系 硕士研究生1990-1992 南京邮电大学有线系
工作经历2006- 湖南大学软件学院 教师2000-2002 神州数码有限公司 软件工程师1992-1997 湖南省邮电规划设计院 助理工程师
主要研究方向或领域软件测试,程序分析
教学情况主讲研究生与本科生的《软件测试技术》课程参与软件学院“做中学”部分课程讲授
科研情况(包括项目名称、经费等)2008.1~2010.12 国家自然科学基金 基于模型检查的软件错误定位研究 50万 排名第二 2007.1~2009.12 国家自然科学基金 基于流分析的分布式JAVA程序模型检测技术研究 27 万 排名第二
发表论文与著作

1.缪力,张大方,通信下推系统的一种有界可达算法,计算机工程与应用,2008.9

2.缪力,张大方,模型检查的两阶段程序框架,计算机应用,2007.12

3. Li Miao, Dafang Zhang, Generate Test Sequences for UML Statecharts,The Chinese Journal of Electronics,2006.2(SCI,EI)

4.缪力,张大方,非定态程序测试数据自动生成,电子学报, 2005.2(EI)

5.缪力,张大方,扩展有限状态机(EFSM)的后向切片,软件学报, supl, 2004.12(EI)

6.Li Miao, Dafang Zhang,Xuedong Yang, Regression testing of Object-Oriented programs based on backward-slicing class members, Proceeding of SCI2004, July 2004,Orlando,USA(ISTP)

7.缪力,张大方,基于类成员后向切片的面向对象程序回归测试,装甲兵工程学院学报,2004.2

8.Li Miao, Dafang Zhang,Xuedong Yang , Regression Testing of Object-Oriented Programs on Class Members Granularity, Proceeding of SCI2004,July 2004,Orlando,USA (ISTP)

9.缪力,张大方,基于UML Statechart 语义的测试序列生成方法.计算机工程与科学,2005.4

10.缪力,张大方,类成员级粒度的面向对象程序回归测试,中国计算机大会,2003.10

11.缪力,张大方,计算有互斥机制的并发程序的程序切片,第十届全国容错计算学术会议, 2003.9

12.缪力,张大方,并发过程间程序分析不可判定的一种新证明方法,计算技术与自动化, 2007.2

13.Dan Zhao, Da-fang Zhang, Li Miao, Formal Verification of 802.11MAC Layer Handoff Process Using SPIN Model Checker, Proceeding of World Congress on Software Engineering 2009(WCRE’09), accepted (EI/ISTP)

14.赵丹,张大方,缪力,一种解决Java 程序中虚函数调用问题的方法,上海师范大学学报,2005.5

15.王鹏飞, 张大方, 缪力,包含异常处理的Java 程序切片,计算机工程与科学, 2005.4

16.蒋曹清, 张大方, 缪力,一种回归测试后的错误定位方法,计算机工程与科学,2005.4

17.郭伟, 张大方, 缪力, 闵应骅 基于SPIN 实现UML Statechart 的模型检查,计算机工程与应用,2008.1

18.金秀, 张大方, 缪力,IEEE802.11 中WEP 认证协议的SPIN 模型检查,计算机工程与设计,2008.3

19.黄谷,缪力,张大方,基于模型检查的TCP连接管理协议分析与验证,计算机工程与设计,2009.10

20. 姜玉蓉,缪力,张大方,刘潇潇,Linux进程间通信的模型检测, 计算机科学, 2008 ,Vol 35( 10),297-299

21.周志远, 张大方, 缪 力,对Java并发程序进行模型检测, 计算机工程与设计 ,2009.2

22.周志远,张大方,缪 力,赵 丹,黄 谷,基于Java内存模型的并发程序模型检测,第五届中国测试学术会议(CTC08),苏州,2008.5

获奖情况
社会服务情况
点击显示
推荐文章
猜你喜欢
附近的人在看
推荐阅读
拓展阅读

当前热点关注

  • 大家都在看
  • 小编推荐
  • 猜你喜欢
  •