Synthesis of interface specifications for Java classes (2005)

by R Alur, P Černý, P Madhusudan, W Nam
Venue:In Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages