国際会議
[1] 鵜林 尚靖, Jinji Piao, 篠塚 卓, 玉井 哲雄, "Contract-Based Verification for Aspect-Oriented Refactoring," 1st IEEE International Conference on Software Testing, Verification, and Validation (ICST 2008), pages 180-189, 2008年.