A Generic Formal Framework for Protocol Interoperability Test and Test Cases Minimization.

Ning Zhong Zun-wen He Jingming Kuang

Published in: AST (2008)

Keyphrases

test cases
model based testing
test data
test sequences
software testing
test generation
test suite
test case generation
test data generation
black box
regression testing
testing process
test suite reduction
number of test cases
test set
machine learning
set of test cases
distributed systems
training data
data sets