Semantic diff: A tool for summarizing the effects of modifications

Proceedings - 1994 International Conference on Software Maintenance, ICSM 1994

Volumn , Issue , 1994, Pages 243-252

  Jackson, Daniel ^a   Ladd, David A ^b  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTERACTIVE COMPUTER SYSTEMS; REAL TIME SYSTEMS; SEMANTICS; SYNTACTICS;

INPUT-OUTPUT; LOCAL VARIABLES; PROGRAM DEPENDENCE GRAPH; SEMANTIC DIFF; SEMANTIC DIFFERENCE; SYNTACTIC STRUCTURE;

COMPUTER SOFTWARE MAINTENANCE;

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

References (11)

1. Samuel Bates and Susan Horwitz, "Incremental Program Testing Using Program Dependence Graphs", Proc. ACM Conf. on Principles of Programming Languages, 1993.
2. David Binkley, "Using Semantic Differencing to Reduce the Cost of Regression Testing", Proc. International Conf. on Software Maintenance, 1992.
3. S.G. Eick, J.L. Steffen, E. Sumner Jr., "Seesoft: A Tool for Visualizing Line-Oriented Software Statistics", IEEE Trans. on Software Engineering, 18(11), pp. 957-968, November 1992.
4. J. Ferrante, K. Ottenstein and J. Warren, "The Program Dependence Graph and Its Use in Optimization", ACM Trans. on Programming Languages and Systems, 9:3 July 1987.
5. J.E. Grass and Y.F. Chen, "The C++ Information Abstractor", Proc. USENIX C++ Conf, San Francisco, CA, pp. 265-278, 1990.
6. W.G. Griswold and D. Notkin, "Automated Assistance for Program Restructuring", ACM Trans. on Software Engineering and Methodology, 2(3), July 1993.
7. J.E. Grass, "Cdiff: A Syntax Directed Diff for C+ + Programs", Proc. USENIX C++ Conference, Portland, OR, pp. 181-193, 1992.
8. Susan Horwitz, Phil Pfeiffer and Thomas Reps, "Dependency Analysis for Pointer Variables", ACM Conf. on Programming Language Design and Implementation, 1989.
9. Daniel Jackson, Aspect: A Formal Specification Language For Detecting Bugs, Technical Report MIT/LCS/TR-543, Massachusetts Institute of Technology, Laboratory for Computer Science, June 1992.
10. Daniel Jackson, "Abstract Analysis with Aspect", Proc. International Symposium on Software Testing and Analysis, Cambridge, MA, June 1993.
11. Daniel Jackson and Eugene J. Rollins, Chopping: A Generalization of Slicing, Technical Report CMU-CS-94-169, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, July 1994.