e-learning adaptive web system's formal design. - Miroslav Bures; Ivan Jelínek (CompSysTech, 2004)

Using AICC to Create Reusable Adaptive Hypermedia E-learning Content. - Miroslav Bures; Ivan Jelínek (CW, 2005)

Towards the Reusable User Data in Adaptive Hypermedia Systems - The External Mapping of User Parameters between Systems. - Miroslav Bures; Ivan Jelínek (CW, 2007)

Formal specification to support advanced model based testing. - Karel Frajták; Miroslav Bures; Ivan Jelínek (FedCSIS, 2012)

Software designed 64-QAM demodulator of OFDM signal implemented into FPGA elements. - Miroslav Bures; Marek Dvorsky (TSP, 2012)

Automated testing in the Czech Republic: the current situation and issues. - Miroslav Bures (CompSysTech, 2014)

Reducing user input validation code in web applications using Pex extension. - Karel Frajták; Miroslav Bures; Ivan Jelínek (CompSysTech, 2014)

Pex Extension for Generating User Input Validation Code for Web Applications. - Karel Frajták; Miroslav Bures; Ivan Jelínek (ICSOFT EA, 2014)

Change Detection System for the Maintenance of Automated Testing. - Miroslav Bures (ICTSS, 2014)

Metrics for automated testability of web applications. - Miroslav Bures (CompSysTech, 2015)

Using the Interaction Flow Modelling Language for Generation of Automated Front-End Tests. - Karel Frajták; Miroslav Bures; Ivan Jelínek (FedCSIS (Position Papers), 2015)

Framework for assessment of web application automated testability. - Miroslav Bures (RACS, 2015)

Transformation of IFML schemas to automated tests. - Karel Frajták; Miroslav Bures; Ivan Jelínek (RACS, 2015)

Collaboration system integrating audio, video and text communication in INDECT project. - Lukas Kapicak; Martin Mikulec; Miroslav Voznák; Pavel Nevlud; Miroslav Bures; Jaroslav Zdralek (TSP, 2015)

Model for Evaluation and Cost Estimations of the Automated Testing Architecture. - Miroslav Bures (WorldCIST (1), 2015)

PCTgen: Automated Generation of Test Cases for Application Workflows. - Miroslav Bures (WorldCIST (1), 2015)

Creating Smart Tests from Recorded Automated Test Cases. - Martin Filipsky; Miroslav Bures; Ivan Jelínek (WorldCIST (1), 2015)

SmartDriver: Extension of Selenium WebDriver to Create More Efficient Automated Tests. - Miroslav Bures; Martin Filipsky (ICITCS, 2016)

Model-Based Testing and Exploratory Testing: Is Synergy Possible? - Karel Frajták; Miroslav Bures; Ivan Jelínek (ICITCS, 2016)

Static Testing Using Different Types of CRUD Matrices. - Miroslav Bures; Tomás Cerný (ICISA, 2017)

Prioritized Process Test: More Efficiency in Testing of Business Processes and Workflows. - Miroslav Bures; Tomás Cerný; Matej Klima (ICISA, 2017)

On the Effectiveness of Combinatorial Interaction Testing: A Case Study. - Miroslav Bures; Bestoun S. Ahmed (QRS Companion, 2017)

Constrained Interaction Testing: A Systematic Literature Study. - Bestoun S. Ahmed; Kamal Z. Zamli; Wasif Afzal; Miroslav Bures (IEEE Access, 2017)

Exploratory testing supported by automated reengineering of model of the system under test. - Karel Frajták; Miroslav Bures; Ivan Jelínek (Clust. Comput., 2017)

Internet of Things: Current Challenges in the Quality Assurance and Testing Methods. - Miroslav Bures; Tomás Cerný; Bestoun S. Ahmed (ICISA, 2018)

Conceptual approach for reuse of test automation artifacts on various architectural levels. - Dani Almog; Hadas Schwartz-Chassidim; Yaron Tsubery; Miroslav Bures; Shlomo Mark (Comput. Sci. Inf. Syst., 2018)

A Hybrid Q-Learning Sine-Cosine-based Strategy for Addressing the Combinatorial Test Suite Minimization Problem. - Kamal Z. Zamli; Fakhrud Din; Bestoun S. Ahmed; Miroslav Bures (CoRR, 2018)

