Kaveri: Delivering the Indus Java Program Slicer to Eclipse
暂无分享,去创建一个
[1] Matthew B. Dwyer,et al. A new foundation for control dependence and slicing for modern program structures , 2005, TOPL.
[2] Venkatesh Prasad Ranganath,et al. OBJECT-FLOW ANALYSIS FOR OPTIMIZING FINITE-STATE MODELS OF JAVA SOFTWARE , 2002 .
[3] James C. Corbett,et al. Bandera: extracting finite-state models from Java source code , 2000, ICSE.
[4] Laurie Hendren,et al. Soot---a java optimization framework , 1999 .
[5] James C. Corbett,et al. A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives , 1999, SAS.
[6] Jens Krinke,et al. Static slicing of threaded programs , 1998, PASTE '98.
[7] Jens Krinke,et al. Advanced slicing of sequential and concurrent programs , 2003, 20th IEEE International Conference on Software Maintenance, 2004. Proceedings..
[8] John Hatcliff,et al. Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs , 2004, CC.