Sign in
An assessment of extended finite state machine test selection criteria.
Khaled El-Fakih
Adenilso da Silva Simão
Noshad Jadoon
José Carlos Maldonado
Published in:
J. Syst. Softw. (2017)
Keyphrases
</>
selection criteria
finite state machines
model checking
state machine
finite state automata
mutation testing
hidden markov models
test data
state transition
model selection criteria
database
high level
regular expressions
boolean functions
test sequences
digital circuits