19 citations · 35 across the 22 of their papers we have counts for
32 papers
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…
Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs
Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed
Test Coverage criteria are an essential concept for test engineers when generating the test cases from a System Under Test model. They are routinely used in test case generation fo…
Cyber-Security Challenges in Aviation Industry: A Review of Current and Future Trends
Elochukwu Ukwandu, Mohamed Amine Ben Farah, Hanan Hindy +4
The integration of Information and Communication Technology (ICT) tools into mechanical devices found in aviation industry has raised security concerns. The more integrated the sys…
Utilising Flow Aggregation to Classify Benign Imitating Attacks
Hanan Hindy, Robert Atkinson, Christos Tachtatzis +3
Cyber-attacks continue to grow, both in terms of volume and sophistication. This is aided by an increase in available computational power, expanding attack surfaces, and advancemen…
PatrIoT: IoT Automated Interoperability and Integration Testing Framework
Miroslav Bures, Bestoun S. Ahmed, Vaclav Rechtberger +6
With the rapid growth of the contemporary Internet of Things (IoT) market, the established systems raise a number of concerns regarding the reliability and the potential presence o…