2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.CR2022★ 2 cited
Factors Impacting Resilience of Internet of Things Systems in Critical Infrastructure
Miroslav Bures, Pavel Blazek, Jiri Nema +1
Internet of Things (IoT) systems are recently being employed in various types of critical infrastructure, including integrated rescue systems, healthcare, defence, energy and other…
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…