Testing Preorders for dMTS: Deadlock- and the New Deadlock/Divergence-Testing.

Ferenc Bujtor Lev Sorokin Walter Vogler

Published in: ACSD (2015)

Keyphrases

test cases
database
real world
neural network
genetic algorithm
computer vision
training data
test set