Predicate-based dynamic slicing of message passing programs

SCAM 2002 - Proceedings, 2nd IEEE International Workshop on Source Code Analysis and Manipulation

Volumn , Issue , 2002, Pages 133-142

  Rilling, J ^a   Li, H F ^a   Goswami, D ^a  

^a Dept of Electrical and Computer Engineering   (Canada)

Author keywords

message passing; predicate slice; predicate trace; program comprehension; Program slicing

Indexed keywords

DECOMPOSITION TECHNIQUE; DISTRIBUTED PROGRAM; MESSAGE PASSING PROGRAMS; PREDICATE SLICES; PREDICATE TRACE; PROGRAM COMPREHENSION; PROGRAM SLICING; STATEMENT EXECUTION;

MESSAGE PASSING;

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

References (43)

1. Agrawal H. and Horgan, J, "Dynamic program slicing", In Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation, SIGPLAN Notices, 25(6) , pp. 246-256, 1990.
2. Agrawal H., DeMillo, R., and Spafford, E., "Debugging with dynamic slicing and backtracking", Software - Practice and Experience, 23(6), pp. 589-616, 1993.
3. Agrawal H., "On Slicing programs with jump statements", In proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation, pp. 112-135, 1994.
4. Binkley D. and Gallagher K., "Program Slicing", Adv. in Computers, 43, Academic Press, pp. 1-52, 1996.
5. Chen J.L., Wang F.J., and Chen Y.L., "Slicing object oriented Programms", Proceedings of the APSEC'97, pp 395-404, Hongkong, China, December 1997.
6. Cheng J., "Slicing concurrent programs a graph-approach", In Proceedings of the First International Workshop on Automated and Algorithmic Debugging ( 1993), P. Fritzson, Ed., Vol. 749 of Lecture Notes in Computer Science, Springer- Verlag, pp. 232-245, 1993.
7. Choi J.-D., Miller, B., and R., "Techniques for debugging parallel programs with flowback analysis", ACM Transactions on Programming Languages and Systems, 13(4), pp. 491-530, 1991.
8. Duesterwald E., Gupta R., and Soffa M., "Distributed slicing and partial re-execution for distributed programs", In Proceedings of the fifth workshop on Languages and Compilers for Parallel Computing, New Haven, Connecticut, pp. 329-337, 1992.
9. Dumais G. and Li Hon F., "State Lattice Decomposition and Distributed Predicate Detection," to appear in IEEE Trans. on Parallel and Distributed Systems, April 2002.
10. Garg V. K. and Mittal N., On Slicing a Distributed Computation, In Proceedings of the 21st IEEE International Conference on Distributed Computing Systems (ICDCS), pages 322-329, Phoenix, Arizona, USA, April 2001.
11. Gallagher K. and Lyle J., "Using program slicing in software maintenance", IEEE Transactions on Software Engineering, 17(8), pp. 751-761, August 1991.
12. Gopal R., "Dynamic program slicing based on dependence relations", In Proceedings of the Conference on Software Maintenance, pp. 191-200, 1991.
13. Gupta R., Harrold, M., and Soffa, M., "An approach to regression testing using slicing", In Proceedings of the Conf. on Software Maintenance, , pp. 299-306, 1992.
14. Gupta R., Soffa M. and Howard J., "Hybrid Slicing: Integrating Dynamic Information with Static Analysis", ACM Transactions on Software Engineering and Methodology, 6(4), pp 370-397, October 1997.
15. Harman M., Hierons R., Danicic S, Howroyd J. and Fox C., Node Coarsening Calculi for Program Slicing, IEEE Working Conference on Reverse Engineering (WCRE 2001), 2-5 October 2001, Stuttgart, Germany, 2001.
16. Harman M.and Danicic S., A New Algorithm for Slicing Unstructured Programs, Journal of Software Maintenance, 10(6), Pages 415-441, November/December 1998.
17. Harman M. and Gallagher K., editors, Journal of Information and Software Technology Special Issue on Program Slicing, volume 40. Elsevier, 1998.
18. Harman M. and Danicic D. ,Amorphous Program Slicing, IEEE International Workshop on Program Comprehension ,Dearborn, Michigan, USA. 28th - 30th May 1997, Pages 70-79.
19. Hart, J.M, "Experinece with Logical code analysis in software reuse and reengineering", In AIAA computing in Aeorspace, 10, , pp. 1243-1262, San Antonio, Tx, March 28-30, 1995.
20. Hendley R., et al.: "Case Study - Narcissus: Visualizing Information", Proceedings of the IEEE Information Visualization 95, pp. 90-96, 1995.
21. Horwitz S., Reps, T., and Binkley, D., "Interprocedural slicing using dependence graphs", ACM Transactions on Programming Languages and Systems, 12(1), pp. 26-61, 1990.
22. Horwitz ,S. and Reps, T., "The use of program dependence graphs in software engineering", In Proceedings of the 14th Int. Conference on Software Engineering, pp. 392-411, Melbourne,Australia, 1992.
23. M. Kamkar and P. Krajina. Dynamic slicing of distributed programs. In International Conference on Software Maintenance, pages 222-229, Oct. 1995.
24. Kamkar M., Fritzson, P., and Shahmehri, N., "Three approaches to interprocedural dynamic slicing", Microporcessing and Microprogramming, (38), pp. 625-636, 1993.
25. Korel, B. and Laski, J., "Dynamic program slicing", In. Process. Letters, 29(3), pp. 155-163, Oct. 1988.
26. Korel, B. and Ferguson, R., "Dynamic slicing of distributed programs", Applied Mathematics & Computer Science Journal, 2(2), pp. 199-215, 1992.
27. Korel, B. and Yalamanchili, S., "Forward Derivation of Dynamic Slices", Proceedings of the Intern. Symposium on Software Testing and Analysis, pp. 66-79, Seattle, 1994.
28. th IWPC '98, pp. 145-152, Ischia, Italy, June 1998.
29. Korel, B. and Rilling, J., "CASE and Dynamic Program Slicing in Software Maintenance", Special issue of the International Journal of Computer Science and Information Management, (June 1998)
30. Krishnaswamy A., "Program slicing: An application of object-oriented Program Dependency Graphs", Technical report TR94-108, Cs Dep., Clemson University, 1994.
31. Kung D., Gao J. et al., "Developing an object-oriented software testing and maintenance environment"; In Communications. of the ACM, Vol. 38, Issue 10 (1995), pp. 75-87.
32. Krinke J., Static slicing of threaded programs. In Proceedings of the ACM SIGPLAN/SIGFSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'98), pages 35-42.
33. th International conference on Software engineering, March,1996.
34. Law R.C.H, "Object-Oriented Program Slicing" Ph.D thesis, University of Regina, Regina, Canada, 1994.
35. Lyle, J. and Weiser, M., "Experiments on slicing-based debugging tools", Proceedings of the 1st Conference on Empirical Studies of Programming", pp. 187-197, 1986.
36. Mittal N. and Garg V. K., "Computation Slicing Techniques and Theory", In Proceedings of the 15th International Symposium on Distributed Computing (DISC), pages 78-92, Lisbon, Portugal, October 2001. © Springer- Verlag.
37. Rilling J., Karanth B. "A Hybrid Program Slicing Framework", IEEE International Workshop on Source Code Analysis and Manipulation SCAM 2001, Florence, Italy, November 2001.
38. Rilling J.,"MOOSE - A Task-Driven Program Comprehension Environment", IEEE Computer Society Press in the proceedings of the 25th Annual International Computer Software & Applications Conference (COMPSAC 2001) Chicago, Illinois, October 2001.
39. Tip F., "A survey of program slicing techniques", Journal of Progr. Languages, 3(3), pp. 121-189, 9/1995.
40. Weiser, M., "Programmers use slices when debugging", Communications of the ACM, 25, pp. 446-452, 1982.
41. Weiser, M., "Program slicing", IEEE Transactions on Software Engineering 10(4), pp. 352-357, 1984.
42. th IEEE Annual International Computer Software and Applications conference , pp.312-320, August, 1996, IEEE Computer Society Press.
43. Zhao J., " Dynamic Slicing of Object-Oriented Programs," Technical-Report SE-98-119, pp.17-23, Information Processing Society of Japan, May 1998.