F. Logozzo, and A. Cortesi. Electronic Notes in Theoretical Computer Science (Proc. of the First Int. Workshop on Abstract Interpretation of Object-oriented Languages (AIOOL 2005)), (2005)
Y. Zou, and M. Hung. ICPC '06: Proceedings of the 14th IEEE International Conference on Program Comprehension, page 127-136. IEEE Computer Society, (2006)
H. Müller, J. Jahnke, D. Smith, M. Storey, S. Tilley, and K. Wong. International Conference on Software Engineering (ICSE '00): Proceedings of the Conference on The Future of Software Engineering, page 47-60. (2000)
P. Cousot, and R. Cousot. POPL '77: Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, page 238-252. ACM Press, (1977)