Searching for "Slicing Concurrent Java Programs." – sorted by Relevance.
-
Slicing Concurrent Java Programs
- Slicing Concurrent Java Programs Jianjun Zhao Department of Computer Science and Engineering
- Cited by 30 (6 self) – Add To MetaCart
-
Slicing Concurrent Java Programs
- Slicing Concurrent Java Programs Zhenqiang Chen and Baowen Xu Department of Computer Science
- Cited by 8 (2 self) – Add To MetaCart
-
Slicing concurrent Java programs using Indus and Kaveri
- Slicing Concurrent Java Programs using Indus and Kaveri ∗ Venkatesh Prasad Ranganath John Hatcliff
- Add To MetaCart
-
Slicing concurrent Java programs using Indus and Kaveri
- Slicing Concurrent Java Programs using Indus and Kaveri ∗ Venkatesh Prasad Ranganath John Hatcliff
- Cited by 3 (0 self) – Add To MetaCart
-
Pruning interference and ready dependences for slicing concurrent Java programs
- Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs ⋆ Venkatesh Prasad
- Cited by 11 (5 self) – Add To MetaCart
-
Kaveri: Delivering the Indus Java program slicer to Eclipse
- capable of slicing concurrent Java programs. Kaveri is an Eclipse plugin that relies on the above library
- Cited by 14 (5 self) – Add To MetaCart
-
Slicing Multi-threaded Java Programs: A Case Study
- models of concurrent Java programs, we have developed the theoretical foundations of slicing threaded
- Cited by 4 (1 self) – Add To MetaCart
-
Evaluating the effectiveness of slicing for model reduction of concurrent object-oriented programs
- Slicing Framework 3.1 A Brief Overview of Slicing Concurrent Java Programs There are many variants
- Cited by 8 (2 self) – Add To MetaCart
-
Kaveri: Delivering Indus Java Program Slicer to Eclipse?
- customized non system dependence graph based interprocedural program slicer capable of slicing concurrent
- Add To MetaCart
-
Java PathFinder - Second Generation of a Java Model Checker
- the work of Hatcliff et al. [7, 6] on static slicing of concurrent Java programs. Their technique consists
- Cited by 78 (2 self) – Add To MetaCart

