Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems

Automated Software Engineering

Volumn 11, Issue 1, 2004, Pages 63-89

  Li, Hon F ^a   Rilling, Juergen ^a   Goswami, Dhrubajyoti ^a  

^a Dept of Electrical and Computer Engineering   (Canada)

Author keywords

Concurrent program; Message passing; Program comprehension; Program slicing

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; COMPUTER PROGRAMMING; COMPUTER SYSTEM RECOVERY; CONCURRENT ENGINEERING; OPTIMIZATION; PROGRAM DEBUGGING; SUPERVISORY AND EXECUTIVE PROGRAMS;

CONCURRENT PROGRAMS; MESSAGE PASSING; PROGRAM COMPREHENSION; PROGRAM SLICING;

SOFTWARE ENGINEERING;

EID: 0742321801     PISSN: 09288910     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:AUSE.0000008668.12782.6c     Document Type: Conference Paper

References (68)

1. Agrawal, H. 1994. On slicing programs with jump statements. In Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation, pp. 112-135.
2. Agrawal, H., DeMillo, R., and Spafford, E. 1993. Debugging with dynamic slicing and backtracking. Software Practice and Experience, 23(6):589-616.
3. Agrawal, H. and Horgan, J. 1990. Dynamic program slicing. In Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation, SIGPLAN Notices, vol. 25, no. 6, pp. 246-256.
4. Binkley, D. and Gallagher, K. 1996. Program slicing. Adv. in Computers, Academic Press, vol. 43, pp. 1-52.
5. Borger, E. 1997. Integrating ASM into the software development life cycle. Journal of Universal Computer Science, 3(5):603-665.
6. Canfora, G., Cimitile, A., and De Lucia, A. 1998. Conditioned program slicing. Information and Software Technology, 40(11/2):595-607.
7. Chandy, K.M. and Misra, J. 1988. Parallel Program Design: A Foundation. Addison Wesley Publishing.
8. Chandy, K.M. and Lamport, L. 1985. Distributed snapshots: Determining global states of distributed systems. ACM TOCS, 3(1):63-75.
9. Chen, J.L., Wang, F.J., and Chen, Y.L. 1997. Slicing object oriented Programms. In Proceedings of the APSEC'97, Hongkong, China, pp. 395-404.
10. Cheng, J. 1993. Slicing concurrent programs a graph-approach. In P. Fritzson, editor, Proceedings of the First International Workshop on Automated and Algorithmic Debugging, vol. 749 of Lecture Notes in Computer Science, Springer-Verlag, pp. 232-245.
11. Choi, J.-D., Miller, B., and Netzer, R.H.B. 1991. Techniques for debugging parallel programs with flowback analysis. ACM Transactions on Programming Languages and Systems, 13(4):491-530.
12. Chung, I.S., Chang, B.-M., Kim, B.M., and Jo, J.-W. 2002. Abstract program slicings. Twentieth IASTED International Conference Applied Informatics (AI 2002), Innsbruck, Austria, Feb. 18-21.
13. Das, S., Dill, D., and Park, S. 1999. Experience with predicate abstraction. Lecture notes in Computer Science, Springer Verlag, vol. 1633, pp. 160-171.
14. De Lucia, A. 2001. Program slicing: Methods and applications. In 1st IEEE International Workshop on Source Code Analysis and Manipulation (Florence, Italy), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 142-149.
15. Duesterwald, E., Gupta, R., and Soffa, M. 1992. 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.
16. Dumais, G. and Li, H.F. 2002. State lattice decomposition and distributed predicate detection. IEEE Trans. on Parallel and Distributed Systems, 13(4):373-387.
17. Gallagher, K. and Lyle, J. 1991. Using program slicing in software maintenance. IEEE Transactions on Software Engineering, 17(8):751-761.
18. Garg, V.K. and Mittal, N. 2001. On slicing a distributed computation. In Proceedings of the 21st IEEE International Conference on Distributed Computing Systems (ICDCS), Phoenix, Arizona, USA, pp. 322-329.
19. Ghosh, S. 2002. Towards measurement of testability of concurrent object-oriented programs using fault insertion: A preliminary investigation. In Second IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'02), Montreal, Canada, pp. 17-25.
20. Gopal, R. 1991. Dynamic program slicing based on dependence relations. In Proceedings of the Conference on Software Maintenance, pp. 191-200.
21. Graf, S. and Saidi, H. 1997. "Construction of abstract state graphs with PCS. Lecture notes in Computer Science, Springer-Verlag, vol. 1254, pp. 72-83.
22. Gropp, W., Lusk, E., and Skjellum, A. 1994. Using MPI: Portable Parallel Programming with the Message-Passing Interface. Cambridge, Massachusetts: The MIT Press.
23. Gupta, R., Harrold, M., and Soffa, M., 1992. An approach to regression testing using slicing, In Proceedings of the Conf. on Software Maintenance, pp. 299-306.
24. Gupta, R., Soffa, M., and Howard, J. 1997. Hybrid slicing: Integrating dynamic information with static analysis. ACM Transactions on Software Engineering and Methodology, 6(4):370-397.
25. Hall, R.J. 1995. Automatic extraction of executable program subsets by simultaneous dynamic program slicing. Automated Software Engineering, 2 1:33-53.
26. Harman, M. and Danicic, D. 1997. Amorphous program slicing. IEEE International Workshop on Program Comprehension, Dearborn, Michigan, USA. May 28-30, pp. 70-79.
27. Harman, M. and Danicic, S. 1998. A new algorithm, for slicing unstructured programs. Journal of Software Maintenance, 10(6):415-441.
28. Harman, M. and Gallagher, K. editors, 1998. Journal of Information and Software Technology Special Issue on Program Slicing, Elsevier, vol. 40.
29. Harman, M., Hierons, R., Danicic, S., Howroyd, J., and Fox, C. 2001. Node coarsening calculi for program slicing. IEEE Working Conference on Reverse Engineering (WCRE 2001), Oct. 2-5, Stuttgart, Germany.
30. Harman, M., Hierons, R., Fox, C., Danicic, S., and Howroyd, J. 2001. Pre/post conditioned slicing. IEEE International Conference on Software Maintenance (ICSM'01), Nov. 07-09, Florence, Italy, pp. 138-148.
31. Hart, J.M. 1995. Experinece with logical code analysis in software reuse and reengineering. In AIM Computing in Aeorspace, vol. 10, pp. 1243-1262, San Antonio, TX, March 28-30.
32. Hendley, R. et al. 1995. Case study - Narcissus: Visualizing information. Proceedings of the IEEE Information Visualization 95, pp. 90-96.
33. Horwitz, S., Reps, T., and Binkley, D. 1990, Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems, 12(1):26-61.
34. Horwitz, S. and Reps, T. 1992. The use of program dependence graphs in software engineering. In Proceedings of the 14th Int. Conference on Software Engineering, Melbourne, Australia, pp. 392-411.
35. Kamkar, M. and Krajina, P. 1995. Dynamic slicing of distributed programs. In International Conference on Software Maintenance, pp. 222-229.
36. Kamkar, M., Fritzson, P., and Shahmehri, N. 1993. Three approaches to interprocedural dynamic slicing. Microporcessing and Microprogramming, (38):625-636.
37. Korel, B. and Ferguson, R. 1992. Dynamic slicing of distributed programs. Applied Mathematics & Computer Science Journal, 2(2): 199-215.
38. Korel, B. and Laski, J. 1988. Dynamic program slicing. In Process Letters, 29(3): 155-163.
39. Korel, B. and Rilling, J. 1998a. Program slicing in understanding of large programs. In IEEE Proceedings of the 6th IWPC '98, Ischia, Italy, June pp. 145-152.
40. Korel, B. and Rilling, J. 1998b. CASE and dynamic program slicing in software maintenance, Special issue of the International Journal of Computer Science and Information Management.
41. Korel, B. and Yalamanchili, S. 1994, Forward derivation of dynamic slices. Proceedings of the Intern. Symposium on Software Testing and Analysis, Seattle, pp. 66-79.
42. Krishnaswamy, A. 1994. Program slicing: An application of object-oriented program dependency Graphs. Technical Report TR94-108, Cs Dep., Clemson University.
43. Krinke, J. 1998. Static slicing of threaded programs. In Proceedings of the ACM SIGPLAN/SIGFSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'98), pp. 35-42.
44. Kung, D., Gao, J. et al. 1995. Developing an object-oriented software testing and maintenance environment. In Communications of the ACM, vol. 38, issue 10, pp. 75-87.
45. Larsen, L.D. and Harrold M.J. 1996. Slicing object oriented software. In Proceeding of the 18th International Conference on Software Engineering, March.
46. Law, R.C.H. 1994. Object-oriented program slicing. Ph.D thesis, University of Regina, Regina, Canada.
47. Leblanc, T. and Mellor-Crummey, J. 1987. Debugging parallel programs with instant replay. IEEE Transactions on Computers, C-36 (4):471-482.
48. Lyle, J. and Weiser, M. 1986. Experiments on slicing-based debugging tools. Proceedings of the 1st Conference on Empirical Studies of Programming, pp. 187-197.
49. Mittal, N. and Garg, V.K. 2001a. Computation slicing techniques and theory. In Proceedings of the 15th International Symposium on Distributed Computing (DISC), pp. 78-92, Lisbon, Portugal, Oct. 2001. © Springer-Verlag.
50. Mittal, N. and Garg, V.K. 2001b. On detecting global predicates in distributed computations, In Proceedings of the 21st IEEE Intemation Conference on Distributed Computing Systems, April, pp. 3-10.
51. MPI_Forum, Message Passing Interface Forum, http://www.mpi-forum.org
52. Müller-Olm, M. and Seidl, H. 2001. On optimal slicing of parallel programs. In Proceedings of the thirty-third annual ACM symposium on Theory of computing, Hersonissos, Greece, July, pp. 647-656.
53. Murata, T., Nelson, P.C., and Yim, J. 1991. Predicate-transition net model for multiple agent planning. Information Science, 57/58:361-384.
54. Pratt, V.R. 1986. Modeling concurrency with partial orders. International Journal of Parallel Programming, 15(1).
55. Probst, D.K. and Li, H.F. 1990. Modeling reactive hardware processing using partial orders. In Semantics of Concurrency Workshop in Computing, pp. 324-343.
56. Rilling, J. and Karanth, B. 2001. A hybrid program slicing framework. IEEE International Workshop on Source Code Analysis and Manipulation SCAM 2001, Florence, Italy.
57. Rilling, J. 2001. MOOSE - A task-driven program comprehension environment. In IEEE Computer Society Press in the Proceedings of the 25th Annual International Computer Software & Applications Conference (COMPSAC 2001). Chicago, Illinois.
58. Rilling, J., Li, H.F., and Goswami, D. 2002. Predicate-based dynamic slicing of message passing programs. In Second IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'02), Montreal, Canada, pp. 133-143.
59. Simith, R. and Korel's, B. 2000. Slicing event traces of large software system. AADEBUGG'00.
60. Tip, F. 1995. A survey of program slicing techniques. Journal of Progr. Languages, 3(3): 121-189.
61. Weiser, M. 1982. Programmers use slices when debugging. Communications of the ACM, 25:446-452.
62. Weiser, M. 1984. Program slicing. IEEE Transactions on Software Engineering, 10(4):352-357.
63. Xu, H. and Shatz, S.M. 2001. A framework for modeling agent-oriented software. In Proceedings of the 21st International Conference on Distributed Computing Systems, Phoenix.
64. Yokoo, M., Durfee, E., Ishida, T., and Kuwabara, K. 1998. The distributed constraint satisfaction problem: Formailization and algorithms. IEEE Transaction on Knowledge and Data Engineering, 10(5):673-685.
65. Zhao, J. 1998. Dynamic slicing of object-oriented programs. Technical-Report SE-98-119, Information Processing Society of Japan, pp. 17-23.
66. Zhao, J. 1999. Slicing concurrent Java Programs. Seventh International Workshop on Program Comprehension, May 05-07, Pittsburgh, Pennsylvania, pp. 126-136.
67. Zhao, J., Cheng, J., and Ushijima, V. 1996. Static slicing of concurrent object-oriented programs. In Proceedings of the 20th IEEE Annual International Computer Software and Applications conference, IEEE Computer Society Press, pp. 312-320.
68. Zhao, J., Cheng, J., and Ushijima, K. 2001. Computing executable slices for concurrent logic programs. In Second Asia-Pacific Conference on Quality Software. IEEE Computer Society Press.