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

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