Static execute after/before as a replacement of traditional software dependencies

IEEE International Conference on Software Maintenance, ICSM

Volumn , Issue , 2008, Pages 137-146

  Jász, Judit ^a   Beszédes, Árpád ^a   Gyimóthy, Tibor ^a   Rajlich, Václav ^b  

^a UNIVERSITY OF SZEGED   (Hungary)

^b Wayne State University   (United States)

Author keywords

Program dependencies; Program slicing; Source code analysis; Static execute after; System dependence graph

Indexed keywords

MAINTENANCE;

PROGRAM DEPENDENCIES; PROGRAM SLICING; SOURCE CODE ANALYSIS; STATIC EXECUTE AFTER; SYSTEM DEPENDENCE GRAPH;

COMPUTER SOFTWARE MAINTENANCE;

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

References (25)

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. D. C. Atkinson and W. G. Griswold. The design of whole-program analysis tools. In Proceedings of the 18th International Conference on Software Engineering, pages 16-27, Berlin, Germany, Mar. 1996.
3. L. Badri, M. Badri, and D. St-Yves. Supporting predictive change impact analysis: A control call graph based technique. In Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC'05), pages 167-175. IEEE Computer Society, 2005.
4. Á. 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'07), pages 103-112, Mar. 2007.
5. Á. Beszédes, T. Gergely, J. Jász, G. Tóth, T. Gyimóthy, and V. Rajlich. Computation of Static Execute After relation with applications to software maintenance. In Proceedings of the 2007 IEEE International Conference on Software Maintenance (ICSM'07), pages 295-304, Oct. 2007.
6. D. Binkley. Source code analysis: A road map. In Future of Software Engineering (FOSE'07), at 29th Int. Conference on Software Engineering, pages 104-119. IEEE Computer Society, May 2007.
7. D. Binkley, N. Gold, and M. Harman. An empirical study of static program slice size. ACM Transactions on Software Engineering and Methodology, 16(2), Apr. 2007.
8. D. Binkley and M. Harman. A large-scale empirical study of forward and backward static slice size and context sensitivity. In Proceedings of the International Conference on Software Maintenance (ICSM'03), pages 44-53, Sept. 2003.
9. T. H. Cormen, C. E. Leiserson, and R. L. Rivest. Introduction to Algorithms. MIT Press/McGraw-Hill, 1990.
10. D. C. de Leon and J. Alves-Foss. Hidden implementation dependencies in high assurance and critical computing systems. IEEE Transactions on Software Engineering, 32(10):790-811, 2006.
11. R. Ferenc, Á. Beszédes, M. Tarkiainen, and T. Gyimóthy. Columbus - Reverse Engineering Tool and Schema for C++. In Proceedings of the 18th International Conference on Software Maintenance (ICSM'02), pages 172-181. IEEE Computer Society, Oct. 2002.
12. FrontEndART Software Ltd. http://www.frontendart.com.
13. Homepage of GrammaTech's CodeSurfer. http://www.grammatech.com/products/ codesurfer.
14. M. S. Hecht. Flow Analysis of Computer Programs. Elsevier Science Inc., New York, NY, USA, 1977.
15. S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems, 12(1):26-61, 1990.
16. J.-M. Jézéquel and B. Meyer. Design by contract: The lessons of ariane. Computer, 30(1):129-130, 1997.
17. 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.
18. S. S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufmann, 1997.
19. J.-K. Ng. Context-sensitive control flow graph. Master's thesis, Iowa State University, Ames, Iowa, USA, 2004.
20. 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.
21. B. G. Ryder. Constructing the Call Graph of a Program. IEEE Transactions on Software Engineering, SE-5(3):216-226, May 1979.
22. F. Tip. A survey of program slicing techniques. Journal of Programming Languages, 3(3):121-189, Sept. 1995.
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. 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. IEEE Computer Society, 2001.