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]

@inproceedings{RajanNL015,
  title = {Inferring Behavioral Specifications from Large-scale Repositories by Leveraging Collective Intelligence},
  author = {Hridesh Rajan and Tien N. Nguyen and Gary T. Leavens and Robert Dyer 0001},
  year = {2015},
  doi = {10.1109/ICSE.2015.339},
  url = {http://dx.doi.org/10.1109/ICSE.2015.339},
  researchr = {https://researchr.org/publication/RajanNL015},
  cites = {0},
  citedby = {0},
  pages = {579-582},
  booktitle = {37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2},
  publisher = {IEEE},
}