Automated Generation of Integration Test Sequences from Logical Contracts.

Dianxiang Xu Weifeng Xu Manghui Tu

Published in: COMPSAC Workshops (2014)

Keyphrases

test sequences
test cases
video sequences
semi automated
mutation testing
bit rate
test generation
data integration
supply chain
generation process
image processing
automated analysis
software systems
logical operations
generation method
probabilistic logic
database
image quality
machine learning
neural network