Login / Signup
Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing.
Sandra Camargo Pinto Ferraz Fabbri
José Carlos Maldonado
Paulo Cesar Masiero
Márcio Eduardo Delamaro
Published in:
SCCC (1999)
Keyphrases
</>
finite state machines
mutation testing
model checking
finite state automata
state machine
digital circuits
database
database applications
regular expressions
databases
neural network
database systems
multi agent systems
hidden markov models