Sign in
Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software.
Pham Ngoc Hung
Toshiaki Aoki
Takuya Katayama
Published in:
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2009)
Keyphrases
</>
component based software
integration testing
black box
symbolic execution
test generation
software testing
test cases
software systems
formal verification
protocol specification
test set
genetic algorithm
real world
metadata
evolutionary algorithm
web applications
data sets
asynchronous circuits