Static Debugging: Browsing the Web of Program Invariants.

Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen

Browse the full PLDI paper archive.