1. Agrawal, H., and Horgan, J.R. (1990).” Dynamic Program Slicing,” in Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 25(6), ACM SIGPLAN Notices, pp. 246–256, White Plains, NY.
2. Compilers—Principles, Techniques and Tools;Aho,1986
3. Ammons, G., Bodik, R., and Larus, J.R. (2002).” Mining Specifications,” in Proceedings of the ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages, Portland, OR.
4. Artzi, S., Kim, S., and Ernst, M.D. (2008).” ReCrash: Making Software Failures Reproducible by Preserving Object States,” in Proceesings of ECOOP 2008, Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus.
5. “Verification of Object-Oriented Programs with Invariants,”;Barnett;Journal of Object Technology,2004