An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines.

Andrea Bombarda Angelo Gargantini

Published in: ICST Workshops (2020)

Keyphrases

finite state machines
generation method
state transition
model checking
mutation testing
finite state automata
hidden markov models
regular expressions
digital circuits
metadata
relational databases
information extraction
building blocks
database management systems
static analysis
test generation