Verified Complete Test Strategies for Finite State Machines.

Robert Sachtleben

Published in: Arch. Formal Proofs (2022)

Keyphrases

finite state machines
finite state automata
model checking
digital circuits
mutation testing
test cases
data sets
information systems
hidden markov models
neural network
domain specific
statistical tests