Miroslav Bures

127 papers A 4B 2C 5Misc 1Journal 69Unranked 46

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A cache-aware congestion control mechanism using deep reinforcement learning for wireless sensor networks. Ad Hoc Networks Melchizedek Alipio, Miroslav Bures
2025	—	`conf`	CPT Manager: An Open Environment for Constrained Path-Based Testing. ICSTW Matej Klima, Miroslav Bures, Daniel Holotik, Maximilian Herczeg, Marek Miltner, Chad Zanocco
2025	J	`jnl`	Congestion Control Mechanisms in V2X Communications: From Classification to Benchmarking and Design Guidelines. J. Reliab. Intell. Environ. Melchizedek Alipio, Miroslav Bures, Tutomu Murase
2025	A	`conf`	Effectiveness of Combinatorial Interaction Testing in Test Automation - An Industrial Case Study. EASE Feras Daoud, Miroslav Bures, Melchizedek Alipio
2025	J	`jnl`	Genetic algorithm for path-based testing of component outage situations in IoT system processes. Appl. Soft Comput. Matej Klima, Miroslav Bures, Bestoun S. Ahmed, Hanan Hindy, Xavier J. A. Bellekens, Angelo Gargantini
2025	—	`conf`	Novel Algorithm to Solve the Constrained Path-Based Testing Problem. ICSTW Matej Klima, Miroslav Bures, Marek Miltner, Chad Zanocco, Gordon Fraser, Sebastian Schweikl, Patric Feldmeier
2025	—	`conf`	Situational Awareness and Health Monitoring System for the First Responders and CBRN Units. ICDH Miroslav Bures, Pavel Smrcka, Tomas Vesely, Karel Frajták, Tomás Novák, Jiri Balcarek, Hynek Schvach, Jaroslava Souckova
2025	J	`jnl`	The Role of Large Language Models in Designing Reliable Networks for Internet of Things: A Short Review of Most Recent Developments. IEEE Access Melchizedek Alipio, Miroslav Bures
2025	—	`conf`	Using Data from Wearable Electronics in the Military Environment - Security, Privacy, and Software Development Style Discussion. ICDH Jiri Nema, Miroslav Bures, Jan Novak, Zdenko Cepan, Hynek Schvach
2024	J	`jnl`	A review of LoRaWAN performance optimization through cross-layer-based approach for Internet of Things. Internet Things Melchizedek Alipio, Carl Christian Chaguile, Miroslav Bures
2024	C	`conf`	Ant Colony Optimization Based Algorithm for Test Path Generation Problem with Negative Constraints. QRS Matej Klima, Miroslav Bures, Martin Blaha
2024	J	`jnl`	Current testing and performance evaluation methodologies of LoRa and LoRaWAN in IoT applications: Classification, issues, and future directives. Internet Things Melchizedek Alipio, Miroslav Bures
2024	—	`conf`	Enhancing WSN Performance with DRL-CaCC: An Adaptive Cache-Aware Congestion Control Mechanism. ICTC Melchizedek Alipio, Miroslav Bures
2023	—	`conf`	A Classification of Cross-Layer Optimization Approaches in LoRaWAN for Internet of Things. ICUFN Carl Christian Chaguile, Melchizedek Alipio, Miroslav Bures
2023	—	`conf`	Benchmarks for End-to-End Microservices Testing. SOSE Sheldon Smith, Ethan Robinson, Timmy Frederiksen, Trae Stevens, Tomás Cerný, Miroslav Bures, Davide Taibi
2023	J	`jnl`	Benchmarks for End-to-End Microservices Testing. CoRR Sheldon Smith, Ethan Robinson, Timmy Frederiksen, Trae Stevens, Tomás Cerný, Miroslav Bures, Davide Taibi
2023	J	`jnl`	Deep Reinforcement Learning Perspectives on Improving Reliable Transmissions in IoT Networks: Problem Formulation, Parameter Choices, Challenges, and Future Directions. Internet Things Melchizedek Alipio, Miroslav Bures
2023	—	`conf`	Goat Feeding Behavior Modeling and Monitoring Utilizing Livestock Wearable Device and Machine Learning Algorithm. WF-IoT Melchizedek Alipio, Gianne Marcus Obusan, Julianne Abbe Ong, Samuel Perez, Anton Luis Garces, Miroslav Bures
2023	J	`jnl`	Intelligent Network Maintenance Modeling for Fixed Broadband Networks in Sustainable Smart Homes. IEEE Internet Things J. Melchizedek Alipio, Miroslav Bures
2023	J	`jnl`	Leveraging siamese networks for one-shot intrusion detection model. J. Intell. Inf. Syst. Hanan Hindy, Christos Tachtatzis, Robert C. Atkinson, David Brosset, Miroslav Bures, Ivan Andonovic, W. Craig Michie, Xavier J. A. Bellekens
2023	J	`jnl`	More Accurate Cost Estimation for Internet of Things Projects by Adaptation of Use Case Points Methodology. IEEE Internet Things J. Radek Silhavy, Miroslav Bures, Melchizedek Alipio, Petr Silhavy
2023	—	`conf`	Open Benchmark Testbed to Evaluate Effectiveness of Path-based Tests. ICSTW Matej Klima, Miroslav Bures, Michaela Kubisova, Pavel Herout
2023	—	`conf`	Review of Open Software Bug Datasets. WorldCIST (3) Tomas Holek, Miroslav Bures, Tomás Cerný
2023	J	`jnl`	Specialized path-based technique to test Internet of Things system functionality under limited network connectivity. Internet Things Matej Klima, Miroslav Bures, Bestoun S. Ahmed, Xavier J. A. Bellekens, Robert C. Atkinson, Christos Tachtatzis, Pavel Herout
2022	J	`jnl`	A Sensor Network Utilizing Consumer Wearables for Telerehabilitation of Post-Acute COVID-19 Patients. IEEE Internet Things J. Miroslav Bures, Katerina Neumannova, Pavel Blazek, Matej Klima, Hynek Schvach, Jiri Nema, Michal Kopecky, Jan Dygrýn, Vladimir Koblizek
2022	—	`conf`	Analyzing Technical Debt by Mapping Production Logs with Source Code. SDSC Dipta Das, Md Rofiqul Islam, Samuel Kim, Tomás Cerný, Karel Frajták, Miroslav Bures, Pavel Tisnovsky
2022	J	`jnl`	Cyber Security in the Maritime Industry: A Systematic Survey of Recent Advances and Future Trends. Inf. Mohamed Amine Ben Farah, Elochukwu Ukwandu, Hanan Hindy, David Brosset, Miroslav Bures, Ivan Andonovic, Xavier J. A. Bellekens
2022	J	`jnl`	Cyber-Security Challenges in Aviation Industry: A Review of Current and Future Trends. Inf. Elochukwu Ukwandu, Mohamed Amine Ben Farah, Hanan Hindy, Miroslav Bures, Robert C. Atkinson, Christos Tachtatzis, Ivan Andonovic, Xavier J. A. Bellekens
2022	—	`conf`	Factors Impacting Resilience of Internet of Things Systems in Critical Infrastructure. AIIoT Miroslav Bures, Pavel Blazek, Jiri Nema, Hynek Schvach
2022	J	`jnl`	Factors Impacting Resilience of Internet of Things Systems in Critical Infrastructure. CoRR Miroslav Bures, Pavel Blazek, Jiri Nema, Hynek Schvach
2022	J	`jnl`	Novel Strategy Generating Variable-Length State Machine Test Paths. Int. J. Softw. Eng. Knowl. Eng. Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Hynek Schvach
2022	J	`jnl`	Novel Strategy Generating Variable-length State Machine Test Paths. CoRR Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Hynek Schvach
2022	—	`conf`	Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs. ICST Workshops Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed
2022	J	`jnl`	Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs. CoRR Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed
2022	—	`conf`	Prioritized Variable-length Test Cases Generation for Finite State Machines. ICST Workshops Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Youcef Belkhier, Jiri Nema, Hynek Schvach
2022	J	`jnl`	Prioritized Variable-length Test Cases Generation for Finite State Machines. CoRR Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Youcef Belkhier, Jiri Nema, Hynek Schvach
2022	Misc	`ed.`	SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022 SAC Jiman Hong, Miroslav Bures, Juw Won Park, Tomás Cerný
2022	J	`jnl`	Selected Code-Quality Characteristics and Metrics for Internet of Things Systems. IEEE Access Matej Klima, Miroslav Bures, Karel Frajták, Vaclav Rechtberger, Michal Trnka, Xavier J. A. Bellekens, Tomás Cerný, Bestoun S. Ahmed
2022	J	`jnl`	Software Module Clustering: An In-Depth Literature Analysis. IEEE Trans. Software Eng. Qusay Idrees Sarhan, Bestoun S. Ahmed, Miroslav Bures, Kamal Z. Zamli
2022	J	`jnl`	Visualizing Microservice Architecture in the Dynamic Perspective: A Systematic Mapping Study. IEEE Access Mia E. Gortney, Patrick E. Harris, Tomás Cerný, Abdullah Al Maruf, Miroslav Bures, Davide Taibi, Pavel Tisnovsky
2022	—	`conf`	Visualizing architectural evolution via provenance tracking: a systematic review. RACS Kaitlynn Burgess, Dante Hart, Amr Elsayed, Tomás Cerný, Miroslav Bures, Pavel Tisnovsky
2021	—	`conf`	A Testing Tool for IoT Systems Operating with Limited Network Connectivity. WorldCIST (3) Matej Klima, Miroslav Bures
2021	J	`jnl`	A Testing Tool for IoT Systems Operating with Limited Network Connectivity. CoRR Matej Klima, Miroslav Bures
2021	J	`jnl`	Cyber-Security Challenges in Aviation Industry: A Review of Current and Future Trends. CoRR Elochukwu Ukwandu, Mohamed Amine Ben Farah, Hanan Hindy, Miroslav Bures, Robert C. Atkinson, Christos Tachtatzis, Xavier J. A. Bellekens
2021	A	`conf`	PatrIoT: IoT Automated Interoperability and Integration Testing Framework. ICST Miroslav Bures, Bestoun S. Ahmed, Vaclav Rechtberger, Matej Klima, Michal Trnka, Miroslav Jaros, Xavier J. A. Bellekens, Dani Almog, Pavel Herout
2021	J	`jnl`	PatrIoT: IoT Automated Interoperability and Integration Testing Framework. CoRR Miroslav Bures, Bestoun S. Ahmed, Vaclav Rechtberger, Matej Klima, Michal Trnka, Miroslav Jaros, Xavier J. A. Bellekens, Dani Almog, Pavel Herout
2021	—	`conf`	Review of Specific Features and Challenges in the Current Internet of Things Systems Impacting Their Security and Reliability. WorldCIST (3) Miroslav Bures, Matej Klima, Vaclav Rechtberger, Bestoun S. Ahmed, Hanan Hindy, Xavier J. A. Bellekens
2021	J	`jnl`	Review of Specific Features and Challenges in the Current Internet of Things Systems Impacting their Security and Reliability. CoRR Miroslav Bures, Matej Klima, Vaclav Rechtberger, Bestoun S. Ahmed, Hanan Hindy, Xavier J. A. Bellekens
2021	J	`jnl`	Utilising Flow Aggregation to Classify Benign Imitating Attacks. CoRR Hanan Hindy, Robert C. Atkinson, Christos Tachtatzis, Ethan Bayne, Miroslav Bures, Xavier J. A. Bellekens
2021	J	`jnl`	Utilising Flow Aggregation to Classify Benign Imitating Attacks. Sensors Hanan Hindy, Robert C. Atkinson, Christos Tachtatzis, Ethan Bayne, Miroslav Bures, Xavier J. A. Bellekens
2020	J	`jnl`	A Review of Cyber-Ranges and Test-Beds: Current and Future Trends. CoRR 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
2020	J	`jnl`	A Review of Cyber-Ranges and Test-Beds: Current and Future Trends. Sensors 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
2020	—	`conf`	Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT Systems. WSSE Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed
2020	J	`jnl`	Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT Systems. CoRR Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed
2020	—	`conf`	An Automated Testing Framework For Smart TV apps Based on Model Separation. ICST Workshops Bestoun S. Ahmed, Angelo Gargantini, Miroslav Bures
2020	J	`jnl`	An Automated Testing Framework For Smart TV apps Based on Model Separation. CoRR Bestoun S. Ahmed, Angelo Gargantini, Miroslav Bures
2020	—	`conf`	Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application. ICST Workshops Jan Richter, Bestoun S. Ahmed, Miroslav Bures, Cleber R. Rosa Junior
2020	J	`jnl`	Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application. CoRR Jan Richter, Bestoun S. Ahmed, Miroslav Bures, Cleber R. Rosa Junior
2020	B	`conf`	Code Coverage Aware Test Generation Using Constraint Solver. SEFM Krystof Sykora, Bestoun S. Ahmed, Miroslav Bures
2020	J	`jnl`	Code Coverage Aware Test Generation Using Constraint Solver. CoRR Krystof Sykora, Bestoun S. Ahmed, Miroslav Bures
2020	—	`conf`	Dynamic Data Consistency Tests Using a CRUD Matrix as an Underlying Model. ESSE Miroslav Bures, Vaclav Rechtberger
2020	J	`jnl`	Dynamic Data Consistency Tests Using a CRUD Matrix as an Underlying Model. CoRR Miroslav Bures, Vaclav Rechtberger
2020	—	`conf`	Failure Prediction by Utilizing Log Analysis: A Systematic Mapping Study. RACS Dipta Das, Micah Schiewe, Elizabeth Brighton, Mark Fuller, Tomás Cerný, Miroslav Bures, Karel Frajták, Dongwan Shin, Pavel Tisnovsky
2020	B	`conf`	Interoperability and Integration Testing Methods for IoT Systems: A Systematic Mapping Study. SEFM Miroslav Bures, Matej Klima, Vaclav Rechtberger, Xavier J. A. Bellekens, Christos Tachtatzis, Robert C. Atkinson, Bestoun S. Ahmed
2020	J	`jnl`	Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study. CoRR Miroslav Bures, Matej Klima, Vaclav Rechtberger, Xavier J. A. Bellekens, Christos Tachtatzis, Robert C. Atkinson, Bestoun S. Ahmed
2020	J	`jnl`	Leveraging Siamese Networks for One-Shot Intrusion Detection Model. CoRR Hanan Hindy, Christos Tachtatzis, Robert C. Atkinson, David Brosset, Miroslav Bures, Ivan Andonovic, W. Craig Michie, Xavier J. A. Bellekens
2020	J	`jnl`	Machine Learning Based IoT Intrusion Detection System: An MQTT Case Study. CoRR Hanan Hindy, Ethan Bayne, Miroslav Bures, Robert C. Atkinson, Christos Tachtatzis, Xavier J. A. Bellekens
2020	—	`conf`	Mapping Study on Constraint Consistency Checking in Distributed Enterprise Systems. RACS Tomás Cerný, Andrew Walker, Jan Svacina, Vincent Bushong, Dipta Das, Karel Frajták, Miroslav Bures, Pavel Tisnovsky
2020	J	`jnl`	On Code Analysis Opportunities and Challenges for Enterprise Systems and Microservices. IEEE Access Tomás Cerný, Jan Svacina, Dipta Das, Vincent Bushong, Miroslav Bures, Pavel Tisnovsky, Karel Frajták, Dongwan Shin, Jun Huang
2020	—	`conf`	On Matching Log Analysis to Source Code: A Systematic Mapping Study. RACS Vincent Bushong, Russell Sanders, Jacob Curtis, Mark Du, Tomás Cerný, Karel Frajták, Miroslav Bures, Pavel Tisnovsky, Dongwan Shin
2020	—	`conf`	On Vulnerability and Security Log analysis: A Systematic Literature Review on Recent Trends. RACS Jan Svacina, Jackson Raffety, Connor Woodahl, Brooklynn Stone, Tomás Cerný, Miroslav Bures, Dongwan Shin, Karel Frajták, Pavel Tisnovsky
2020	A	`conf`	Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing. ICST Miroslav Bures, Pavel Herout, Bestoun S. Ahmed
2020	J	`jnl`	Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing. CoRR Miroslav Bures, Pavel Herout, Bestoun S. Ahmed
2020	—	`conf`	Quality and Reliability Metrics for IoT Systems: A Consolidated View. SmartCity360° Matej Klima, Vaclav Rechtberger, Miroslav Bures, Xavier J. A. Bellekens, Hanan Hindy, Bestoun S. Ahmed
2020	J	`jnl`	Quality and Reliability Metrics for IoT Systems: A Consolidated View. CoRR Matej Klima, Vaclav Rechtberger, Miroslav Bures, Xavier J. A. Bellekens, Hanan Hindy, Bestoun S. Ahmed
2020	J	`jnl`	Securing Internet of Things Devices Using The Network Context. IEEE Trans. Ind. Informatics Michal Trnka, Jan Svacina, Tomás Cerný, Eunjee Song, Jiman Hong, Miroslav Bures
2020	J	`jnl`	Software Module Clustering: An In-Depth Literature Analysis. CoRR Qusay Idrees Sarhan, Bestoun S. Ahmed, Miroslav Bures, Kamal Z. Zamli
2020	J	`jnl`	Testing the Usability and Accessibility of Smart TV Applications Using an Automated Model-Based Approach. IEEE Trans. Consumer Electron. Miroslav Bures, Miroslav Macik, Bestoun S. Ahmed, Vaclav Rechtberger, Pavel Slavík
2020	J	`jnl`	Testing the Usability and Accessibility of Smart TV Applications Using an Automated Model-based Approach. CoRR Miroslav Bures, Miroslav Macik, Bestoun S. Ahmed, Vaclav Rechtberger, Pavel Slavík
2019	J	`jnl`	Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study. IEEE Access Bestoun S. Ahmed, Miroslav Bures, Karel Frajták, Tomás Cerný
2019	J	`jnl`	Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study. CoRR Bestoun S. Ahmed, Miroslav Bures, Karel Frajták, Tomás Cerný
2019	J	`jnl`	Code-Aware Combinatorial Interaction Testing. CoRR Bestoun S. Ahmed, Angelo Gargantini, Kamal Z. Zamli, Cemal Yilmaz, Miroslav Bures, Marek Szeles
2019	J	`jnl`	Code-aware combinatorial interaction testing. IET Softw. Bestoun S. Ahmed, Angelo Gargantini, Kamal Z. Zamli, Cemal Yilmaz, Miroslav Bures, Marek Szeles
2019	J	`jnl`	Employment of multiple algorithms for optimal path-based test selection strategy. Inf. Softw. Technol. Miroslav Bures, Bestoun S. Ahmed
2019	J	`jnl`	EvoCreeper: Automated Black-Box Model Generation for Smart TV Applications. CoRR Bestoun S. Ahmed, Miroslav Bures
2019	J	`jnl`	EvoCreeper: Automated Black-Box Model Generation for Smart TV Applications. IEEE Trans. Consumer Electron. Bestoun S. Ahmed, Miroslav Bures
2019	J	`jnl`	From Cyber-Security Deception To Manipulation and Gratification Through Gamification. CoRR Xavier J. A. Bellekens, Gayan Jayasekara, Hanan Hindy, Miroslav Bures, David Brosset, Christos Tachtatzis, Robert C. Atkinson
2019	—	`conf`	From Cyber-Security Deception to Manipulation and Gratification Through Gamification. HCI (29) Xavier J. A. Bellekens, Gayan Jayasekara, Hanan Hindy, Miroslav Bures, David Brosset, Christos Tachtatzis, Robert C. Atkinson
2019	J	`jnl`	Prioritized Process Test: An Alternative to Current Process Testing Strategies. CoRR Miroslav Bures, Bestoun S. Ahmed, Kamal Z. Zamli
2019	J	`jnl`	Prioritized Process Test: An Alternative to Current Process Testing Strategies. Int. J. Softw. Eng. Knowl. Eng. Miroslav Bures, Bestoun S. Ahmed, Kamal Z. Zamli
2019	J	`jnl`	Testing of Smart TV Applications: Key Ingredients, Challenges and Proposed Solutions. CoRR Bestoun S. Ahmed, Miroslav Bures
2019	J	`jnl`	Testing the consistency of business data objects using extended static testing of CRUD matrices. Clust. Comput. Miroslav Bures, Tomás Cerný, Karel Frajták, Bestoun S. Ahmed
2019	A	`conf`	Towards an Automated Unified Framework to Run Applications for Combinatorial Interaction Testing. EASE Bestoun S. Ahmed, Amador Pahim, Cleber R. Rosa Junior, D. Richard Kuhn, Miroslav Bures
2019	J	`jnl`	Towards an Automated Unified Framework to Run Applications for Combinatorial Interaction Testing. CoRR Bestoun S. Ahmed, Amador Pahim, Cleber R. Rosa Junior, D. Richard Kuhn, Miroslav Bures
2018	J	`jnl`	A Comprehensive View on Quality Characteristics of the IoT Solutions. CoRR Miroslav Bures, Xavier J. A. Bellekens, Karel Frajták, Bestoun S. Ahmed
2018	J	`jnl`	A Hybrid Q-Learning Sine-Cosine-based Strategy for Addressing the Combinatorial Test Suite Minimization Problem. CoRR Kamal Z. Zamli, Fakhrud Din, Bestoun S. Ahmed, Miroslav Bures
2018	J	`jnl`	Conceptual approach for reuse of test automation artifacts on various architectural levels. Comput. Sci. Inf. Syst. Dani Almog, Hadas Schwartz-Chassidim, Yaron Tsubery, Miroslav Bures, Shlomo Mark
2018	J	`jnl`	Employment of Multiple Algorithms for Optimal Path-based Test Selection Strategy. CoRR Miroslav Bures, Bestoun S. Ahmed
2018	J	`jnl`	Identification of Potential Reusable Subroutines in Recorded Automated Test Scripts. Int. J. Softw. Eng. Knowl. Eng. Miroslav Bures, Martin Filipsky, Ivan Jelínek
2018	—	`conf`	Internet of Things: Current Challenges in the Quality Assurance and Testing Methods. ICISA Miroslav Bures, Tomás Cerný, Bestoun S. Ahmed
2018	J	`jnl`	Internet of Things: Current Challenges in the Quality Assurance and Testing Methods. CoRR Miroslav Bures, Tomás Cerný, Bestoun S. Ahmed
2018	J	`jnl`	Tapir: Automation Support of Exploratory Testing Using Model Reconstruction of the System Under Test. CoRR Miroslav Bures, Karel Frajták, Bestoun S. Ahmed
2018	J	`jnl`	Tapir: Automation Support of Exploratory Testing Using Model Reconstruction of the System Under Test. IEEE Trans. Reliab. Miroslav Bures, Karel Frajták, Bestoun S. Ahmed
2017	J	`jnl`	Constrained Interaction Testing: A Systematic Literature Study. IEEE Access Bestoun S. Ahmed, Kamal Z. Zamli, Wasif Afzal, Miroslav Bures
2017	J	`jnl`	Exploratory testing supported by automated reengineering of model of the system under test. Clust. Comput. Karel Frajták, Miroslav Bures, Ivan Jelínek
2017	—	`conf`	On the Effectiveness of Combinatorial Interaction Testing: A Case Study. QRS Companion Miroslav Bures, Bestoun S. Ahmed
2017	—	`conf`	Prioritized Process Test: More Efficiency in Testing of Business Processes and Workflows. ICISA Miroslav Bures, Tomás Cerný, Matej Klima
2017	—	`conf`	Static Testing Using Different Types of CRUD Matrices. ICISA Miroslav Bures, Tomás Cerný
2016	—	`conf`	Model-Based Testing and Exploratory Testing: Is Synergy Possible? ICITCS Karel Frajták, Miroslav Bures, Ivan Jelínek
2016	—	`conf`	SmartDriver: Extension of Selenium WebDriver to Create More Efficient Automated Tests. ICITCS Miroslav Bures, Martin Filipsky
2015	—	`conf`	Collaboration system integrating audio, video and text communication in INDECT project. TSP Lukas Kapicak, Martin Mikulec, Miroslav Voznák, Pavel Nevlud, Miroslav Bures, Jaroslav Zdralek
2015	—	`conf`	Creating Smart Tests from Recorded Automated Test Cases. WorldCIST (1) Martin Filipsky, Miroslav Bures, Ivan Jelínek
2015	—	`conf`	Framework for assessment of web application automated testability. RACS Miroslav Bures
2015	—	`conf`	Metrics for automated testability of web applications. CompSysTech Miroslav Bures
2015	—	`conf`	Model for Evaluation and Cost Estimations of the Automated Testing Architecture. WorldCIST (1) Miroslav Bures
2015	—	`conf`	PCTgen: Automated Generation of Test Cases for Application Workflows. WorldCIST (1) Miroslav Bures
2015	—	`conf`	Transformation of IFML schemas to automated tests. RACS Karel Frajták, Miroslav Bures, Ivan Jelínek
2015	—	`conf`	Using the Interaction Flow Modelling Language for Generation of Automated Front-End Tests. FedCSIS (Position Papers) Karel Frajták, Miroslav Bures, Ivan Jelínek
2014	—	`conf`	Automated testing in the Czech Republic: the current situation and issues. CompSysTech Miroslav Bures
2014	C	`conf`	Change Detection System for the Maintenance of Automated Testing. ICTSS Miroslav Bures
2014	—	`conf`	Pex Extension for Generating User Input Validation Code for Web Applications. ICSOFT EA Karel Frajták, Miroslav Bures, Ivan Jelínek
2014	—	`conf`	Reducing user input validation code in web applications using Pex extension. CompSysTech Karel Frajták, Miroslav Bures, Ivan Jelínek
2012	C	`conf`	Formal specification to support advanced model based testing. FedCSIS Karel Frajták, Miroslav Bures, Ivan Jelínek
2012	—	`conf`	Software designed 64-QAM demodulator of OFDM signal implemented into FPGA elements. TSP Miroslav Bures, Marek Dvorsky
2007	C	`conf`	Towards the Reusable User Data in Adaptive Hypermedia Systems - The External Mapping of User Parameters between Systems. CW Miroslav Bures, Ivan Jelínek
2005	C	`conf`	Using AICC to Create Reusable Adaptive Hypermedia E-learning Content. CW Miroslav Bures, Ivan Jelínek
2004	—	`conf`	e-learning adaptive web system's formal design. CompSysTech Miroslav Bures, Ivan Jelínek