学术论文
，电子学报, 2005， 33.(12)，pp 258-261(EI)
[11] 缪力，张大方，扩展有限状态机（EFSM）的后向切片，软件学报, 2004,Vol.15，supl, 169-178(EI)
[12] LiuXi,Miao Li, Zhao Dan, Li Wei. AnApproach of Coarse-grained Dynamic Slice for Java Program, ICCNE 2011, 27-29,May ，2011，Xi'an,pp: 670 - 674 （EI/ISTP）
[13] Heguoqing,Zhang Dafang, Miaoli, Zhao Dan,Lightweight Fault Localization Based on Program Semantics，In：Proc of the 3rd InternationalConference on Computer Engineering and Technology(ICCET 2011)，June,17-19,Kuala Lumpur，Malaysia,pp:331-336（EI/ISTP）
[14] 缪力，张大方，基于类成员后向切片的面向对象程序回归测试，装甲兵工程学院学报，2004.2,pp:31-34
[15] 缪力，张大方，基于UML Statechart语义的测试序列生成方法，计算机工程与科学，2005,26(4)，pp：3-5
[16] 黄谷,缪力, 张大方, 周志远. 基于模型检查的TCP连接管理协议分析与验证. 计算机工程与设计.2009,30(10): 2381-2386
[17] 周志远,张大方,缪力,基于Java内存模型的并发程序模型检测，计算机工程与科学，2010, 32(3), pp: 111-114
[18] 周志远,张大方,缪力,对Java并发程序进行模型检测,计算机工程与设计, 2009,30(2), pp:370-373
[19] 黄谷,缪力,张大方,802.11i双向认证协议的模型检查,计算机工程与科学, 2010,32(4), pp: 25-28
[20] 金秀,张大方, 缪力, IEEE802.11中WEP认证协议的SPIN模型检测, 计算机工程与设计, 2008, 29(3),pp. 390-391
[21] 郭伟,缪力,张大方,闵应骅, 基于Spin的UML状态图模型检查的设计与实现, 计算机工程与应用，2008,Vol.44(10),pp.43-47
[22] 王大伟,张大方,缪力, 一种自动化模型检测ANSI-C程序的实用方法,计算机工程与科学, 2010,32(4), pp: 79-82
个人简历
缪力，男，1972年9月生，湖南长沙人。2000年获兰州理工大学硕士学位，2006年获 九色
计算机博士学位。浙江大学管理科学博士后，2014年在纽约州立大学石溪分校访问。主要研究软件测试，Hadoop性能优化技术，程序分析。
科研状况
1． 基于模型检查的软件错误定位技术研究，国家“可信软件”重大研究计划项目（90718008）2008.1-2010.12（排名第二）
2． 基于流分析的分布式Java程序模型检查技术研究，国家自然科学基金资助项目（60673155）2007.1－2009.12（排名第二）
3． 国防基础科研“十一五”项目（A1420060162），2006.1-2007.12
4． 软件容错测量理论与技术研究，国家自然科学基金资助项目(60473031)，2005.1-2007.12（排名第三）
5． 基于端系统的网络在线测量理论与技术研究，国家自然科学基金资助项目(60273070)，2003.1-2005.12
