A static analyzer for finding dynamic programming errors (2000)

by W R Bush, J D Pincus, D J Siela
Venue:Software-Practice and Experience