2 citations · 2 across the 3 of their papers we have counts for
3 papers
Novel Strategy Generating Variable-length State Machine Test Paths
Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed +1
Finite State Machine is a popular modeling notation for various systems, especially software and electronic. Test paths can be automatically generated from the system model to test…
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…
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…