Inferring Specifications of Object Oriented APIs from API Source Code.

Hao Zhong, Lu Zhang, Hong Mei

Browse the full APSEC paper archive.