Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software.
Pham Ngoc HungTakuya KatayamaPublished in: APSEC (2008)
Keyphrases
- component based software
- integration testing
- black box
- test generation
- symbolic execution
- software testing
- test cases
- software systems
- formal verification
- protocol specification
- modular neural networks
- verification method
- web applications
- database
- model checking
- test set
- relational databases
- test data
- data sets
- real time