Inferring Behavioral Specifications from Large-scale Repositories by Leveraging Collective Intelligence.

Hridesh Rajan, Tien N. Nguyen, Gary T. Leavens, Robert Dyer

Browse the full ICSE paper archive.