On reducing test length for FSMs with extra states.

Adenilso da Silva Simão Alexandre Petrenko Nina Yevtushenko

Published in: Softw. Test. Verification Reliab. (2012)

Keyphrases

finite state machines
data sets
databases
case study
reinforcement learning
evolutionary algorithm
test data
statistical tests
real time
neural network
information systems
e learning
website
digital libraries
state transition
fixed length