Espresso: A slicer generator

Proceedings of the ACM Symposium on Applied Computing

Volumn 2, Issue , 2000, Pages 831-839

  Danicic, Sebastian ^a   Harman, Mark ^b  

^a LONDON METROPOLITAN UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

Java threads; Slicing; Software surgery

Indexed keywords

AUTOMATIC PARALLELIZATION; COMPUTING AGENTS; EFFICIENCY IMPROVEMENT; JAVA THREAD; MULTI-THREADED JAVA PROGRAMS; PARALLEL EXECUTIONS; SLICING; SURGERY SUPPORTS;

JAVA PROGRAMMING LANGUAGE; SURGERY;

COMPUTER SOFTWARE;

EID: 84893600604     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/338407.338574     Document Type: Conference Paper

References (47)

1. ABRAMSKY, S. Reasoning about concurrent systems. In Distributed Computing (London, 1984), pp. 307-319.
2. AGRAWAL, H. On slicing programs with jump statements. In ACM SIGPLAN Conference on Programming Language Design and Implementation (Orlando, Florida, June 20-24 1994), pp. 302-312. Proceedings in SIGPLAN Notices, 29(6), June 1994.
3. AGRAWAL, H., AND HORGAN, J. R. Dynamic program slicing. In ACM SIGPLAN Conference on Programming Language Design and Implementation (New York, June 1990), pp. 246-256.
4. AHO, A. V., SETHI, R., AND ULLMAN, J. D. Compilers: Principles, techniques and tools. Addison Wesley, 1986.
5. st Conference on Automated Algorithmic Debugging (Linköping, Sweden, 1993), P. Fritzson, Ed., Springer, pp. 206-222. Also available as Uniersity of Wisconsin-Madison, technical report (in extended form), TR-1128, December, 1992.
6. th Conference on Software Engineering (ICSE'93) (1993), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 509-518.
7. BIEMAN, J. M., AND OTT, L. M. Measuring functional cohesion. IEEE Transactions on Software Engineering 20, 8 (Aug. 1994), 644-657.
8. BINKLEY, D. W. The application of program slicing to regression testing. In Journal of Information and Software Technology Special Issue on Program Slicing, M. Harman and K. Gallagher, Eds., vol. 40. Elsevier, 1998, pp. 583-594.
9. BINKLEY, D. W. Computing amorphous program slices using dependence graphs and a data-flow model. In ACM Symposium on Applied Computing (The Menger, San Antonio, Texas, U.S.A., 1999), ACM Press, New York, NY, USA, pp. 519-525.
10. BINKLEY, D. W., AND GALLAGHER, K. B. Program slicing. In Advances of Computing, Volume 43, M. Zelkowitz, Ed. Academic Press, 1996, pp. 1-50.
11. CANFORA, G., CIMITILE, A., AND DE LUCIA, A. Conditioned program slicing. In Journal of Information and Software Technology Special issue on Program Slicing, M. Harman and K. Gallagher, Eds., vol. 40. Elsevier Science B. V., 1998. to appear.
12. CANFORA, G., CIMITILE, A., DE LUCIA, A., AND LUCCA, G. A. D. Software salvaging based on conditions. In International Conference on Software Maintenance (ICSM'96) (Victoria, Canada, Sept. 1994), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 424-433.
13. CHOI, J., AND FERRANTE, J. Static slicing in the presence of goto statements. ACM Transactions on Programming Languages and Systems 16, 4 (July 1994), 1097-1113.
14. CIMITILE, A., DE LUCIA, A., AND MUNRO, M. A specification driven slicing process for identifying reusable functions. Software maintenance: Research and Practice 8 (1996), 145-178.
15. DANICIC, S. Dataflow Minimal Slicing. PhD thesis, University of North London, School of Informatics, Apr. 1999.
16. th RIMS Workshop in Computing (Kyoto University, Kyoto, Japan, July 1996).
17. DANICIC, S., HARMAN, M., AND SIVAGURUNATHAN, Y. A parallel algorithm for static program slicing. Information Processing Letters 56, 6 (Dec. 1995), 307-313.
18. th IEEE Workshop on Program Comprehension (Berlin, Germany, Mar. 1996), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 9-18.
19. FELLEISEN, M., AND FRIEDMAN, D. P. A Little Java, A Few Patterns. The MIT Press, 1998.
20. FERRANTE, J., OTTENSTEIN, K. J., AND WARREN, J. D. The program dependence graph and its use in optimisation. ACM Transactions on Programming Languages and Systems 9, 3 (July 1987), 319-349.
21. nd ACM Symposium on Principles of Programming Languages (San Francisco, CA, 1995), pp. 379-392.
22. GALLAGHER, K. B. Evaluating the surgeon's assistant: Results of a pilot study. In Proceedings of the International Conference on Software Maintenance 1992 (Nov. 1992), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 236-244.
23. GALLAGHER, K. B., AND LYLE, J. R. Using program slicing in software maintenance. IEEE Transactions on Software Engineering 17, 8 (Aug. 1991), 751-761.
24. HARMAN, M., AND DANICIC, S. Using program slicing to simplify testing. Journal of Software Testing, Verification and Reliability 5, 3 (Sept. 1995), 143-162.
25. th IEEE Internation Workshop on Program Comprehesion (IWPC'97) (Dearborn, Michigan, USA, May 1997), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 70-79.
26. HARMAN, M., AND DANICIC, S. A new algorithm for slicing unstructured programs. Journal of Software Maintenance 10, 6 (1998), 415-441.
27. HARMAN, M., SIVAGURUNATHAN, Y., AND DANICIC, S. Analysis of dynamic memory access using amorphous slicing. In IEEE International Conference on Software Maintenance (ICSM'98) (Betbesda, Maryland, USA, Nov. 1998), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 336-345.
28. HARTLEY, S. J. Concurrent Programming - The Java Programming Language. Oxford University Press, 1998.
29. HECHT, M. S. Flow Analysis of Computer Programs. Elsevier, 1977.
30. HOARE, C. A. R. Communicating Sequential Processes. Prentice-Hall, 1985.
31. HORWITZ, S., PRlNS, J., AND REPS, T. Integrating non-interfering versions of programs. ACM Transactions on Programming Languages and Systems 11, 3 (July 1989), 345-387.
32. HORWITZ, S., REPS, T., AND BINKLEY, D. Interprocedural slicing using dependence graphs. In ACM SIGPLAN Conference on Programming Language Design and Implementation (Atlanta, Georgia, June 1988), pp. 25-46. Proceedings in SIGPLAN Notices, 23(7), pp.35-46, 1988.
33. HORWITZ, S., REPS, T., AND BINKLEY, D. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems 12, 1 (1990), 26-61.
34. KAMKAR, M. Interprocedural dynamic slicing with applications to debugging and testing. PhD Thesis, Department of Computer Science and Information Science, Linköping University, Sweden, 1993. Available as Linköping Studies in Science and Technology, Dissertations, Number 297.
35. KOREL, B., AND LASKI, J. Dynamic program slicing. Information Processing Letters 29, 3 (Oct. 1988), 155-163.
36. KRINKE, J., AND SNELTING, G. Validation of measurement software as an application of slicing and constraint solving. In Journal of Information and Software Technology Special Issue on Program Slicing, M. Harman and K. Gallagher, Eds., vol. 40. Elsevier, 1998. to appear.
37. th Conference on Software Engineering (ICSE-15) (1993), pp. 34-44.
38. LEA, D. Concurrent Programming in Java: Design Principles and Patterns. Addison Wesley Longman Inc., 1997.
39. OTT, L. M., AND THUSS, J. J. Slice based metrics for estimating cohesion. In Proceedings of the IEEE-CS International Metrics Symposium (Baltimore, Maryland, USA, May 1993), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 71-81.
40. OTTENSTEIN, K. J., AND OTTENSTEIN, L. M. The program dependence graph in software development environments. SIGPLAN Notices 19, 5 (1984), 177-184.
41. ROTHERMEL, G., AND HARROLD, M. J. Selecting tests and identifying test coverage requirements for modified software. In ACM International Symposium on Software Testing and Analysis (Aug. 1994), pp. 169-184.
42. SHAHMEHRI, N. Generalized algorithmic debugging. PhD Thesis, Department of Computer Science and Information Science, Linköping University, Sweden, 1991. Available as Linköping Studies in Science and Technology, Dissertations, Number 260.
43. SIMPSON, D., VALENTINE, S. H., MITCHELL, R., LIU, L., AND ELLIS, R. Recoup - Maintaining Fortran. ACM Fortran forum 12, 3 (Sept. 1993), 26-32.
44. TIP, F. A survey of program slicing techniques. Journal of Programming Languages 3, 3 (Sept. 1995), 121-189.
45. VENKATESH, G. A. The semantic approach to program slicing. In ACM SIGPLAN Conference on Programming Language Design and Implementation (Toronto, Canada, June 1991), pp. 26-28. Proceedings in SIGPLAN Notices, 26(6), pp.107-119, 1991.
46. WEISER, M. Program slices: Formal, psychological, and practical investigations of an automatic program abstraction method. PhD thesis, University of Michigan, Ann Arbor, MI, 1979.
47. WEISER, M. Program slicing. IEEE Transactions on Software Engineering 10, 4 (1984), 352-357.