A Comprehensive View on Quality Characteristics of the IoT Solutions. - Miroslav Bures; Xavier J. A. Bellekens; Karel Frajták; Bestoun S. Ahmed (CoRR, 2018)

Identification of Potential Reusable Subroutines in Recorded Automated Test Scripts. - Miroslav Bures; Martin Filipsky; Ivan Jelínek (Int. J. Softw. Eng. Knowl. Eng., 2018)

Tapir: Automation Support of Exploratory Testing Using Model Reconstruction of the System Under Test. - Miroslav Bures; Karel Frajták; Bestoun S. Ahmed (IEEE Trans. Reliab., 2018)

Towards an Automated Unified Framework to Run Applications for Combinatorial Interaction Testing. - Bestoun S. Ahmed; Amador Pahim; Cleber R. Rosa Junior; D. Richard Kuhn; Miroslav Bures (EASE, 2019)

From Cyber-Security Deception to Manipulation and Gratification Through Gamification. - Xavier J. A. Bellekens; Gayan Jayasekara; Hanan Hindy; Miroslav Bures; David Brosset; Christos Tachtatzis; Robert C. Atkinson (HCI (29), 2019)

Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study. - Bestoun S. Ahmed; Miroslav Bures; Karel Frajták; Tomás Cerný (IEEE Access, 2019)

Testing the consistency of business data objects using extended static testing of CRUD matrices. - Miroslav Bures; Tomás Cerný; Karel Frajták; Bestoun S. Ahmed (Clust. Comput., 2019)

Testing of Smart TV Applications: Key Ingredients, Challenges and Proposed Solutions. - Bestoun S. Ahmed; Miroslav Bures (CoRR, 2019)

Code-aware combinatorial interaction testing. - Bestoun S. Ahmed; Angelo Gargantini; Kamal Z. Zamli; Cemal Yilmaz 001; Miroslav Bures; Marek Szeles (IET Softw., 2019)

Prioritized Process Test: An Alternative to Current Process Testing Strategies. - Miroslav Bures; Bestoun S. Ahmed; Kamal Z. Zamli (Int. J. Softw. Eng. Knowl. Eng., 2019)

Employment of multiple algorithms for optimal path-based test selection strategy. - Miroslav Bures; Bestoun S. Ahmed (Inf. Softw. Technol., 2019)

EvoCreeper: Automated Black-Box Model Generation for Smart TV Applications. - Bestoun S. Ahmed; Miroslav Bures (IEEE Trans. Consumer Electron., 2019)

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

An Automated Testing Framework For Smart TV apps Based on Model Separation. - Bestoun S. Ahmed; Angelo Gargantini; Miroslav Bures (ICST Workshops, 2020)

Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing. - Miroslav Bures; Pavel Herout; Bestoun S. Ahmed (ICST, 2020)

Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application. - Jan Richter; Bestoun S. Ahmed; Miroslav Bures; Cleber R. Rosa Junior (ICST Workshops, 2020)

On Matching Log Analysis to Source Code: A Systematic Mapping Study. - Vincent Bushong; Russell Sanders; Jacob Curtis; Mark Du; Tomás Cerný; Karel Frajták; Miroslav Bures; Pavel Tisnovsky; Dongwan Shin (RACS, 2020)

Mapping Study on Constraint Consistency Checking in Distributed Enterprise Systems. - Tomás Cerný; Andrew Walker; Jan Svacina; Vincent Bushong; Dipta Das; Karel Frajták; Miroslav Bures; Pavel Tisnovsky (RACS, 2020)

Failure Prediction by Utilizing Log Analysis: A Systematic Mapping Study. - Dipta Das; Micah Schiewe; Elizabeth Brighton; Mark Fuller; Tomás Cerný; Miroslav Bures; Karel Frajták; Dongwan Shin; Pavel Tisnovsky (RACS, 2020)

On Vulnerability and Security Log analysis: A Systematic Literature Review on Recent Trends. - Jan Svacina; Jackson Raffety; Connor Woodahl; Brooklynn Stone; Tomás Cerný; Miroslav Bures; Dongwan Shin; Karel Frajták; Pavel Tisnovsky (RACS, 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)

Code Coverage Aware Test Generation Using Constraint Solver. - Krystof Sykora; Bestoun S. Ahmed; Miroslav Bures (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)

