Miroslav Bures

According to our database, Miroslav Bures authored at least 89 papers between 2004 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A cache-aware congestion control mechanism using deep reinforcement learning for wireless sensor networks.

Melchizedek Alipio, Miroslav Bures

Ad Hoc Networks, 2025

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, April, 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

Ant Colony Optimization Based Algorithm for Test Path Generation Problem with Negative Constraints.

Matej Klima, Miroslav Bures, Martin Blaha

Proceedings of the 24th IEEE International Conference on Software Quality, 2024

2023

Intelligent Network Maintenance Modeling for Fixed Broadband Networks in Sustainable Smart Homes.

Melchizedek Alipio, Miroslav Bures

IEEE Internet Things J., October, 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, October, 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, July, 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

Dataset, May, 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., April, 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

Review of Open Software Bug Datasets.

Tomas Holek, Miroslav Bures, Tomás Cerný

Proceedings of the Information Systems and Technologies, 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

Proceedings of the 9th IEEE World Forum on Internet of Things, 2023

Benchmarks for End-to-End Microservices Testing.

Sheldon Smith, Ethan Robinson, Timmy Frederiksen, Trae Stevens, Tomás Cerný, Miroslav Bures, Davide Taibi

Proceedings of the IEEE International Conference on Service-Oriented System Engineering, 2023

A Classification of Cross-Layer Optimization Approaches in LoRaWAN for Internet of Things.

Carl Christian Chaguile, Melchizedek Alipio, Miroslav Bures

Proceedings of the Fourteenth International Conference on Ubiquitous and Future Networks, 2023

Open Benchmark Testbed to Evaluate Effectiveness of Path-based Tests.

Matej Klima, Miroslav Bures, Michaela Kubisova, Pavel Herout

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

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

Dataset, June, 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

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

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

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

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

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

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, Pavel Tisnovsky

IEEE Access, 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

Proceedings of the Recent Advances in Transdisciplinary Data Science, 2022

Visualizing architectural evolution via provenance tracking: a systematic review.

Kaitlynn Burgess, Dante Hart, Amr Elsayed, Tomás Cerný, Miroslav Bures, Pavel Tisnovsky

Proceedings of the Conference on Research in Adaptive and Convergent Systems, 2022

Prioritized Variable-length Test Cases Generation for Finite State Machines.

Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Youcef Belkhier, Jiri Nema, Hynek Schvach

Proceedings of the 15th IEEE International Conference on Software Testing, 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

Proceedings of the 15th IEEE International Conference on Software Testing, 2022

Factors Impacting Resilience of Internet of Things Systems in Critical Infrastructure.

Miroslav Bures, Pavel Blazek, Jiri Nema, Hynek Schvach

Proceedings of the 2022 IEEE World AI IoT Congress (AIIoT), 2022

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

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

A Testing Tool for IoT Systems Operating with Limited Network Connectivity.

Matej Klima, Miroslav Bures

Proceedings of the Trends and Applications in Information Systems and Technologies, 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

Proceedings of the Trends and Applications in Information Systems and Technologies, 2021

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

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

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

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

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

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

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

IEEE Access, 2020

Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT Systems.

Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed

Proceedings of the WSSE 2020: The 2nd World Symposium on Software Engineering, 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

Proceedings of the Science and Technologies for Smart Cities, 2020

Code Coverage Aware Test Generation Using Constraint Solver.

Krystof Sykora, Bestoun S. Ahmed, Miroslav Bures

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 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

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 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

Proceedings of the RACS '20: International Conference on Research in Adaptive and Convergent Systems, 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

Proceedings of the RACS '20: International Conference on Research in Adaptive and Convergent Systems, 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

Proceedings of the RACS '20: International Conference on Research in Adaptive and Convergent Systems, 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

Proceedings of the RACS '20: International Conference on Research in Adaptive and Convergent Systems, 2020

Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application.

Jan Richter, Bestoun S. Ahmed, Miroslav Bures, Cleber R. Rosa Junior

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing.

Miroslav Bures, Pavel Herout, Bestoun S. Ahmed

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

An Automated Testing Framework For Smart TV apps Based on Model Separation.

Bestoun S. Ahmed, Angelo Gargantini, Miroslav Bures

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Dynamic Data Consistency Tests Using a CRUD Matrix as an Underlying Model.

Miroslav Bures, Vaclav Rechtberger

Proceedings of the ESSE 2020: 2020 European Symposium on Software Engineering, 2020

2019

EvoCreeper: Automated Black-Box Model Generation for Smart TV Applications.

Bestoun S. Ahmed, Miroslav Bures

IEEE Trans. Consumer Electron., 2019

Employment of multiple algorithms for optimal path-based test selection strategy.

Miroslav Bures, Bestoun S. Ahmed

Inf. Softw. Technol., 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

Code-aware combinatorial interaction testing.

Bestoun S. Ahmed, Angelo Gargantini, Kamal Z. Zamli, Cemal Yilmaz, Miroslav Bures, Marek Szeles

