Automated support for program refactoring using invariants

IEEE International Conference on Software Maintenance, ICSM

Volumn , Issue , 2001, Pages 736-743

  Kataoka, Yoshio ^a   Ernst, Michael D ^c   Griswold, William G ^b   Notkin, David ^a  

^a University of Washington   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PROGRAM INVARIANTS; PROGRAM REFRACTORING;

COMPUTER SOFTWARE SELECTION AND EVALUATION; JAVA PROGRAMMING LANGUAGE; PROGRAM DIAGNOSTICS; REENGINEERING; SOFTWARE ENGINEERING;

COMPUTER SOFTWARE MAINTENANCE;

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

References (23)

1. Henry G. Baker. 'Use-once' variables and linear objects - storage management, reflection and multi-threading. SIGPLAN Notices, 30(1):45-52, January 1995.
2. Kent Beck. Extreme Programming Explained: Embrace Change. Addison-Wesley, 1999.
3. Robert W. Bowdidge and William G. Griswold. Supporting the restructuring of data abstractions through manipulation of a program visualization. ACM Transactions on Software Engineering and Methodology, 7(2), April 1998.
4. Robert W. Bowdidge. Supporting the Restructuring of Data Abstractions through Manipulation of a Program Visualization. PhD thesis, University of California, San Diego, Department of Computer Science & Engineering, November 1995. Technical Report CS95-457.
5. Michael D. Ernst, Adam Czeisler, William G. Griswold, and David Notkin. Quickly detecting relevant program in variants. In Proceedings of the 22nd International Conference on Software Engineering, pages 449-458, Limerick, Ireland, June 7-9 2000. To appear in ACM Transactions on Software Engineering and Methodlogy.
6. Micheal D. Ernst, Jake Cockrell, William G. Griswold, and David Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2): 1-25, February 2001. A previous version appeared in Proceedings of the 21st International Conference on Software Engineering, pages 213-224, Los Angeles, CA, USA, May 19-21, 1999.
7. Michael D. Ernst, William G. Griswold, Yoshio Kataoka, and David Notkin. Dynamically discovering pointer-based program invariants. Technical Report UW-CSE-99-11-02, University of Washington, Seattle, WA, November 16, 1999.
8. Michael D. Ernst. Dynamically Discovering Likely Program Invariants. PhD thesis, University of Washington Department of Computer Science and Engineering, Seattle, Washington, August 2000.
9. Martin Fowler, Kent Beck, John Brant, William Opdyke, and Don Roberts. Refactoring: Improving the Design of Existing Code. Addison-Wesley, 1999.
10. William G. Griswold, Morison I. Chen, Robert W. Bowdidge, Jenny L. Cabaniss, Van B. Nguyen, and J. David Morgenthaler. Tool support for planning the restructuring of data abstractions in large systems. IEEE Transactions on Software Engineering, 24(7):534-558, July 1998.
11. Erich Gamma, Richard Helm, Ralph E. Johnson, and John Vlissides. Design Patterns. Addison-Wesley, Reading, MA, 1995.
12. William G. Griswold and David Notkin. Automated assistance for program restructuring. ACM Transactions on Software Engineering and Methodology, 2(3):228-269, July 1993.
13. William G. Griswold. Program Restructuring as an Aid to Software Maintenance. PhD thesis, University of Washington, Dept. of Computer Science & Engineering, August 1991. Technical Report No. 91-08-04.
14. William G. Griswold. Coping with change using information transparency. Technical Report CS98-585, University of California, San Diego, Department of Computer Science and Engineering, April 1998 (Revised August 1998).
15. William G. Griswold, Jimmy J. Yuan, and Yoshikiyo Kato. Exploiting the map metaphor in a tool for software evolution. In Proceedings of the 2001 International Conference on Software Engineering, May 2001.
16. K. A. Kontogiannis, R. DeMori, E. Merlo, M. Galler, and Others. Pattern matching for clone and concept detection. Automated Software Engineering, 3(1-2):77-108, June 1996.
17. Ivan Moore. Automatic inheritance hierarchy restructuring and method refactoring. In Proceedings of the Eleventh Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pages 235-250, 1996.
18. Ivan R. Moore. Automatic Restructuring of Object-Oriented Programs. PhD thesis, University of Manchester, 1996.
19. William F. Opdyke and Ralph E. Johnson. Refactoring: An aid in designing application frameworks and evolving object-oriented systems. In Proceedings of SOOPPA '90: Symposium on Object-Oriented Programming Emphasizing Practical Applications, Sep 1990.
20. William F. Opdyke. Refactoring Object-Oriented Frameworks. PhD thesis, University of Illinois at Urbana-Champaign, 1992.
21. Don Roberts, John Brant, and Ralph Johnson. A refactoring tool for Smalltalk. Theory and Practice of Object Systems, 3(4):253-63, 1997.
22. Donald Bradley Roberts. Practical Analysis for Refactoring. PhD thesis, University of Illinois at Urbana-Champaign, 1999.
23. David Ungar and Randall B. Smith. Self: The power of simplicity. In Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 277-241, 1987.