Automated Integration Testing Using Logical Contracts.

Dianxiang Xu Weifeng Xu Manghui Tu Ning Shen William C. Chu Chih-Hung Chang

Published in: IEEE Trans. Reliab. (2016)

Keyphrases

integration testing
black box
object oriented programs
software testing
component based software
semi automated
test cases
information technology
logical operations
supply chain
probabilistic logic
logical structure
logical representation
real world
neural network
multi agent
machine learning
databases