Program slicing is a technique to extract program parts with respect to some special
computation. Since Weiser first proposed the notion of slicing in 1979, hundreds of papers …

Concurrent programs are replacing the sequential programs as they utilize the true
capabilities of multicore architecture. The extensive use of multicore systems and …

The incorporation of context-awareness capabilities into pervasive applications allows them
to leverage contextual information to provide additional services while maintaining an …

Unit test cases are focused and efficient. System tests are effective at exercising complex
usage patterns. Differential unit tests (DUT) are a hybrid of unit and system tests. They are …

Code clones are common in software. When applying similar edits to clones, developers
often find it difficult to examine the runtime behavior of clones. The problem is exacerbated …

Concurrent programs are still prone to bugs arising from the subtle interleavings of threads.
Traditional static analysis for concurrent programs, such as data-flow analysis and symbolic …

Program slicing is a program analysis and transformation technique that has been
successfully used in a wide range of applications including program comprehension …

Unit test cases are focused and efficient. System tests are effective at exercising complex
usage patterns. Differential unit tests (DUT) are a hybrid of unit and system tests that exploits …

This tool paper describes a modular program slicer for Java built using the Indus program
analysis framework along with it's Eclipse-based user interface called Kaveri. Indus provides …

Abstract Model checking techniques have proven effective for checking a number of non-
trivial concurrent object-oriented software systems. However, due to the high computational …