State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing.
Tomohiko TakagiRyo KurozumiTetsuro KatayamaPublished in: PRDC (2019)
Keyphrases
- state transition
- state transitions
- input output
- state transition model
- state space
- hidden markov models
- black box
- markov chain
- transition model
- test suite
- probability distribution
- test cases
- finite state machines
- machine learning
- code coverage
- dynamic programming
- test set
- artificial intelligence
- set of test cases
- databases