Miroslav Bures

Orcid: 0000-0002-2994-7826

According to our database1, Miroslav Bures authored at least 85 papers between 2004 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Current testing and performance evaluation methodologies of LoRa and LoRaWAN in IoT applications: Classification, issues, and future directives.
Internet Things, April, 2024

2023
Intelligent Network Maintenance Modeling for Fixed Broadband Networks in Sustainable Smart Homes.
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.
Internet Things, October, 2023

Specialized path-based technique to test Internet of Things system functionality under limited network connectivity.
Internet Things, July, 2023

Case studies - More Accurate Cost Estimation for Internet of Things Projects by Adaptation of Use Case Points Methodology.
Dataset, May, 2023

Leveraging siamese networks for one-shot intrusion detection model.
J. Intell. Inf. Syst., April, 2023

More Accurate Cost Estimation for Internet of Things Projects by Adaptation of Use Case Points Methodology.
IEEE Internet Things J., 2023

Review of Open Software Bug Datasets.
Proceedings of the Information Systems and Technologies, 2023

Benchmarks for End-to-End Microservices Testing.
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.
Proceedings of the Fourteenth International Conference on Ubiquitous and Future Networks, 2023

Open Benchmark Testbed to Evaluate Effectiveness of Path-based Tests.
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".
Dataset, June, 2022

Software Module Clustering: An In-Depth Literature Analysis.
IEEE Trans. Software Eng., 2022

A Sensor Network Utilizing Consumer Wearables for Telerehabilitation of Post-Acute COVID-19 Patients.
IEEE Internet Things J., 2022

Cyber-Security Challenges in Aviation Industry: A Review of Current and Future Trends.
Inf., 2022

Cyber Security in the Maritime Industry: A Systematic Survey of Recent Advances and Future Trends.
Inf., 2022

Novel Strategy Generating Variable-Length State Machine Test Paths.
Int. J. Softw. Eng. Knowl. Eng., 2022

Selected Code-Quality Characteristics and Metrics for Internet of Things Systems.
IEEE Access, 2022

Visualizing Microservice Architecture in the Dynamic Perspective: A Systematic Mapping Study.
IEEE Access, 2022

Visualizing architectural evolution via provenance tracking: a systematic review.
Proceedings of the Conference on Research in Adaptive and Convergent Systems, 2022

Prioritized Variable-length Test Cases Generation for Finite State Machines.
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.
Proceedings of the 15th IEEE International Conference on Software Testing, 2022

Factors Impacting Resilience of Internet of Things Systems in Critical Infrastructure.
Proceedings of the 2022 IEEE World AI IoT Congress (AIIoT), 2022

2021
Utilising Flow Aggregation to Classify Benign Imitating Attacks.
Sensors, 2021

Cyber-Security Challenges in Aviation Industry: A Review of Current and Future Trends.
CoRR, 2021

A Testing Tool for IoT Systems Operating with Limited Network Connectivity.
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.
Proceedings of the Trends and Applications in Information Systems and Technologies, 2021

PatrIoT: IoT Automated Interoperability and Integration Testing Framework.
Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

2020
Securing Internet of Things Devices Using The Network Context.
IEEE Trans. Ind. Informatics, 2020

Testing the Usability and Accessibility of Smart TV Applications Using an Automated Model-Based Approach.
IEEE Trans. Consumer Electron., 2020

A Review of Cyber-Ranges and Test-Beds: Current and Future Trends.
Sensors, 2020

Machine Learning Based IoT Intrusion Detection System: An MQTT Case Study.
CoRR, 2020

On Code Analysis Opportunities and Challenges for Enterprise Systems and Microservices.
IEEE Access, 2020

Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT Systems.
Proceedings of the WSSE 2020: The 2nd World Symposium on Software Engineering, 2020

Quality and Reliability Metrics for IoT Systems: A Consolidated View.
Proceedings of the Science and Technologies for Smart Cities, 2020

Code Coverage Aware Test Generation Using Constraint Solver.
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.
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.
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.
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.
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.
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.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

An Automated Testing Framework For Smart TV apps Based on Model Separation.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Dynamic Data Consistency Tests Using a CRUD Matrix as an Underlying Model.
Proceedings of the ESSE 2020: 2020 European Symposium on Software Engineering, 2020

