姓   名王雷性   别

姓   名王如龙性

姓   名田兴彦性 &nb

姓名彭黎性别女籍贯湖南省长沙市民族汉

姓   名欧阳柳波性   别

姓   名缪力性   别男籍   贯湖南省长沙市民   族汉出生年月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.92.缪力，张大方，模型检查的两阶段程序框架，计算机应用，2007.123. LiMiao,DafangZhang,GenerateTestSequencesforUMLStatecharts，TheChineseJournalofElectronics，2006.2(SCI，EI)4. 缪力，张大方，非定态程序测试数据自动生成，电子学报,2005.2(EI)5．缪力，张大方，扩展有限状态机（EFSM）的后向切片，软件学报,supl,2004.12(EI)6. LiMiao,DafangZhang,XuedongYang,RegressiontestingofObject-Orientedprogramsbasedonbackward-slicingclassmembers,ProceedingofSCI2004,July2004,Orlando,USA（ISTP）7.  缪力，张大方，基于类成员后向切片的面向对象程序回归测试，装甲兵工程学院学报，2004.28.  LiMiao,DafangZhang,XuedongYang,RegressionTestingofObject-OrientedProgramsonClassMembersGranularity,ProceedingofSCI2004,July2004,Orlando,USA（ISTP）9. 缪力，张大方，基于UMLStatechart语义的测试序列生成方法.计算机工程与科学,2005.410.缪力，张大方，类成员级粒度的面向对象程序回归测试，中国计算机大会，2003.1011. 缪力，张大方，计算有互斥机制的并发程序的程序切片,第十届全国容错计算学术会议,2003.912.缪力，张大方，并发过程间程序分析不可判定的一种新证明方法，计算技术与自动化,2007.213.DanZhao,Da-fangZhang,LiMiao,FormalVerificationof802.11MACLayerHandoffProcessUsingSPINModelChecker,ProceedingofWorldCongressonSoftwareEngineering2009(WCRE’09),accepted（EI/ISTP）14.赵丹，张大方，缪力，一种解决Java程序中虚函数调用问题的方法，上海师范大学学报，2005.515. 王鹏飞,张大方,缪力，包含异常处理的Java程序切片，计算机工程与科学,2005.416.蒋曹清,张大方,缪力，一种回归测试后的错误定位方法，计算机工程与科学，2005.417.  郭伟,张大方,缪力,闵应骅基于SPIN实现UMLStatechart的模型检查，计算机工程与应用，2008.118. 金秀,张大方,缪力，IEEE802.11中WEP认证协议的SPIN模型检查，计算机工程与设计，2008.319. 黄谷，缪力，张大方，基于模型检查的TCP连接管理协议分析与验证，计算机工程与设计，2009.1020．姜玉蓉，缪力，张大方，刘潇潇，Linux进程间通信的模型检测,计算机科学,2008，Vol35(10)，297-29921.周志远,张大方,缪力，对Java并发程序进行模型检测，计算机工程与设计,2009.222. 周志远，张大方，缪力，赵丹，黄谷，基于Java内存模型的并发程序模型检测，第五届中国测试学术会议(CTC08)，苏州，2008.5获奖情况  社会服务情况  

姓   名黎文伟性   别男籍  

姓   名金敏性   别女籍  

姓   名范年柏性   别男籍