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

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