Inferring specifications of object oriented APIs from API source code (2008)

by H Zhong, L Zhang, H Mei
Venue:In APSEC