Coping with Nondeterminism in Network Protocol Testing.

Raymond E. Miller Dongluo Chen David Lee Ruibing Hao

Published in: TestCom (2005)

Keyphrases

test cases
software testing
data mining
image processing
decision trees
machine learning
genetic algorithm
image segmentation
optimal solution
search algorithm
multiresolution
situation calculus
test generation