19 citations · 35 across the 23 of their papers we have counts for
22 papers · 1 filter
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…
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…
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…