Searching for "Slicing Concurrent Java Programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

Slicing Concurrent Java Programs
by Jianjun Zhao — 1999 — In Proceedings of the 7th IEEE International Workshop on Program Comprehension
…Slicing Concurrent Java Programs Jianjun Zhao Department of Computer Science and Engineering…
Cited by 30 (6 self) – Add To MetaCart

Slicing Concurrent Java Programs
by Zhenqiang Chen, Zhenqiang Chen, Baowen Xu, Baowen Xu — 2001 — ACM SIGPLAN Notices
…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
by Venkatesh Prasad Ranganath, John Hatcliff — 2006
…Slicing Concurrent Java Programs using Indus and Kaveri ∗ Venkatesh Prasad Ranganath John Hatcliff…
Add To MetaCart

Slicing concurrent Java programs using Indus and Kaveri
by Venkatesh Prasad, Ranganath John Hatcliff — 2005
…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
by Venkatesh Prasad Ranganath, John Hatcliff — 2004 — Proceedings of Compiler Construction (CC’04
…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
by Ganeshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff — 2005 — In FASE
… 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
by Matthew B. Dwyer, James C. Corbett, John Hatcliff, Stefan Sokolowski, Hongjun Zheng — 1999
… 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
by Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Ranganath, Todd Wallentine — 2006 — In: Proceedings of International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’2006
… 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?
by unknown authors
… 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
by Guillaume Brat, Klaus Havelund, Seungjoon Park, Willem Visser — 2000 — In Proceedings of the Workshop on Advances in Verification
… 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

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB