81 citations · 215 across the 30 of their papers we have counts for
35 papers
Benchmarks for End-to-End Microservices Testing
Sheldon Smith, Ethan Robinson, Timmy Frederiksen +4
Testing microservice systems involves a large amount of planning and problem-solving. The difficulty of testing microservice systems increases as the size and structure of such sys…
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…
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…
Review of Specific Features and Challenges in the Current Internet of Things Systems Impacting their Security and Reliability
Miroslav Bures, Matej Klima, Vaclav Rechtberger +3
The current development of the Internet of Things (IoT) technology poses significant challenges to researchers and industry practitioners. Among these challenges, security and reli…
A Testing Tool for IoT Systems Operating with Limited Network Connectivity
Matej Klima, Miroslav Bures
For Internet of Things (IoT) systems operating in areas with limited network connectivity, reliable and safe functionality must be ensured. This can be done using special test case…
Software Module Clustering: An In-Depth Literature Analysis
Qusay I. Sarhan, Bestoun S. Ahmed, Miroslav Bures +1
Software module clustering is an unsupervised learning method used to cluster software entities (e.g., classes, modules, or files) with similar features. The obtained clusters may…
Dynamic Data Consistency Tests Using a CRUD Matrix as an Underlying Model
Miroslav Bures, Vaclav Rechtberger
In testing of software and Internet of Things (IoT) systems, one of necessary type of tests has to verify the consistency of data that are processed and stored in the system. The D…
Quality and Reliability Metrics for IoT Systems: A Consolidated View
Matej Klima, Vaclav Rechtberger, Miroslav Bures +3
Quality and reliability metrics play an important role in the evaluation of the state of a system during the development and testing phases, and serve as tools to optimize the test…
A Review of Cyber-Ranges and Test-Beds: Current and Future Trends
Elochukwu Ukwandu, Mohamed Amine Ben Farah, Hanan Hindy +7
Cyber situational awareness has been proven to be of value in forming a comprehensive understanding of threats and vulnerabilities within organisations, as the degree of exposure i…
Code Coverage Aware Test Generation Using Constraint Solver
Krystof Sykora, Bestoun S. Ahmed, Miroslav Bures
Code coverage has been used in the software testing context mostly as a metric to assess a generated test suite's quality. Recently, code coverage analysis is used as a white-box t…
Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study
Miroslav Bures, Matej Klima, Vaclav Rechtberger +4
The recent active development of Internet of Things (IoT) solutions in various domains has led to an increased demand for security, safety, and reliability of these systems. Securi…
Leveraging Siamese Networks for One-Shot Intrusion Detection Model
Hanan Hindy, Christos Tachtatzis, Robert Atkinson +5
The use of supervised Machine Learning (ML) to enhance Intrusion Detection Systems has been the subject of significant research. Supervised ML is based upon learning by example, de…
Machine Learning Based IoT Intrusion Detection System: An MQTT Case Study (MQTT-IoT-IDS2020 Dataset)
Hanan Hindy, Ethan Bayne, Miroslav Bures +3
The Internet of Things (IoT) is one of the main research fields in the Cybersecurity domain. This is due to (a) the increased dependency on automated device, and (b) the inadequacy…
Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT Systems
Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed
To effectively test parts of the Internet of Things (IoT) systems with a state machine character, Model-based Testing (MBT) approach can be taken. In MBT, a system model is created…
Testing the Usability and Accessibility of Smart TV Applications Using an Automated Model-based Approach
Miroslav Bures, Miroslav Macik, Bestoun S. Ahmed +2
As the popularity of Smart Televisions (TVs) and interactive Smart TV applications (apps) has recently grown, the usability of these apps has become an important quality characteri…
An Automated Testing Framework For Smart TV apps Based on Model Separation
Bestoun S. Ahmed, Angelo Gargantini, Miroslav Bures
Smart TV application (app) is a new technological software app that can deal with smart TV devices to add more functionality and features. Despite its importance nowadays, far too…
Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application
Jan Richter, Bestoun S. Ahmed, Miroslav Bures +1
This paper presents the outcome of a research collaboration between academia and industry to implement and utilize the capabilities of constrained interaction testing for an open-s…
Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing
Miroslav Bures, Pavel Herout, Bestoun S. Ahmed
A natural method to evaluate the effectiveness of a testing technique is to measure the defect detection rate when applying the created test cases. Here, real or artificial softwar…
Code-Aware Combinatorial Interaction Testing
Bestoun S. Ahmed, Angelo Gargantini, Kamal Z. Zamli +3
Combinatorial interaction testing (CIT) is a useful testing technique to address the interaction of input parameters in software systems. In many applications, the technique has be…