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

Hridesh Rajan, Tien N. Nguyen, Gary T. Leavens, Robert Dyer 0001. Inferring Behavioral Specifications from Large-scale Repositories by Leveraging Collective Intelligence. In 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2. pages 579-582, IEEE, 2015. [doi]

Authors

Hridesh Rajan

This author has not been identified. Look up 'Hridesh Rajan' in Google

Tien N. Nguyen

This author has not been identified. Look up 'Tien N. Nguyen' in Google

Gary T. Leavens

This author has not been identified. It may be one of the following persons: Look up 'Gary T. Leavens' in Google

Robert Dyer 0001

This author has not been identified. Look up 'Robert Dyer 0001' in Google