Static specification inference using predicate mining.

Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan

Browse the full PLDI paper archive.