Sign in
Addressing the state explosion problem when visualizing off-nominal behaviors in a set of reactive requirements.
Daniel Aceituna
Hyunsook Do
Published in:
Requir. Eng. (2019)
Keyphrases
</>
small number
probability distribution
real time
state space
data sets
databases
genetic algorithm
feature space
feature vectors
evolutionary algorithm
model checking
finite state machines
initial set
state transitions