Gray-Box Conformance Testing for Symbolic Reactive State Machines.

Masoumeh Taromirad Mohammad Reza Mousavi

Published in: FSEN (2017)

Keyphrases

process model
state machines
petri net
state machine
reactive systems
sequence diagrams
recurrent networks
test cases
high level
expert systems
test set
model checking