Lackwit: A program understandingtool based on type inference (1997)

by R O'Callahan, D Jackson
Venue:in Proceedings of the 1997 International Conference on Software Engineering (ICSE'96