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

Ferenc Bujtor Lev Sorokin Walter Vogler

Published in: ACM Trans. Embed. Comput. Syst. (2017)

Keyphrases

neural network
test generation
data mining
search engine
information systems
image processing
database systems
multi agent systems
evolutionary algorithm
control system
medical images
test cases