Presentation
Inferring behavioral specifications from large-scale repositories by leveraging collective intelligence
Proceedings of the 37th International Conference on Software Engineering (ICSE '15)
(2015)
Hridesh Rajan, Tien N. Nguyen, Gary T. Leavens and Robert Dyer
Despite their proven benefits, useful, comprehensible, and efficiently checkable specifications are not widely available. This is primarily because writing useful, ...