IET Softw., 2019

Testing of Smart TV Applications: Key Ingredients, Challenges and Proposed Solutions.

Bestoun S. Ahmed, Miroslav Bures

CoRR, 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

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

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

Proceedings of the HCI for Cybersecurity, Privacy and Trust, 2019

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

Proceedings of the Evaluation and Assessment on Software Engineering, 2019

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

Identification of Potential Reusable Subroutines in Recorded Automated Test Scripts.

Miroslav Bures, Martin Filipsky, Ivan Jelínek

Int. J. Softw. Eng. Knowl. Eng., 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

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

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

Internet of Things: Current Challenges in the Quality Assurance and Testing Methods.

Miroslav Bures, Tomás Cerný, Bestoun S. Ahmed

Proceedings of the Information Science and Applications 2018, 2018

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

Constrained Interaction Testing: A Systematic Literature Study.

Bestoun S. Ahmed, Kamal Z. Zamli, Wasif Afzal, Miroslav Bures

IEEE Access, 2017

On the Effectiveness of Combinatorial Interaction Testing: A Case Study.

Miroslav Bures, Bestoun S. Ahmed

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Prioritized Process Test: More Efficiency in Testing of Business Processes and Workflows.

Miroslav Bures, Tomás Cerný, Matej Klima

Proceedings of the Information Science and Applications 2017, 2017

Static Testing Using Different Types of CRUD Matrices.

Miroslav Bures, Tomás Cerný

Proceedings of the Information Science and Applications 2017, 2017

2016

Model-Based Testing and Exploratory Testing: Is Synergy Possible?

Karel Frajták, Miroslav Bures, Ivan Jelínek

Proceedings of the 6th International Conference on IT Convergence and Security, 2016

SmartDriver: Extension of Selenium WebDriver to Create More Efficient Automated Tests.

Miroslav Bures, Martin Filipsky

Proceedings of the 6th International Conference on IT Convergence and Security, 2016

2015

Creating Smart Tests from Recorded Automated Test Cases.

Martin Filipsky, Miroslav Bures, Ivan Jelínek

Proceedings of the New Contributions in Information Systems and Technologies, 2015

PCTgen: Automated Generation of Test Cases for Application Workflows.

Miroslav Bures

Proceedings of the New Contributions in Information Systems and Technologies, 2015

Model for Evaluation and Cost Estimations of the Automated Testing Architecture.

Miroslav Bures

Proceedings of the New Contributions in Information Systems and Technologies, 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

Proceedings of the 38th International Conference on Telecommunications and Signal Processing, 2015

Transformation of IFML schemas to automated tests.

Karel Frajták, Miroslav Bures, Ivan Jelínek

Proceedings of the 2015 Conference on research in adaptive and convergent systems, 2015

Framework for assessment of web application automated testability.

Miroslav Bures

Proceedings of the 2015 Conference on research in adaptive and convergent systems, 2015

Using the Interaction Flow Modelling Language for Generation of Automated Front-End Tests.

Karel Frajták, Miroslav Bures, Ivan Jelínek

Proceedings of the Position Papers of the 2015 Federated Conference on Computer Science and Information Systems, 2015

Metrics for automated testability of web applications.

Miroslav Bures

Proceedings of the 16th International Conference on Computer Systems and Technologies, 2015

2014

Change Detection System for the Maintenance of Automated Testing.

Miroslav Bures

Proceedings of the Testing Software and Systems, 2014

Pex Extension for Generating User Input Validation Code for Web Applications.

Karel Frajták, Miroslav Bures, Ivan Jelínek

Proceedings of the ICSOFT-EA 2014, 2014

Reducing user input validation code in web applications using Pex extension.

Karel Frajták, Miroslav Bures, Ivan Jelínek

Proceedings of the 15th International Conference on Computer Systems and Technologies, 2014

Automated testing in the Czech Republic: the current situation and issues.

Miroslav Bures

Proceedings of the 15th International Conference on Computer Systems and Technologies, 2014

2012

Software designed 64-QAM demodulator of OFDM signal implemented into FPGA elements.

Miroslav Bures, Marek Dvorsky

Proceedings of the 35th International Conference on Telecommunications and Signal Processing, 2012

Formal specification to support advanced model based testing.

Karel Frajták, Miroslav Bures, Ivan Jelínek

Proceedings of the Federated Conference on Computer Science and Information Systems, 2012

2007

Towards the Reusable User Data in Adaptive Hypermedia Systems - The External Mapping of User Parameters between Systems.

Miroslav Bures, Ivan Jelínek

Proceedings of the 2007 International Conference on Cyberworlds, 2007

2005

Using AICC to Create Reusable Adaptive Hypermedia E-learning Content.

Miroslav Bures, Ivan Jelínek

Proceedings of the 4th International Conference on Cyberworlds (CW 2005), 2005

2004

e-learning adaptive web system's formal design.

Miroslav Bures, Ivan Jelínek

Proceedings of the 5th International Conference on Computer Systems and Technologies, 2004