oise Using a Test Adequacy Criterion Based on State Transition Path.

Ricardo Arend Machado Eder Mateus Nunes Gonçalves

Published in: BRACIS (2) (2020)

Keyphrases

state transition
state transitions
input output
hidden markov models
state transition model
state space
black box
transition model
probability distribution
finite state machines
feature selection
markov chain
object oriented
shortest path
artificial intelligence
data streams