Computation of static execute after relation with applications to software maintenance

IEEE International Conference on Software Maintenance, ICSM

Volumn , Issue , 2007, Pages 295-304

  Beszédes, Arpád ^a   Gergely, Tamás ^a   Jász, Judit ^a   Tóth, Gabriella ^a   Gyimóthy, Tibor ^a   Rajlich, Václav ^b  

^a UNIVERSITY OF SZEGED   (Hungary)

^b Wayne State University   (United States)

Author keywords

Change propagation; Control flow analysis; Coupling; Hidden dependencies; Impact analysis; Regression testing

Indexed keywords

AFTER RELATION; CASE STUDIES; CHANGE PROPAGATION; EFFICIENT ANALYSIS; HIGH PRECISION; INTERNATIONAL CONFERENCES; MAINTENANCE TASKS; PROGRAM COMPONENTS; REGRESSION TESTING; STATIC SLICING;

FOOD PROCESSING; MAINTENANCE; STATIC ANALYSIS;

COMPUTER SOFTWARE MAINTENANCE;

EID: 47349092557     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSM.2007.4362642     Document Type: Conference Paper

References (27)

1. T. Apiwattanapong, A. Orso, and M. J. Harrold. Efficient and precise dynamic impact analysis using execute-after sequences. In Proceedings of the 27th International Conference on Software Engineering (ICSE'05), pages 432-441, May 2005.
2. R. S. Arnold. Software Change Impact Analysis. IEEE Computer Society Press, Los Alamitos, CA, USA, 1996.
3. D. F. Bacon. Fast and effective optimization of statically typed object-oriented languages. PhD thesis, EECS Department, University of California, Berkeley, 1997.
4. V. R. Basili, L. C. Briand, and W. L. Melo. A Validation of Object-Oriented Design Metrics as Quality Indicators. IEEE Transactions on Software Engineering, 22(10):751-761, Oct. 1996.
5. Á. Beszédes, T. Gergely, Sz. Faragó, T. Gyimóthy, and F. Fischer. The dynamic function coupling metric and its use in software evolution. In Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR 2007), pages 103-112, Mar. 21-23, 2007.
6. D. Binkley and M. Harman. Locating dependence clusters and dependence pollution. In Proceedings of the 21st International Conference on Software Maintenance (ICSM'05), pages 177-186, Sept. 2005.
7. L. C. Briand, J. W. Daly, and J. K. Wüst. A unified framework for coupling measurement in object-oriented systems. IEEE Transactions on Software Engineering, 25(1):91-121, 1999.
8. L. C. Briand, J. Wüst, and H. Lounis. Using coupling measurement for impact analysis in object-oriented systems. In Proceedings of the International Conference on Software Maintenance (ICSM'99), pages 475-482, Sept. 1999.
9. S. R. Chidamber and C. F. Kemerer. A metrics suite for object oriented design. IEEE Transactions on Software Engineering, 20(6):476-493, 1994.
10. R. Ferenc, Á. Beszédes, M. Tarkiainen, and T. Gyimóthy. Columbus - reverse engineering tool and schema for C++. In Proceedings of the IEEE International Conference on Software Maintenance (ICSM 2002), pages 172-181, Oct. 2002.
11. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns : Elements of Reusable Object-Oriented Software. Addison-Wesley Pub Co, 1995.
12. G. Génova, J. Lloréns, and J. M. Fuentes. UML associations: A structural and contextual view. Journal of Object Technology, 3(7):83-100, 2004. (electronic edition).
13. T. Gyimóthy, R. Ferenc, and I. Siket. Empirical validation of object-oriented metrics on open source software for fault prediction. IEEE Transactions on Software Engineering, 31(10):897-910, 2005.
14. S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems, 12(1):26-61, 1990.
15. Indus project: Java program slicer and static analyses tools. http ://indus.projects.cis.ksu.edu/
16. W. Landi and B. G. Ryder. Pointer-induced aliasing: a problem taxonomy. In POPL '91: Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 93-103. ACM Press, Jan. 1991.
17. J.-K. Ng. Context-sensitive control flow graph. Master's thesis, Iowa State University, Ames, Iowa, USA, 2004.
18. A. Orso, T. Apiwattanapong, and M. J. Harrold. Leveraging field data for impact analysis and regression testing. In Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering held jointly with 9th European Software Engineering Conference (ESEC/FSE'03), pages 128-137, Sept. 2003.
19. V. Rajlich. A model for change propagation based on graph rewriting. In Proceedings of the 1997 IEEE International Conference on Software Maintenance (ICSM'97), pages 84-91, Oct. 1997.
20. B. G. Ryder. Constructing the Call Graph of a Program. IEEE Transactions on Software Engineering, SE-5(3):216-226, May 1979.
21. Soot: a Java Optimization Framework. http://www.sable.mcgill.ca/soot/
22. A. Szegedi, T. Gergely, Á. Beszédes, T. Gyimóthy, and G. Tóth. Verifying the concept of union slices on Java programs. In Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR 2007), pages 233-242, Mar. 21-23, 2007.
23. P. Tonella, G. Antoniol, R. Fiutem, and E. Merlo. Variable precision reaching definitions analysis for software maintenance. In Proceedings of the First Euromicro Conference on Software Maintenance and Reengineering, pages 60-67, Mar. 1997.
24. M. Weiser. Program slicing. IEEE Transactions on Software Engineering, SE-10(4):352-357, 1984.
25. L. White, K. Jaber, and B. Robinson. Utilization of extended firewall for object-oriented regression testing. In Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM'05), pages 695-698, Sept. 2005.
26. H. Y. Yang, E. Tempero, and R. Berrigan. Detecting indirect coupling. In ASWEC '05: Proceedings of the 2005 Australian conference on Software Engineering, pages 212-221, 2005.
27. Z. Yu and V Rajlich. Hidden dependencies in program comprehension and change propagation. In Proceedings of the 9th International Workshop on Program Comprehension (IWPC'01), pages 293-299, May 2001.