most citedFactors Impacting Resilience of Internet of Things Systems in Critical Infrastructure

2 citations · 2 across the 2 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2022

Prioritized Variable-length Test Cases Generation for Finite State Machines

Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed +3

Model-based Testing (MBT) is an effective approach for testing when parts of a system-under-test have the characteristics of a finite state machine (FSM). Despite various strategie…