Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software.

Pham Ngoc Hung, Takuya Katayama

Browse the full APSEC paper archive.