A Formal Approach to System Integration Testing.

Susanne Kandl Martin Elshuber

Published in: CoRR (2014)

Keyphrases

integration testing
black box
object oriented programs
component based software
test cases
software testing
formal model
formal specification
specification languages
neural network
artificial intelligence
search engine
case study
cooperative
formal methods