Inferring class level specifications for distributed systems.

Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo

Browse the full ICSE paper archive.