Kaveri: Delivering the Indus Java program slicer to Eclipse

Lecture Notes in Computer Science

Volumn 3442, Issue , 2005, Pages 269-272

  Jayaraman, Ganeshan ^a   Ranganath, Venkatesh Prasad ^a   Hatcliff, John ^a  

^a 129 Seaton Hall   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; LIBRARIES; USER INTERFACES;

COMPUTER LIBRARY; INDUS PROGRAM ANALYSIS; PROGRAM SLICER; USER INTERFACE - KAVERI;

JAVA PROGRAMMING LANGUAGE;

EID: 24644509050     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31984-9_20     Document Type: Conference Paper

References (10)

1. Krinke, J.: Advanced Slicing of Sequntial and Concurrent Programs. PhD thesis, Fakultät für Mathematik und Informatik, Universität Passau (2003)
2. Corbett, J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., Pǎsǎreanu, C.S., Robby, Zheng, H.: Bandera: Extracting finite-state models from Java source code. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE'00). (2000) 439-448
3. Sable Group: Soot, a Java Optimization Framework, (http://www.sable. mcgill.ca/soot/)
4. Ranganath, V.P., Hatcliff, J.: Pruning interference and ready dependences for slicing concurrent Java programs. In: Proceedings of Compiler Construction (CC'04). Volume 2985., Springer-Verlag (2004) 39-56
5. Hatcliff, J., Corbett, J.C., Dwyer, M.B., Sokolowski, S., Zheng, H.: A formal study of slicing for multi-threaded programs with JVM concurrency primitives. In: Proceedings on the International Symposium on Static Analysis (SAS'99). (1999)
6. Ranganath, V.P., Amtoft, T., Banerjee, A., B.Dwyer, M., Hatcliff, J.: A new foundation for control-dependence and slicing for modern program structures, Springer-Verlag (2005) To appear in the Proceedings of European Symposium On Programming (ESOP'05).
7. Krinke, J.: Static slicing of threaded programs. In: Proceedings ACM SIGPLAN/SIGFSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'98). (1998) 35-42 ACM SIGPLAN Notices 33(7).
8. Ranganath, V.P.: Object-Flow Analysis for Optimizing Finite-State Models of Java Software. Master's thesis, Kansas State University (2002)
9. OTI: Eclipse, an open extensible IDE written in Java, (http://www.eclipse.org)
10. SAnToS Laboratory: Indus. (http://indus.projects.cis.ksu.edu)