An effective framework for assume-guarantee verification of evolving component-based software.

Pham Ngoc Hung Toshiaki Aoki Takuya Katayama

Published in: EVOL/IWPSE (2009)

Keyphrases

component based software
computationally efficient
main contribution
software systems
neural network
decision making
clustering algorithm
high quality
model checking