On Code Analysis Opportunities and Challenges for Enterprise Systems and Microservices. - Tomás Cerný; Jan Svacina; Dipta Das; Vincent Bushong; Miroslav Bures; Pavel Tisnovsky; Karel Frajták; Dongwan Shin; Jun Huang 002 (IEEE Access, 2020)

Machine Learning Based IoT Intrusion Detection System: An MQTT Case Study. - Hanan Hindy; Ethan Bayne; Miroslav Bures; Robert C. Atkinson; Christos Tachtatzis; Xavier J. A. Bellekens (CoRR, 2020)

A Review of Cyber-Ranges and Test-Beds: Current and Future Trends. - Elochukwu Ukwandu; Mohamed Amine Ben Farah; Hanan Hindy; David Brosset; Dimitris Kavallieros; Robert C. Atkinson; Christos Tachtatzis; Miroslav Bures; Ivan Andonovic; Xavier J. A. Bellekens (Sensors, 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)

Securing Internet of Things Devices Using The Network Context. - Michal Trnka; Jan Svacina; Tomás Cerný; Eunjee Song; Jiman Hong; Miroslav Bures (IEEE Trans. Ind. Informatics, 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)

A Testing Tool for IoT Systems Operating with Limited Network Connectivity. - Matej Klima; Miroslav Bures (WorldCIST (3), 2021)

Cyber-Security Challenges in Aviation Industry: A Review of Current and Future Trends. - Elochukwu Ukwandu; Mohamed Amine Ben Farah; Hanan Hindy; Miroslav Bures; Robert C. Atkinson; Christos Tachtatzis; Xavier J. A. Bellekens (CoRR, 2021)

Utilising Flow Aggregation to Classify Benign Imitating Attacks. - Hanan Hindy; Robert C. Atkinson; Christos Tachtatzis; Ethan Bayne; Miroslav Bures; Xavier J. A. Bellekens (Sensors, 2021)

Factors Impacting Resilience of Internet of Things Systems in Critical Infrastructure. - Miroslav Bures; Pavel Blazek; Jiri Nema; Hynek Schvach (AIIoT, 2022)

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)

Visualizing architectural evolution via provenance tracking: a systematic review. - Kaitlynn Burgess; Dante Hart; Amr Elsayed; Tomás Cerný; Miroslav Bures; Pavel Tisnovsky (RACS, 2022)

Analyzing Technical Debt by Mapping Production Logs with Source Code. - Dipta Das; Md Rofiqul Islam; Samuel Kim; Tomás Cerný; Karel Frajták; Miroslav Bures; Pavel Tisnovsky (SDSC, 2022)

Visualizing Microservice Architecture in the Dynamic Perspective: A Systematic Mapping Study. - Mia E. Gortney; Patrick E. Harris; Tomás Cerný; Abdullah Al Maruf; Miroslav Bures; Davide Taibi 001; Pavel Tisnovsky (IEEE Access, 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)

Cyber Security in the Maritime Industry: A Systematic Survey of Recent Advances and Future Trends. - Mohamed Amine Ben Farah; Elochukwu Ukwandu; Hanan Hindy; David Brosset; Miroslav Bures; Ivan Andonovic; Xavier J. A. Bellekens (Inf., 2022)

Cyber-Security Challenges in Aviation Industry: A Review of Current and Future Trends. - Elochukwu Ukwandu; Mohamed Amine Ben Farah; Hanan Hindy; Miroslav Bures; Robert C. Atkinson; Christos Tachtatzis; Ivan Andonovic; Xavier J. A. Bellekens (Inf., 2022)

A Sensor Network Utilizing Consumer Wearables for Telerehabilitation of Post-Acute COVID-19 Patients. - Miroslav Bures; Katerina Neumannova; Pavel Blazek; Matej Klima; Hynek Schvach; Jiri Nema; Michal Kopecky; Jan Dygrýn; Vladimir Koblizek (IEEE Internet Things J., 2022)

Software Module Clustering: An In-Depth Literature Analysis. - Qusay Idrees Sarhan; Bestoun S. Ahmed; Miroslav Bures; Kamal Z. Zamli (IEEE Trans. Software Eng., 2022)

