Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool.

Mohsen Vakilian, Amarin Phaosawasdi, Michael D. Ernst, Ralph E. Johnson

Browse the full ICSE paper archive.