Synthesis of interface specifications for Java classes (2005)

by R Alur, P Černý, P Madhusudan, W Nam
Venue:ACM SIGPLAN Notices