Conformance Testing of Mealy Machines Under Input Restrictions.

Alberto Larrauri Roderick Bloem

Published in: CoRR (2022)

Keyphrases

database
test cases
machine learning
image processing
decision trees
similarity measure
training data
software testing
input parameters
user input
desired output