Complete Requirements-based Testing with Finite State Machines.

Wen-ling Huang Jan Peleska

Published in: CoRR (2021)

Keyphrases

finite state machines
finite state automata
model checking
mutation testing
digital circuits
tool support
neural network
hidden markov models
data sets
databases
case study
data analysis
low level
regular expressions
application specific