1. G. Antoniol, M. Di Penta, M. Zazzara, Understanding Web applications through dynamic analysis, presented at Proceedings. 12th IEEE International Workshop on Program Comprehension, 24–26 (2004), Bari, Italy, 2004.
2. J. Beck, D. Eichmann, Program and interface slicing for reverse engineering, presented at Proceedings of the 15th International Conference on Software Engineering, May 17–21 1993, Baltimore, MD, USA, 1993.
3. M. Benedikt, J. Freire, P. Godefroid, VeriWeb: Automatically Testing Dynamic Web Sites, presented at 11th International World Wide Web Conference, 2002.
4. D. Binkley, M. Harman, Results from a large-scale study of performance optimization techniques for source code analyses based on graph reachability algorithms, presented at Third IEEE International Workshop on Source Code Analysis and Manipulation. Proceedings, 26–27 Sept. 2003, Amsterdam, Netherlands, 2003.
5. Symbolic evaluation and the analysis of programs;Cheatham;IEEE Transactions on Software Engineering,1979