Contract-Based Verification for Aspect-Oriented Refactoring

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]

Authors

Naoyasu Ubayashi

This author has not been identified. Look up 'Naoyasu Ubayashi' in Google

Jinji Piao

This author has not been identified. Look up 'Jinji Piao' in Google

Suguru Shinotsuka

This author has not been identified. Look up 'Suguru Shinotsuka' in Google

Tetsuo Tamai

This author has not been identified. Look up 'Tetsuo Tamai' in Google