"Static specification inference using predicate mining."

Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics