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

by H Zhong, L Zhang, H Mei
Venue:in APSEC, 2008