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

Vaclav Rechtberger Miroslav Bures Bestoun S. Ahmed

Published in: WSSE (2020)

Keyphrases

state machine
management system
finite state machines
optimal strategy
distributed systems
complex systems
state machines
databases
information systems
optimal solution
expert systems
dynamic programming
worst case
knowledge based systems
building blocks
test cases