FSM quasi-equivalence testing via reduction and observing absences.

Robert M. Hierons

Published in: Sci. Comput. Program. (2019)

Keyphrases

finite state machines
evolutionary algorithm
data sets
real world
machine learning
artificial intelligence
digital libraries
np complete
test cases
test suite
software testing