Inferring class level specifications for distributed systems

Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo. Inferring class level specifications for distributed systems. In Martin Glinz, Gail C. Murphy, Mauro Pezzè, editors, 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland. pages 914-924, IEEE, 2012. [doi]

@inproceedings{KumarKRL12,
  title = {Inferring class level specifications for distributed systems},
  author = {Sandeep Kumar and Siau-Cheng Khoo and Abhik Roychoudhury and David Lo},
  year = {2012},
  doi = {10.1109/ICSE.2012.6227128},
  url = {http://dx.doi.org/10.1109/ICSE.2012.6227128},
  researchr = {https://researchr.org/publication/KumarKRL12},
  cites = {0},
  citedby = {0},
  pages = {914-924},
  booktitle = {34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland},
  editor = {Martin Glinz and Gail C. Murphy and Mauro Pezzè},
  publisher = {IEEE},
  isbn = {978-1-4673-1067-3},
}