Miroslav Bures

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 97

Top Venues

Publications

Melchizedek Alipio, Miroslav Bures
Current testing and performance evaluation methodologies of LoRa and LoRaWAN in IoT applications: Classification, issues, and future directives. Internet Things 25 (2024)
Melchizedek Alipio, Gianne Marcus Obusan, Julianne Abbe Ong, Samuel Perez, Anton Luis Garces, Miroslav Bures
Goat Feeding Behavior Modeling and Monitoring Utilizing Livestock Wearable Device and Machine Learning Algorithm. WF-IoT (2023)
Radek Silhavy, Miroslav Bures, Melchizedek Alipio, Petr Silhavy
More Accurate Cost Estimation for Internet of Things Projects by Adaptation of Use Case Points Methodology. IEEE Internet Things J. 10 (21) (2023)
Hanan Hindy, Christos Tachtatzis, Robert C. Atkinson, David Brosset, Miroslav Bures, Ivan Andonovic, W. Craig Michie, Xavier J. A. Bellekens
Leveraging siamese networks for one-shot intrusion detection model. J. Intell. Inf. Syst. 60 (2) (2023)
Sheldon Smith, Ethan Robinson, Timmy Frederiksen, Trae Stevens, Tomás Cerný, Miroslav Bures, Davide Taibi
Benchmarks for End-to-End Microservices Testing. CoRR (2023)
Carl Christian Chaguile, Melchizedek Alipio, Miroslav Bures
A Classification of Cross-Layer Optimization Approaches in LoRaWAN for Internet of Things. ICUFN (2023)
Sheldon Smith, Ethan Robinson, Timmy Frederiksen, Trae Stevens, Tomás Cerný, Miroslav Bures, Davide Taibi
Benchmarks for End-to-End Microservices Testing. SOSE (2023)
Melchizedek Alipio, Miroslav Bures
Deep Reinforcement Learning Perspectives on Improving Reliable Transmissions in IoT Networks: Problem Formulation, Parameter Choices, Challenges, and Future Directions. Internet Things 23 (2023)
Tomas Holek, Miroslav Bures, Tomás Cerný
Review of Open Software Bug Datasets. WorldCIST (3) (2023)
Matej Klima, Miroslav Bures, Michaela Kubisova, Pavel Herout
Open Benchmark Testbed to Evaluate Effectiveness of Path-based Tests. ICSTW (2023)
Melchizedek Alipio, Miroslav Bures
Intelligent Network Maintenance Modeling for Fixed Broadband Networks in Sustainable Smart Homes. IEEE Internet Things J. 10 (20) (2023)
Matej Klima, Miroslav Bures, Bestoun S. Ahmed, Xavier J. A. Bellekens, Robert C. Atkinson, Christos Tachtatzis, Pavel Herout
Specialized path-based technique to test Internet of Things system functionality under limited network connectivity. Internet Things 22 (2023)
Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed
Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs. CoRR (2022)
Miroslav Bures, Katerina Neumannova, Pavel Blazek, Matej Klima, Hynek Schvach, Jiri Nema, Michal Kopecky, Jan Dygryn, Vladimir Koblizek
A Sensor Network Utilizing Consumer Wearables for Telerehabilitation of Post-Acute COVID-19 Patients. IEEE Internet Things J. 9 (23) (2022)
Dipta Das, Md Rofiqul Islam, Samuel Kim, Tomás Cerný, Karel Frajták, Miroslav Bures, Pavel Tisnovsky
Analyzing Technical Debt by Mapping Production Logs with Source Code. SDSC (2022)
Kaitlynn Burgess, Dante Hart, Amr Elsayed, Tomás Cerný, Miroslav Bures, Pavel Tisnovsky
Visualizing architectural evolution via provenance tracking: a systematic review. RACS (2022)
Qusay Idrees Sarhan, Bestoun S. Ahmed, Miroslav Bures, Kamal Z. Zamli
Software Module Clustering: An In-Depth Literature Analysis. IEEE Trans. Software Eng. 48 (6) (2022)
Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Youcef Belkhier, Jiri Nema, Hynek Schvach
Prioritized Variable-length Test Cases Generation for Finite State Machines. ICST Workshops (2022)
Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Youcef Belkhier, Jiri Nema, Hynek Schvach
Prioritized Variable-length Test Cases Generation for Finite State Machines. CoRR (2022)
Mohamed Amine Ben Farah, Elochukwu Ukwandu, Hanan Hindy, David Brosset, Miroslav Bures, Ivan Andonovic, Xavier J. A. Bellekens
Cyber Security in the Maritime Industry: A Systematic Survey of Recent Advances and Future Trends. Inf. 13 (1) (2022)
Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Hynek Schvach
Novel Strategy Generating Variable-Length State Machine Test Paths. Int. J. Softw. Eng. Knowl. Eng. 32 (8) (2022)
Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Hynek Schvach
Novel Strategy Generating Variable-length State Machine Test Paths. CoRR (2022)
Miroslav Bures, Pavel Blazek, Jiri Nema, Hynek Schvach
Factors Impacting Resilience of Internet of Things Systems in Critical Infrastructure. CoRR (2022)
Miroslav Bures, Pavel Blazek, Jiri Nema, Hynek Schvach
Factors Impacting Resilience of Internet of Things Systems in Critical Infrastructure. AIIoT (2022)
Matej Klima, Miroslav Bures, Karel Frajták, Vaclav Rechtberger, Michal Trnka, Xavier J. A. Bellekens, Tomás Cerný, Bestoun S. Ahmed
Selected Code-Quality Characteristics and Metrics for Internet of Things Systems. IEEE Access 10 (2022)
Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed
Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs. ICST Workshops (2022)
Elochukwu Ukwandu, Mohamed Amine Ben Farah, Hanan Hindy, Miroslav Bures, Robert C. Atkinson, Christos Tachtatzis, Ivan Andonovic, Xavier J. A. Bellekens
Cyber-Security Challenges in Aviation Industry: A Review of Current and Future Trends. Inf. 13 (3) (2022)
Mia E. Gortney, Patrick E. Harris, Tomás Cerný, Abdullah Al Maruf, Miroslav Bures, Davide Taibi, Pavel Tisnovsky
Visualizing Microservice Architecture in the Dynamic Perspective: A Systematic Mapping Study. IEEE Access 10 (2022)
Hanan Hindy, Robert C. Atkinson, Christos Tachtatzis, Ethan Bayne, Miroslav Bures, Xavier J. A. Bellekens
Utilising Flow Aggregation to Classify Benign Imitating Attacks. CoRR (2021)
Matej Klima, Miroslav Bures
A Testing Tool for IoT Systems Operating with Limited Network Connectivity. WorldCIST (3) (2021)
Miroslav Bures, Matej Klima, Vaclav Rechtberger, Bestoun S. Ahmed, Hanan Hindy, Xavier J. A. Bellekens
Review of Specific Features and Challenges in the Current Internet of Things Systems Impacting their Security and Reliability. CoRR (2021)
Miroslav Bures, Bestoun S. Ahmed, Vaclav Rechtberger, Matej Klima, Michal Trnka, Miroslav Jaros, Xavier J. A. Bellekens, Dani Almog, Pavel Herout
PatrIoT: IoT Automated Interoperability and Integration Testing Framework. CoRR (2021)
Hanan Hindy, Robert C. Atkinson, Christos Tachtatzis, Ethan Bayne, Miroslav Bures, Xavier J. A. Bellekens
Utilising Flow Aggregation to Classify Benign Imitating Attacks. Sensors 21 (5) (2021)
Elochukwu Ukwandu, Mohamed Amine Ben Farah, Hanan Hindy, Miroslav Bures, Robert C. Atkinson, Christos Tachtatzis, Xavier J. A. Bellekens
Cyber-Security Challenges in Aviation Industry: A Review of Current and Future Trends. CoRR (2021)
Matej Klima, Miroslav Bures
A Testing Tool for IoT Systems Operating with Limited Network Connectivity. CoRR (2021)
Miroslav Bures, Bestoun S. Ahmed, Vaclav Rechtberger, Matej Klima, Michal Trnka, Miroslav Jaros, Xavier J. A. Bellekens, Dani Almog, Pavel Herout
PatrIoT: IoT Automated Interoperability and Integration Testing Framework. ICST (2021)
Miroslav Bures, Matej Klima, Vaclav Rechtberger, Bestoun S. Ahmed, Hanan Hindy, Xavier J. A. Bellekens
Review of Specific Features and Challenges in the Current Internet of Things Systems Impacting Their Security and Reliability. WorldCIST (3) (2021)
Matej Klima, Vaclav Rechtberger, Miroslav Bures, Xavier J. A. Bellekens, Hanan Hindy, Bestoun S. Ahmed
Quality and Reliability Metrics for IoT Systems: A Consolidated View. CoRR (2020)
Jan Richter, Bestoun S. Ahmed, Miroslav Bures, Cleber R. Rosa Junior
Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application. CoRR (2020)
Michal Trnka, Jan Svacina, Tomás Cerný, Eunjee Song, Jiman Hong, Miroslav Bures
Securing Internet of Things Devices Using The Network Context. IEEE Trans. Ind. Informatics 16 (6) (2020)
Dipta Das, Micah Schiewe, Elizabeth Brighton, Mark Fuller, Tomás Cerný, Miroslav Bures, Karel Frajták, Dongwan Shin, Pavel Tisnovsky
Failure Prediction by Utilizing Log Analysis: A Systematic Mapping Study. RACS (2020)
Jan Richter, Bestoun S. Ahmed, Miroslav Bures, Cleber R. Rosa Junior
Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application. ICST Workshops (2020)
Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed
Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT Systems. WSSE (2020)
Miroslav Bures, Matej Klima, Vaclav Rechtberger, Xavier J. A. Bellekens, Christos Tachtatzis, Robert C. Atkinson, Bestoun S. Ahmed
Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study. CoRR (2020)
Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed
Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT Systems. CoRR (2020)
Bestoun S. Ahmed, Angelo Gargantini, Miroslav Bures
An Automated Testing Framework For Smart TV apps Based on Model Separation. CoRR (2020)
Bestoun S. Ahmed, Angelo Gargantini, Miroslav Bures
An Automated Testing Framework For Smart TV apps Based on Model Separation. ICST Workshops (2020)
Krystof Sykora, Bestoun S. Ahmed, Miroslav Bures
Code Coverage Aware Test Generation Using Constraint Solver. SEFM (2020)
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
A Review of Cyber-Ranges and Test-Beds: Current and Future Trends. CoRR (2020)
Qusay Idrees Sarhan, Bestoun S. Ahmed, Miroslav Bures, Kamal Z. Zamli
Software Module Clustering: An In-Depth Literature Analysis. CoRR (2020)
Miroslav Bures, Pavel Herout, Bestoun S. Ahmed
Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing. ICST (2020)
Matej Klima, Vaclav Rechtberger, Miroslav Bures, Xavier J. A. Bellekens, Hanan Hindy, Bestoun S. Ahmed
Quality and Reliability Metrics for IoT Systems: A Consolidated View. SmartCity360° (2020)
Miroslav Bures, Miroslav Macik, Bestoun S. Ahmed, Vaclav Rechtberger, Pavel Slavík
Testing the Usability and Accessibility of Smart TV Applications Using an Automated Model-based Approach. CoRR (2020)
Tomás Cerný, Jan Svacina, Dipta Das, Vincent Bushong, Miroslav Bures, Pavel Tisnovsky, Karel Frajták, Dongwan Shin, Jun Huang
On Code Analysis Opportunities and Challenges for Enterprise Systems and Microservices. IEEE Access 8 (2020)
Miroslav Bures, Pavel Herout, Bestoun S. Ahmed
Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing. CoRR (2020)
Miroslav Bures, Miroslav Macik, Bestoun S. Ahmed, Vaclav Rechtberger, Pavel Slavík
Testing the Usability and Accessibility of Smart TV Applications Using an Automated Model-Based Approach. IEEE Trans. Consumer Electron. 66 (2) (2020)
Miroslav Bures, Vaclav Rechtberger
Dynamic Data Consistency Tests Using a CRUD Matrix as an Underlying Model. ESSE (2020)
Vincent Bushong, Russell Sanders, Jacob Curtis, Mark Du, Tomás Cerný, Karel Frajták, Miroslav Bures, Pavel Tisnovsky, Dongwan Shin
On Matching Log Analysis to Source Code: A Systematic Mapping Study. RACS (2020)
Hanan Hindy, Ethan Bayne, Miroslav Bures, Robert C. Atkinson, Christos Tachtatzis, Xavier J. A. Bellekens
Machine Learning Based IoT Intrusion Detection System: An MQTT Case Study. CoRR (2020)
Miroslav Bures, Vaclav Rechtberger
Dynamic Data Consistency Tests Using a CRUD Matrix as an Underlying Model. CoRR (2020)
Hanan Hindy, Christos Tachtatzis, Robert C. Atkinson, David Brosset, Miroslav Bures, Ivan Andonovic, W. Craig Michie, Xavier J. A. Bellekens
Leveraging Siamese Networks for One-Shot Intrusion Detection Model. CoRR (2020)
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
A Review of Cyber-Ranges and Test-Beds: Current and Future Trends. Sensors 20 (24) (2020)
Krystof Sykora, Bestoun S. Ahmed, Miroslav Bures
Code Coverage Aware Test Generation Using Constraint Solver. CoRR (2020)
Jan Svacina, Jackson Raffety, Connor Woodahl, Brooklynn Stone, Tomás Cerný, Miroslav Bures, Dongwan Shin, Karel Frajták, Pavel Tisnovsky
On Vulnerability and Security Log analysis: A Systematic Literature Review on Recent Trends. RACS (2020)
Tomás Cerný, Andrew Walker, Jan Svacina, Vincent Bushong, Dipta Das, Karel Frajták, Miroslav Bures, Pavel Tisnovsky
Mapping Study on Constraint Consistency Checking in Distributed Enterprise Systems. RACS (2020)
Miroslav Bures, Matej Klima, Vaclav Rechtberger, Xavier J. A. Bellekens, Christos Tachtatzis, Robert C. Atkinson, Bestoun S. Ahmed
Interoperability and Integration Testing Methods for IoT Systems: A Systematic Mapping Study. SEFM (2020)
Bestoun S. Ahmed, Angelo Gargantini, Kamal Z. Zamli, Cemal Yilmaz, Miroslav Bures, Marek Szeles
Code-aware combinatorial interaction testing. IET Softw. 13 (6) (2019)
Miroslav Bures, Tomás Cerný, Karel Frajták, Bestoun S. Ahmed
Testing the consistency of business data objects using extended static testing of CRUD matrices. Clust. Comput. 22 (Suppl 1) (2019)
Bestoun S. Ahmed, Miroslav Bures
EvoCreeper: Automated Black-Box Model Generation for Smart TV Applications. IEEE Trans. Consumer Electron. 65 (2) (2019)
Miroslav Bures, Bestoun S. Ahmed
Employment of multiple algorithms for optimal path-based test selection strategy. Inf. Softw. Technol. 114 (2019)
Bestoun S. Ahmed, Miroslav Bures, Karel Frajták, Tomás Cerný
Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study. IEEE Access 7 (2019)
Bestoun S. Ahmed, Miroslav Bures
Testing of Smart TV Applications: Key Ingredients, Challenges and Proposed Solutions. CoRR (2019)
Xavier J. A. Bellekens, Gayan Jayasekara, Hanan Hindy, Miroslav Bures, David Brosset, Christos Tachtatzis, Robert C. Atkinson
From Cyber-Security Deception to Manipulation and Gratification Through Gamification. HCI (29) (2019)
Miroslav Bures, Bestoun S. Ahmed, Kamal Z. Zamli
Prioritized Process Test: An Alternative to Current Process Testing Strategies. Int. J. Softw. Eng. Knowl. Eng. 29 (7) (2019)
Bestoun S. Ahmed, Miroslav Bures, Karel Frajták, Tomás Cerný
Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study. CoRR (2019)
Bestoun S. Ahmed, Amador Pahim, Cleber R. Rosa Junior, D. Richard Kuhn, Miroslav Bures
Towards an Automated Unified Framework to Run Applications for Combinatorial Interaction Testing. EASE (2019)
Bestoun S. Ahmed, Angelo Gargantini, Kamal Z. Zamli, Cemal Yilmaz, Miroslav Bures, Marek Szeles
Code-Aware Combinatorial Interaction Testing. CoRR (2019)
Miroslav Bures, Bestoun S. Ahmed, Kamal Z. Zamli
Prioritized Process Test: An Alternative to Current Process Testing Strategies. CoRR (2019)
Xavier J. A. Bellekens, Gayan Jayasekara, Hanan Hindy, Miroslav Bures, David Brosset, Christos Tachtatzis, Robert C. Atkinson
From Cyber-Security Deception To Manipulation and Gratification Through Gamification. CoRR (2019)
Bestoun S. Ahmed, Miroslav Bures
EvoCreeper: Automated Black-Box Model Generation for Smart TV Applications. CoRR (2019)
Bestoun S. Ahmed, Amador Pahim, Cleber R. Rosa Junior, D. Richard Kuhn, Miroslav Bures
Towards an Automated Unified Framework to Run Applications for Combinatorial Interaction Testing. CoRR (2019)
Miroslav Bures, Karel Frajták, Bestoun S. Ahmed
Tapir: Automation Support of Exploratory Testing Using Model Reconstruction of the System Under Test. CoRR (2018)
Miroslav Bures, Xavier J. A. Bellekens, Karel Frajták, Bestoun S. Ahmed
A Comprehensive View on Quality Characteristics of the IoT Solutions. CoRR (2018)
Miroslav Bures, Karel Frajták, Bestoun S. Ahmed
Tapir: Automation Support of Exploratory Testing Using Model Reconstruction of the System Under Test. IEEE Trans. Reliab. 67 (2) (2018)
Miroslav Bures, Tomás Cerný, Bestoun S. Ahmed
Internet of Things: Current Challenges in the Quality Assurance and Testing Methods. CoRR (2018)
Miroslav Bures, Bestoun S. Ahmed
Employment of Multiple Algorithms for Optimal Path-based Test Selection Strategy. CoRR (2018)
Dani Almog, Hadas Schwartz-Chassidim, Yaron Tsubery, Miroslav Bures, Shlomo Mark
Conceptual approach for reuse of test automation artifacts on various architectural levels. Comput. Sci. Inf. Syst. 15 (2) (2018)
Kamal Z. Zamli, Fakhrud Din, Bestoun S. Ahmed, Miroslav Bures
A Hybrid Q-Learning Sine-Cosine-based Strategy for Addressing the Combinatorial Test Suite Minimization Problem. CoRR (2018)
Miroslav Bures, Martin Filipsky, Ivan Jelínek
Identification of Potential Reusable Subroutines in Recorded Automated Test Scripts. Int. J. Softw. Eng. Knowl. Eng. 28 (1) (2018)
Miroslav Bures, Tomás Cerný, Bestoun S. Ahmed
Internet of Things: Current Challenges in the Quality Assurance and Testing Methods. ICISA (2018)
Karel Frajták, Miroslav Bures, Ivan Jelínek
Exploratory testing supported by automated reengineering of model of the system under test. Clust. Comput. 20 (1) (2017)
Miroslav Bures, Bestoun S. Ahmed
On the Effectiveness of Combinatorial Interaction Testing: A Case Study. QRS Companion (2017)
Miroslav Bures, Tomás Cerný
Static Testing Using Different Types of CRUD Matrices. ICISA (2017)
Miroslav Bures, Tomás Cerný, Matej Klima
Prioritized Process Test: More Efficiency in Testing of Business Processes and Workflows. ICISA (2017)
Bestoun S. Ahmed, Kamal Z. Zamli, Wasif Afzal, Miroslav Bures
Constrained Interaction Testing: A Systematic Literature Study. IEEE Access 5 (2017)
Miroslav Bures, Martin Filipsky
SmartDriver: Extension of Selenium WebDriver to Create More Efficient Automated Tests. ICITCS (2016)
Karel Frajták, Miroslav Bures, Ivan Jelínek
Model-Based Testing and Exploratory Testing: Is Synergy Possible? ICITCS (2016)
Karel Frajták, Miroslav Bures, Ivan Jelínek
Transformation of IFML schemas to automated tests. RACS (2015)
Lukas Kapicak, Martin Mikulec, Miroslav Voznák, Pavel Nevlud, Miroslav Bures, Jaroslav Zdralek
Collaboration system integrating audio, video and text communication in INDECT project. TSP (2015)
Karel Frajták, Miroslav Bures, Ivan Jelínek
Using the Interaction Flow Modelling Language for Generation of Automated Front-End Tests. FedCSIS (Position Papers) (2015)

Miroslav Bures.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Miroslav Bures