VADA: A transformation-based system for variable dependence analysis

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

Volumn , Issue , 2002, Pages 55-64

  Harman, M ^a   Fox, C ^b   Hierons, R ^a   Hu, Lin ^a   Danicic, S ^c   Wegener, J ^d  

^a BRUNEL UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF ESSEX   (United Kingdom)

^c UNIVERSITY OF LONDON   (United Kingdom)

^d DAIMLER AG   (Germany)

Author keywords

Program Slicing; Program Transformation; Variable Dependence Analysis

Indexed keywords

COMPUTATIONAL LINGUISTICS;

ANALYSIS PROBLEMS; DEPENDENCE ANALYSIS; DEPENDENCE RELATION; DEPENDENCY ANALYSIS; PROGRAM SLICING; PROGRAM TRANSFORMATIONS; PROGRAM VARIABLES; TRANSFORMATION BASED;

C (PROGRAMMING LANGUAGE);

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

References (46)

1. 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.
2. AHO, A. V., SETHI, R., AND ULLMAN, J. D. Compilers: Principles, techniques and tools. Addison Wesley, 1986.
3. BAXTER, I. D. Transformation systems: Domain-oriented component and implementation knowledge. In Proceedings of the Ninth Workshop on Institutionalizing Software Reuse (Austin, TX, USA, Jan. 1999).
4. BENNETT, K. H. Do program transformations help reverse engineering? In IEEE International Conference on Software Maintenance (ICSM'98) (Bethesda, Maryland, USA, Nov. 1998), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 247-254.
5. 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.
6. BINKLEY, D. W., AND GALLAGHER, K. B. Program slicing. In Advances of Computing, Volume 43, M. Zelkowitz, Ed. Academic Press, 1996, pp. 1-50.
7. CANFORA, G., CIMITILE, A., AND DE LUCIA, A. Conditioned program slicing. In Information and Software Technology Special Issue on Program Slicing, M. Harman and K. Gallagher, Eds., vol. 40. Elsevier Science B. V., 1998, pp. 595-607.
8. COUSOT, P., AND COUSOT, R. Systematic design of program transformation frameworks by abstract interpretation. ACM SIGPLAN Notices 31, 1 (Jan. 2002), 178-190.
9. DANICIC, S. Dataflow Minimal Slicing. PhD thesis, University of North London, UK, School of Informatics, Apr. 1999.
10. DANICIC, S., FOX, C., HARMAN, M., AND HIERONS, R. M. ConSIT: A conditioned program slicer. In IEEE International Conference on Software Maintenance (ICSM'00) (San Jose, California, USA, Oct. 2000), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 216-226.
11. DANICIC, S., HARMAN, M., AND SIVAGURUNATHAN, Y. A parallel algorithm for static program slicing. Information Processing Letters 56, 6 (Dec. 1995), 307-313.
12. DARLINGTON, J., AND BURSTALL, R. M. A system which automatically improves programs. Acta Informatica 6 (1976), 41-60.
13. DARLINGTON, J., AND BURSTALL, R. M. A tranformation system for developing recursive programs. J. ACM 24, 1 (1977), 44-67.
14. st IEEE International Workshop on Source Code Analysis and Manipulation (Florence, Italy, 2001), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 142-149.
15. DERSHOWITZ, N., AND MANNA, Z. The evolution of programs: A system for automatic program modification. In Conference Record of the Fourth Annual Symposium on Principles of Programming Languages (1977), ACM SIGACT and SIGPLAN, ACM Press, pp. 144-154.
16. FEATHER, M. S. A system for assisting program transformation. ACM Transactions on Programming Languages and Systems 4, 1 (Jan. 1982), 1-20.
17. FERGUSON, R., AND KOREL, B. The chaining approach for software test data generation. ACM Transactions on Software Engineering and Methodology 5, 1 (Jan. 1996), 63-86.
18. nd ACM Symposium on Principles of Programming Languages (San Francisco, CA, 1995), pp. 379-392.
19. th IEEE International Workshop on Program Comprenhesion (IWPC'97) (Dearborn, Michigan, USA, May 1997), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 70-79.
20. HARMAN, M., AND HIERONS, R. M. An overview of program slicing. Software Focus 2, 3 (2001), 85-92.
21. HARMAN, M., HIERONS, R. M., DANICIC, S., HOWROYD, J., AND FOX, C. Pre/post conditioned slicing. In IEEE International Conference on Software Maintenance (ICSM'01) (Florence, Italy, Nov. 2001), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 138-147.
22. th IEEE International Workshop on Program Comprehension (IWPC'01) (Toronto, Canada, May 2001), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 310-319.
23. HARROLD, M. J., AND CI, N. Reuse-driven interprocedural slicing. In Proceedings of the 20th International Conference on Software Engineering (Apr. 1998), IEEE Computer Society Press, pp. 74-83.
24. HORWITZ, S., REPS, T., AND BINKLEY, D. W. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems 12, 1 (1990), 26-61.
25. JACKSON, D., AND ROLLINS, E. J. Chopping: A generalisation of slicing. Tech. Rep. CMU-CS-94-169, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, July 1994.
26. JONES, B., STHAMER, H.-H., AND EYRES, D. Automatic structural testing using genetic algorithms. The Software Engineering Journal 11 (1996), 299-306.
27. KOREL, B., AND LASKI, J. Dynamic program slicing. Information Processing Letters 29, 3 (Oct. 1988), 155-163.
28. th Conference on Software Engineering (ICSE-15) (1993), pp. 34-44.
29. LANDIN, P. J. The next 700 programming languages. Communications of the ACM 9, 3 (Mar. 1966), 157-166.
30. LAURENCE, M. R., DANICIC, S., HARMAN, M., HIERONS, R. M., AND HOWROYD, J. Equivalence of conservative, linear, free program schemas is decidable. Theoretical Computer Science. to appear.
31. MICHAEL, C., MCGRAW, G., AND SCHATZ, M. Generating software test data by evolution. IEEE Transactions on Software Engineering, 12 (Dec. 2001), 1085-1110.
32. MUELLER, F., AND WEGENER, J. A comparison of static analysis and evolutionary testing for the verification of timing constraints. In 4th IEEE Real-Time Technology and Applications Symposium (RTAS '98) (Washington - Brussels - Tokyo, June 1998), IEEE, pp. 144-154.
33. PARGAS, R. P., HARROLD, M. J., AND PECK, R. R. Test-data generation using genetic algorithms. The Journal of Software Testing, Verification and Reliability 9 (1999), 263-282.
34. PARTSCH, H. The CIP Transformation System. Springer, 1984, pp. 305-322. Peter Pepper (ed.).
35. STOY, J. E. Denotational semantics: The Scott-Strachey approach to programming language theory. MIT Press, 1985. Third edition.
36. TIP, F. A survey of program slicing techniques. Journal of Programming Languages 3, 3 (Sept. 1995), 121-189.
37. TRACEY, N., CLARK, J., AND MANDER, K. The way forward for unifying dynamic test-case generation: The optimisation-based approach. In International Workshop on Dependable Computing and Its Applications (DCIA) (January 1998), IFIP, pp. 169-180.
38. 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.
39. Proceedings in SIGPLAN Notices, 26(6), pp.107-119, 1991.
40. WARD, M. Reverse engineering through formal transformation. The Computer Journal 37, 5 (1994).
41. st IEEE International Workshop on Source Code Analysis and Manipulation (Florence, Italy, 2001), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 185-193.
42. WARD, M., CALLISS, F. W., AND MUNRO, M. The maintainer's assistant. In Proceedings of the International Conference on Software Maintenance 1989 (1989), IEEE Computer Society Press, Los Alamitos, California, USA, p. 307.
43. WEGENER, J., BARESEL, A., AND STHAMER, H. Evolutionary test environment for automatic structural testing. Information and Software Technology Special Issue on Software Engineering using Metaheuristic Innovative Algorithms 43, 14 (2001), 841-854.
44. WEISER, M. Program slices: Formal, psychological, and practical investigations of an automatic program abstraction method. PhD thesis, University of Michigan, Ann Arbor, MI, 1979.
45. WEISER, M. Program slicing. IEEE Transactions on Software Engineering 10, 4 (1984), 352-357.
46. WEYUKER, E. J. Program schemas with semantic restrictions. PhD thesis, Rutgers University, New Brunswick, New Jersey, June 1977.