Dynamically discovering likely interface invariants.

Christoph Csallner, Yannis Smaragdakis

Browse the full ICSE paper archive.