Research Interests

My work is part of recent efforts by the software engineering research community to discover specifications from execution traces left behind by real software systems. This process is commonly termed as specification mining. My research focuses on the discovery of specifications in the language of high-level Message Sequence Charts (MSCs). Automatic discovery of such specifications has the potential to improve comprehension of systems having several logically independent components (eg: distributed systems, embedded systems, object oriented programs).

Publications

Conferences:

• Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo: Inferring Class Level Specifications for Distributed Systems , ICSE, 2012 (To Appear). (PDF)

• Sandeep Kumar, Siau-Cheng Khoo, Abhik Roychoudhury, David Lo: Mining Message Sequence Graphs , ICSE, 2011. (PDF)

Others:

Sandeep Kumar: Specification mining in concurrent and distributed systems, Doctoral Symposium at ICSE 2011. (PDF)