An evaluation of slicing algorithms for concurrent programs

SCAM 2007 - Proceedings 7th IEEE International Working Conference on Source Code Analysis and Manipulation

Volumn , Issue , 2007, Pages 17-26

  Giffhorn, Dennis ^a   Hammer, Christian ^a  

^a UNIVERSITY OF PASSAU   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER SOFTWARE;

COMPUTATION TIMES; CONCURRENT PROGRAMS; EFFICIENT ALGORITHMS; PROGRAM SLICING; RECURSIVE PROCEDURES; REDUCTION TECHNIQUES; SEQUENTIAL PROGRAMS; SLICING ALGORITHMS;

CONCURRENCY CONTROL;

EID: 47749111999     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCAM.2007.9     Document Type: Conference Paper

References (25)

1. H. Agrawal, R. Demillo, and E. Spafford. Debugging with dynamic slicing and backtracking. Software Practice and Experience, 23(6):589-616, 1993.
2. S. Bates and S. Horwitz. Incremental program testing using program dependence graphs. Proc POPL '93, pp. 384-396, ACM Press, 1993.
3. Z. Chen and B. Xu. Slicing concurrent java programs. ACM SIGPLAN Notices, 36(4):41-47, 2001.
4. J. Cheng. Slicing concurrent programs. Automated and Algorithmic Debugging, 1993.
5. J. Cheng. Dependence analysis of parallel and distributed programs and its applications. International Conference on Advances in Parallel and Distributed Computing, 1997.
6. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification. Addison Wesley Prof., 3rd edition, 2005. http://java.sun.com/ docs/books/jls/.
7. C. Hammer and G. Snelting. An improved slicer for Java. PASTE'04, 2004.
8. C. Hammer, J. Krinke, and G. Snelting: Information flow control for java based on path conditions in dependence graphs. Proc. IEEE International Symposium on Secure Software Engineering, 2006
9. J. Hatcliff, J.C. Corbett, M.B. Dwyer, S. Sokolowski, and H. Zheng. A formal study of slicing for multi-threaded programs with jvm primitives. Static Analysis Symposium, pages 1-18, 1999.
10. S.B. Horwitz, T.W. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM Trans. Prog. Lang. Syst., 12(1):26-60, 1990.
11. M. Kamkar, N. Shahmehri, and P. Fritzson. Bug localization by algorithmic debugging and program slicing. Proceedings of International Workshop on Programming Language Implementation and Logic Programming, LNCS, 456pp.60-74, Springer, 1990.
12. J. Krinke. Static slicing of threaded programs. PASTE '98, pp. 35-42, 1998.
13. J. Krinke. Evaluating context-sensitive slicing and chopping. International Conference on Software Maintenance, pages 22-31, 2002.
14. J. Krinke. Context-sensitive slicing of concurrent programs. Proc. ESEC/FSE'03, pages 178-187, 2003.
15. M. Müller-Olm and H. Seidl. On optimal slicing of parallel programs. STOC 2001 (33th ACM Symposium on Theory of Computing), pages 647-656, 2001.
16. M.G. Nanda and S. Ramesh Interprocedural slicing of multithreaded programs with applications to Java. ACM TOPLAS., 28(6):1088-1144, 2006.
17. M.G. Nanda and S. Ramesh. Slicing concurrent programs. ISSTA 2000, pages 180-190, 2000.
18. G. Naumovich, G. S. Avrunin, and L. A. Clarke. An efficient algorithm for computing MHP information for concurrent java programs. In Proc. ESEC/FSE '99, pages 338-354. Springer, 1999.
19. K.J. Ottenstein and L.M. Ottenstein. The program dependence graph in a software development envi- ronment. ACM Softw. Eng. Notes, 9(3):177-184, 1984.
20. G. Ramalingam. Context-sensitive synchronization-sensitive analysis is undecidable. ACM Trans. Prog. Lang. Syst., 22 (2):416-430, 2000.
21. M. Sharir and A. Pnueli. Two approaches to interprocedural data flow analysis. Program Flow Analysis: Theory and Applications, 1981.
22. F. Tip. A survey of program slicing techniques. Journal of Prog. Lang., 3(3):121-189, Sept. 1995.
23. M. Weiser. Program slicing. IEEE TSE, pages 352-357 1984.
24. J. Zhao, J. Cheng, and K. Ushijima. Static slicing of concurrent object-oriented programs. Proceedings of the 20th IEEE Annual Int. Computer Software and Applications Conference, pages 312-320, 1996.
25. J. Zhao. Slicing concurrent java programs. Proceedings of the 7th IEEE International Workshop on Program Comprehension, pages 126-133, 1999.