Dynamic Data Consistency Tests Using a CRUD Matrix as an Underlying Model. - Miroslav Bures; Vaclav Rechtberger (ESSE, 2020)

Interoperability and Integration Testing Methods for IoT Systems: A Systematic Mapping Study. - Miroslav Bures; Matej Klima; Vaclav Rechtberger; Xavier J. A. Bellekens; Christos Tachtatzis; Robert C. Atkinson; Bestoun S. Ahmed (SEFM, 2020)

Quality and Reliability Metrics for IoT Systems: A Consolidated View. - Matej Klima; Vaclav Rechtberger; Miroslav Bures; Xavier J. A. Bellekens; Hanan Hindy; Bestoun S. Ahmed (SmartCity360°, 2020)

Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT Systems. - Vaclav Rechtberger; Miroslav Bures; Bestoun S. Ahmed (WSSE, 2020)

Testing the Usability and Accessibility of Smart TV Applications Using an Automated Model-Based Approach. - Miroslav Bures; Miroslav Macik; Bestoun S. Ahmed; Vaclav Rechtberger; Pavel Slavík (IEEE Trans. Consumer Electron., 2020)

PatrIoT: IoT Automated Interoperability and Integration Testing Framework. - Miroslav Bures; Bestoun S. Ahmed; Vaclav Rechtberger; Matej Klima; Michal Trnka; Miroslav Jaros; Xavier J. A. Bellekens; Dani Almog; Pavel Herout (ICST, 2021)

Review of Specific Features and Challenges in the Current Internet of Things Systems Impacting Their Security and Reliability. - Miroslav Bures; Matej Klima; Vaclav Rechtberger; Bestoun S. Ahmed; Hanan Hindy; Xavier J. A. Bellekens (WorldCIST (3), 2021)

Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs. - Vaclav Rechtberger; Miroslav Bures; Bestoun S. Ahmed (ICST Workshops, 2022)

Prioritized Variable-length Test Cases Generation for Finite State Machines. - Vaclav Rechtberger; Miroslav Bures; Bestoun S. Ahmed; Youcef Belkhier; Jiri Nema; Hynek Schvach (ICST Workshops, 2022)

Selected Code-Quality Characteristics and Metrics for Internet of Things Systems. - Matej Klima; Miroslav Bures; Karel Frajták; Vaclav Rechtberger; Michal Trnka; Xavier J. A. Bellekens; Tomás Cerný; Bestoun S. Ahmed (IEEE Access, 2022)

Novel Strategy Generating Variable-Length State Machine Test Paths. - Vaclav Rechtberger; Miroslav Bures; Bestoun S. Ahmed; Hynek Schvach (Int. J. Softw. Eng. Knowl. Eng., 2022)