Efficiently Testing Simon's Congruence.

Pawel Gawrychowski Maria Kosche Tore Koss Florin Manea Stefan Siemer

Published in: CoRR (2020)

Keyphrases

test cases
decision trees
artificial neural networks
trade off
object oriented
test set
software testing