Testing Finite State Machines Presenting Stochastic Time and Timeouts.
Mercedes G. MerayoManuel NúñezIsmael RodríguezPublished in: EPEW (2007)
Keyphrases
- finite state machines
- state transition
- finite state automata
- model checking
- mutation testing
- test sequences
- digital circuits
- regular expressions
- hidden markov models
- test cases
- data analysis
- test data
- video sequences
- neural network
- software testing
- stochastic model
- stochastic optimization
- test generation
- stochastic programming
- databases
- database