Supplementary material for the article "A Sensor Network Utilizing Consumer Wearables for Telerehabilitation of Post-acute COVID-19 Patients". - Miroslav Bures; Katerina Neumannova; Pavel Blazek; Matej Klima; Hynek Schvach; Jiri Nema; Michal Kopecky; Jan Dygrýn; Vladimir Koblizek (IEEE DataPort, 2022)

Open Benchmark Testbed to Evaluate Effectiveness of Path-based Tests. - Matej Klima; Miroslav Bures; Michaela Kubisova; Pavel Herout (ICSTW, 2023)

A Classification of Cross-Layer Optimization Approaches in LoRaWAN for Internet of Things. - Carl Christian Chaguile; Melchizedek Alipio; Miroslav Bures (ICUFN, 2023)

Benchmarks for End-to-End Microservices Testing. - Sheldon Smith; Ethan Robinson; Timmy Frederiksen; Trae Stevens; Tomás Cerný; Miroslav Bures; Davide Taibi 001 (SOSE, 2023)

Goat Feeding Behavior Modeling and Monitoring Utilizing Livestock Wearable Device and Machine Learning Algorithm. - Melchizedek Alipio; Gianne Marcus Obusan; Julianne Abbe Ong; Samuel Perez; Anton Luis Garces; Miroslav Bures (WF-IoT, 2023)

Review of Open Software Bug Datasets. - Tomas Holek; Miroslav Bures; Tomás Cerný (WorldCIST (3), 2023)

More Accurate Cost Estimation for Internet of Things Projects by Adaptation of Use Case Points Methodology. - Radek Silhavy; Miroslav Bures; Melchizedek Alipio; Petr Silhavy (IEEE Internet Things J., 2023)

Leveraging siamese networks for one-shot intrusion detection model. - Hanan Hindy; Christos Tachtatzis; Robert C. Atkinson; David Brosset; Miroslav Bures; Ivan Andonovic; W. Craig Michie; Xavier J. A. Bellekens (J. Intell. Inf. Syst., 2023)

Case studies - More Accurate Cost Estimation for Internet of Things Projects by Adaptation of Use Case Points Methodology. - Radek Silhavy; Melchizedek Alipio; Miroslav Bures; Petr Silhavy (IEEE DataPort, 2023)

Specialized path-based technique to test Internet of Things system functionality under limited network connectivity. - Matej Klima; Miroslav Bures; Bestoun S. Ahmed; Xavier J. A. Bellekens; Robert C. Atkinson; Christos Tachtatzis; Pavel Herout (Internet Things, 2023)

Deep Reinforcement Learning Perspectives on Improving Reliable Transmissions in IoT Networks: Problem Formulation, Parameter Choices, Challenges, and Future Directions. - Melchizedek Alipio; Miroslav Bures (Internet Things, 2023)

Intelligent Network Maintenance Modeling for Fixed Broadband Networks in Sustainable Smart Homes. - Melchizedek Alipio; Miroslav Bures (IEEE Internet Things J., 2023)

Enhancing WSN Performance with DRL-CaCC: An Adaptive Cache-Aware Congestion Control Mechanism. - Melchizedek Alipio; Miroslav Bures (ICTC, 2024)

Ant Colony Optimization Based Algorithm for Test Path Generation Problem with Negative Constraints. - Matej Klima; Miroslav Bures; Martin Blaha (QRS, 2024)

A review of LoRaWAN performance optimization through cross-layer-based approach for Internet of Things. - Melchizedek Alipio; Carl Christian Chaguile; Miroslav Bures (Internet Things, 2024)

Current testing and performance evaluation methodologies of LoRa and LoRaWAN in IoT applications: Classification, issues, and future directives. - Melchizedek Alipio; Miroslav Bures (Internet Things, 2024)

CPT Manager: An Open Environment for Constrained Path-Based Testing. - Matej Klima; Miroslav Bures; Daniel Holotik; Maximilian Herczeg; Marek Miltner; Chad Zanocco (ICSTW, 2025)

Novel Algorithm to Solve the Constrained Path-Based Testing Problem. - Matej Klima; Miroslav Bures; Marek Miltner; Chad Zanocco; Gordon Fraser 001; Sebastian Schweikl; Patric Feldmeier (ICSTW, 2025)

A cache-aware congestion control mechanism using deep reinforcement learning for wireless sensor networks. - Melchizedek Alipio; Miroslav Bures (Ad Hoc Networks, 2025)