An implementation of and experiment with semantic differencing

IEEE International Conference on Software Maintenance, ICSM

Volumn , Issue , 2001, Pages 82-91

  Binkley, David ^a   Capellini, Rob ^a   Raszewski, L Ross ^a   Smith, Christopher ^a  

^a LOYOLA UNIVERSITY MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

IMPACT ANALYSIS; SEMANTIC DIFFERENCING ALGORITHM;

ALGORITHMS; C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE MAINTENANCE; PROGRAM DIAGNOSTICS; REGRESSION ANALYSIS; SEMANTICS;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

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

References (37)

1. Arnold, R.S. and Bohner, S.A., "Impact analysis - Towards a framework for comparison," Proceedings of the international conference Software Maintenance, 1993., pp. 292-301 (1993).
2. Barros, S., Bodhuin, Th., Escudie, A., Queille, J.P., and Voidrot, J. F., "Supporting impact analysis: a semi-automated technique and associated tool," Proceedings of the international conference Software Maintenance, 1995., pp. 42-51 (1995).
3. Bates, S. and Horwitz, S., "Incremental program testing using program dependence graphs," in Conference Record of the Twentieth ACM Symposium on Principles of Programming Languages, (Charleston, SC, January 10-13, 1993), ACM, New York, NY (1993).
4. Benedusi, P., Camitile, A., and De Carlini, U., "Post-maintenance testing based on path change analysis," pp. 352-368 in Proceedings of the IEEE Conference on Software Maintenance, (Phoenix, Arizona, Oct, 1988), IEEE Computer Society, Washington, DC (1988).
5. Binkley, D., "Using sematic differencing to reduce the cost of regression testing," pp. 41-50 in Proceedings of the IEEE Conference on Software Maintenance, (Orlando, FL, Nov, 1992), IEEE Computer Society, Washington, DC (1992).
6. Binkley, D., Horwitz, S., and Reps, T., "Program Integration for Languages with Procedure Calls," ACM Transactions on Software Engineering and Methodology 4(1) pp. 3-35 (January 1995).
7. Binkley, D., "Semantics guided regression test cost reduction," IEEE Transactions on Software Engineering 23(8) pp. 489-516 IEEE Computer Society, (August 1997).
8. Cimitile, A., Fasolino, A.R., and Visaggio, G., "A software model for impact analysis: a validation experiment," Proceedings of the Sixth Working Conference on Reverse Engineering, 1999, pp. 212-222 (1999).
9. Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., and Zadeck, K., "An efficient method of computing static single assignment form," pp. 25-35 in Conference Record of the Sixteenth ACM Symposium on Principles of Programming Languages, (Austin, TX, Jan. 11-13, 1989), ACM, New York, NY (1989).
10. Fischer, K.F., Raji, F., and Chruscicki, A., "A methodology for re-testing modified software," pp. B6.3.1-6 in IEEE National Telecommunications Conference Proceedings, (Nov. 1981).
11. Grammatech Inc., http://www.grammatech.com/products/codesurfer/codesurfer.html. 1999
12. Graves, T. L., Harold, M.J., Kim, J.-M., Porter, A., and Rothermel, G., "An empirical study of regression test selection techniques," The 20th International Conference on Software Engineering, pp. 188-197 (April 1998).
13. Gupta, R., Harrold, M.J., and Soffa, M.L., "An approach to regression testing using slicing," pp. 299-308 in Proceedings of the IEEE Conference on Software Maintenance, (Orlando, Florida, Nov, 1992), IEEE Computer Society, Washington, DC (1992).
14. Harrold, M.J. and Soffa, M.L., "An incremental approach to unit testing during maintenance," pp. 362-367 in Proceedings of the IEEE Conference on Software Maintenance, (Phoenix, Arizona, Oct, 1988), IEEE Computer Society, Washington, DC (1988).
15. Horwitz, S., "Identifying the semantic and textual differences between two versions of a program," Proceedings of the ACM SIGPLAN 90 Conference on Programming Language Design and Implementation, (White Plains, NY. June 20-22, 1990), ACM SIGPLAN Notices 25(6) pp. 234-245 (June 1989).
16. Horwitz, S., Prins, J., and Reps, T., "Integrating non-interfering versions of programs," ACM Trans. Program. Lang. Syst. 11(3) pp. 345-387 (July 1989).
17. Horwitz, S., Reps, T., and Binkley, D., "Interprocedural slicing using dependence graphs," ACM Transactions on Programming Languages and Systems 12(1) pp. 26-60 (January 1990).
18. Hutchins, M. and Gallagher, K., "Improving visual impact analysis," Proceedings of the international conference Software Maintenance, 1999., pp. 294-303 (1998).
19. Kamkar, M., Fritzson, P., and Shahmehri, N., "Interprocedural dynamic slicing applied to interprocedural data flow testing," pp 368-395 in Proceedings of the IEEE Conference on Software Maintenance, (Montreal, Quebec, Canada, Sep, 1993), IEEE Computer Society, Washington, DC (1993).
20. Kim, K.H., Park, J.N., and Yoon, Y.I., "A graph of change impact analysis for distributed object-oriented software," Proceedings of the 1999 IEEE international conference on fuzzy systems. (Seoul Korea)., (august 1999).
21. McCrickard, D.S., and Abowd, G.D., "Assessing the impact of changes at the architectural level: a case study on graphical debuggers," Proceedings of the international conference Software Maintenance, 1996., 58-67 (1996).
22. Ostrand, T.J. and Weyuker, E.J., "Using data flow analysis for regression testing," in Proceedings of the Sixth Annual Pacific Northwest Software Quality Conference, (Portland, Oregon, September 19-20, 1988), ACM, New York, NY (1988).
23. Ottenstein, K.J. and Ottenstein, L.M., "The program dependence graph in a software development environment," Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, (Pittsburgh, PA, Apr. 23-25, 1984) ACM SIGPLAN Notices 19(5) pp. 177-184 (May 1984).
24. Podgurski, A. and Clarke, L.A., "A formal model of program dependences and its implications for software testing, debugging, and maintenance," IEEE Transactions on Software Engineering 16(9) (September 1990).
25. Queille, J.P., Voidrot, J.F., Wilde, N., and Munro, M., "The impact analysis task in software maintenance: a model and a case study," Proceedings of the international conference Software Maintenance, 1994., pp. 234-242 (1994).
26. Rothermel, G. and Harrold, M.J., "A safe, efficient algorithm for regression test selection," Proceedings of the IEEE Conference on Software Maintenance, (Montreal, Quebec), pp. 358-367 IEEE Computer Society, (September 1993).
27. Rothermel, G. and Harrold, M.J., "Selecting tests and identifying test coverage requirements for modified software," Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis Seattle, Washington, pp. 169-184 (August 1994).
28. Rothermel, G. and Harrold, M.J., "Analyzing regression test selection techniques," IEEE Transactions on Software Engineering 22(8) IEEE Computer Society, (1996).
29. Rothermel, G. and Harrold, M.J., "A safe, efficient regression test set selection technique," ACM Transactions on Software Engineering and Methodology 6(2,) pp. 173-210 (April 1997).
30. Rothermel, G. and Harrold, M.J., "Empirical studies of a safe regression test selection technique," IEEE Transactions on Software Engineering 24(6) pp. 401-419 (June 1998).
31. Rothermel, G., Untch, R., Chu, C., and Harrold, M.J., "Test case prioritization: an empirical study," pp. 179-188 in IEEE International Conference on Software Maintenance, (Oxford, UK, September, 1999), IEEE Computer Society, Washington, DC (1999).
32. Sneed, H.M., "Estimating the costs of software maintenance tasks," Proceedings of the international conference Software Maintenance, 1995., pp. 168-181 (1995).
33. Tip, F., "A survey of program slicing techniques," Journal of Programming Languages 3(3) pp. 121-189 (September 1995).
34. Vokolos, F. and Frankl, P., "Empirical evaluation of the textual differencing regression testing technique," pp. 44-53 in IEEE International Conference on Software Maintenance, (Washington, DC, Nov, 1998), IEEE Computer Society, Washington, DC (1998).
35. Weiser, M., "Program slicing," IEEE Transactions on Software Engineering SE-10(4) pp. 352-357 (July 1984).
36. Yang, W., Horwitz, S., and Reps, T., "A program integration algorithm that accommodates semantics-preserving transformations," Proceedings of the 4th ACM SIGSOFT Symposium on Software Development Environments, (Irvine, CA, December 3-5, 1990), ACM SIGSOFT Software Engineering Notes, (1990).
37. Yang, W., "Identifying syntactic differences between two programs," Software-Practice and Experience 21(7)(July 1991).