%A Ngoc Hung Pham
%A aoki toshiaki
%A katayama takuya
%J IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer
%T Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software
%N 11
%P 2772-2780
%V E92-A
%D 2009
%I IEICE
%L SisLab2040