7Podgurski A,Clarke L A.Formal Model of Program dependences and its Implications for Software Testing,Debugging and Maintenance.IEEE Transactions on software Engineering,1990,16(9):965-979.
8Chen Zhenqian,Xu Baowen.Dependence Analysis Based Dynamic Slicing for Debugging.Proceedings of International Software Engineering Symposium 2001 (ISES'01),Wuhan,China.