2019
EvoCreeper: Automated Black-Box Model Generation for Smart TV Applications.
IEEE Trans. Consumer Electron., 2019

Employment of multiple algorithms for optimal path-based test selection strategy.
Inf. Softw. Technol., 2019

Prioritized Process Test: An Alternative to Current Process Testing Strategies.
Int. J. Softw. Eng. Knowl. Eng., 2019

Code-aware combinatorial interaction testing.
IET Softw., 2019

Code-Aware Combinatorial Interaction Testing.
CoRR, 2019

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

Testing the consistency of business data objects using extended static testing of CRUD matrices.
Clust. Comput., 2019

Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study.
IEEE Access, 2019

From Cyber-Security Deception to Manipulation and Gratification Through Gamification.
Proceedings of the HCI for Cybersecurity, Privacy and Trust, 2019

Towards an Automated Unified Framework to Run Applications for Combinatorial Interaction Testing.
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.
IEEE Trans. Reliab., 2018

Identification of Potential Reusable Subroutines in Recorded Automated Test Scripts.
Int. J. Softw. Eng. Knowl. Eng., 2018

A Comprehensive View on Quality Characteristics of the IoT Solutions.
CoRR, 2018

A Hybrid Q-Learning Sine-Cosine-based Strategy for Addressing the Combinatorial Test Suite Minimization Problem.
CoRR, 2018

Conceptual approach for reuse of test automation artifacts on various architectural levels.
Comput. Sci. Inf. Syst., 2018

Internet of Things: Current Challenges in the Quality Assurance and Testing Methods.
Proceedings of the Information Science and Applications 2018, 2018

2017
Exploratory testing supported by automated reengineering of model of the system under test.
Clust. Comput., 2017

Constrained Interaction Testing: A Systematic Literature Study.
IEEE Access, 2017

On the Effectiveness of Combinatorial Interaction Testing: A Case Study.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Prioritized Process Test: More Efficiency in Testing of Business Processes and Workflows.
Proceedings of the Information Science and Applications 2017, 2017

Static Testing Using Different Types of CRUD Matrices.
Proceedings of the Information Science and Applications 2017, 2017

2016
Model-Based Testing and Exploratory Testing: Is Synergy Possible?
Proceedings of the 6th International Conference on IT Convergence and Security, 2016

SmartDriver: Extension of Selenium WebDriver to Create More Efficient Automated Tests.
Proceedings of the 6th International Conference on IT Convergence and Security, 2016

2015
Creating Smart Tests from Recorded Automated Test Cases.
Proceedings of the New Contributions in Information Systems and Technologies, 2015

PCTgen: Automated Generation of Test Cases for Application Workflows.
Proceedings of the New Contributions in Information Systems and Technologies, 2015

Model for Evaluation and Cost Estimations of the Automated Testing Architecture.
Proceedings of the New Contributions in Information Systems and Technologies, 2015

Collaboration system integrating audio, video and text communication in INDECT project.
Proceedings of the 38th International Conference on Telecommunications and Signal Processing, 2015

Transformation of IFML schemas to automated tests.
Proceedings of the 2015 Conference on research in adaptive and convergent systems, 2015

Framework for assessment of web application automated testability.
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.
Proceedings of the Position Papers of the 2015 Federated Conference on Computer Science and Information Systems, 2015

Metrics for automated testability of web applications.
Proceedings of the 16th International Conference on Computer Systems and Technologies, 2015

2014
Change Detection System for the Maintenance of Automated Testing.
Proceedings of the Testing Software and Systems, 2014

Pex Extension for Generating User Input Validation Code for Web Applications.
Proceedings of the ICSOFT-EA 2014, 2014

Reducing user input validation code in web applications using Pex extension.
Proceedings of the 15th International Conference on Computer Systems and Technologies, 2014

Automated testing in the Czech Republic: the current situation and issues.
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.
Proceedings of the 35th International Conference on Telecommunications and Signal Processing, 2012

Formal specification to support advanced model based testing.
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.
Proceedings of the 2007 International Conference on Cyberworlds, 2007

2005
Using AICC to Create Reusable Adaptive Hypermedia E-learning Content.
Proceedings of the 4th International Conference on Cyberworlds (CW 2005), 2005

2004
e-learning adaptive web system's formal design.
Proceedings of the 5th International Conference on Computer Systems and Technologies, 2004


  Loading...