Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT Systems.

Vaclav Rechtberger Miroslav Bures Bestoun S. Ahmed

Published in: CoRR (2020)

Keyphrases

state machine
management system
complex systems
finite state machines
optimal strategy
expert systems
distributed systems
state machines
data sets
multi agent systems
lower bound
computer systems
retrieval systems