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]

Abstract

Abstract is missing.