Naoyasu Ubayashi, Jinji Piao, Suguru Shinotsuka, Tetsuo Tamai. Contract-Based Verification for Aspect-Oriented Refactoring. In First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008. pages 180-189, IEEE Computer Society, 2008. [doi]
Abstract is missing.