Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan. Static specification inference using predicate mining. In Jeanne Ferrante, Kathryn S. McKinley, editors, Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007. pages 123-134, ACM, 2007. [doi]
Abstract is missing.