Testing components of interacting timed finite state machines.

Maxim Gromov Aleksandr S. Tvardovskii Nina Yevtushenko

Published in: EWDTS (2016)

Keyphrases

finite state machines
model checking
finite state automata
functional units
mutation testing
neural network
test cases
digital circuits
building blocks
database
data sets
data analysis
petri net
regular expressions