Class Partitions - A New Approach to Sequential Object-Oriented Programs. - Rajeev R. Raje; Daniel Pease; Edward T. Guy (HICSS (1), 1996)

OFFERS - a tool for hierarchical implicit analysis of sequential object-oriented programs. - Rajeev R. Raje; Daniel Pease; Edward T. Guy (SAC, 1996)