Aspect Refactoring Verifier

Charles Zhang, Hans-Arno Jacobsen, J. Waterhouse, and A. Colyer.

In LATE Workshop at AOSD, Chicago, IL, March 2005.

Abstract

When performing refactoring, the principal requirement is that the refactored code should be at least functionally equivalent 1 to the original. While execution tests provide the authoritative verification of this functional equivalence, verification at the source level is often more effective because mistakes can be detected early and fixed as part of the development activity. Automatic refactoring performed by development tools such as Eclipse2 typically provides this kind of source-level verification. However, its capabilities are currently limited to changing hierarchical structures involving methods and classes.

Download



Related Projects


Tags: aspect mining, aspect-oriented middleware, aspect-oriented programming


Readers who enjoyed the above work, may also like the following:


  • Mining Crosscutting Concerns Through Random Walks.
    Charles Zhang and Hans-Arno Jacobsen.
    IEEE Transactions on Sofware Engineering, 2011.
    Accepted July 2011.
    Tags: aspect mining, aspect-oriented programming, aspect-oriented middleware
  • Efficiently Mining Crosscutting Concerns Through Random Walks.
    Charles Zhang and Hans-Arno Jacobsen.
    In AOSD 2007: 6th International Conference on Aspect Oriented Systems and Design, pages 226-238, Vancouver, BC, Canada, March 2007.
    Acceptance rate: 18%.
    Tags: aspect mining, aspect-oriented middleware, aspect-oriented programming
  • PRISM is Research in aSpect Mining.
    Charles Zhang and Hans-Arno Jacobsen.
    In Object-oriented Programming Systems, Languages, and Applications (OOPSLA), pages 20-21, Vancouver, BC, May 2004.
    Companion Proceedings.
    Tags: aspect mining, aspect-oriented middleware, aspect-oriented programming