Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts.

Omer Nguena Timo Dimitri Prestat Antoine Rollet

Published in: ICTSS (2019)

Keyphrases

finite state machines
mutation testing
state machine
model checking
finite state automata
hidden markov models
neural network
digital circuits
petri net
regular expressions