Sandeep Kumar

Mining Behavioral Specifications for Distributed Systems

Sandeep Kumar, 2012 .

Improved False Causal Loop Detection in Polychronous Specificationof Embedded Software

Sandeep K. Shukla, Sandeep Kumar, Matthew Kracht, 2011 .

Mining message sequence graphs

Sandeep Kumar, Siau-Cheng Khoo, David Lo, 2011, 2011 33rd International Conference on Software Engineering (ICSE).

Inferring class level specifications for distributed systems

Sandeep Kumar, Siau-Cheng Khoo, David Lo, 2012, 2012 34th International Conference on Software Engineering (ICSE).

A Concurrency Abstraction Model for Avoiding Inheritance Anomaly in Object-Oriented Programs

Dharma P. Agrawal, Sandeep Kumar, D. Agrawal, 2001, Compiler Optimizations for Scalable Parallel Systems Languages.