| 2025 | EASE | Effectiveness of Combinatorial Interaction Testing in Test Automation - An Industrial Case Study. | Feras Daoud, Miroslav Bures, Melchizedek Alipio |
| 2025 | ICST | CPT Manager: An Open Environment for Constrained Path-Based Testing. | Matej Klima, Miroslav Bures, Daniel Holotik, Maximilian Herczeg, Marek Miltner, Chad Zanocco |
| 2025 | ICST | Novel Algorithm to Solve the Constrained Path-Based Testing Problem. | Matej Klima, Miroslav Bures, Marek Miltner, Chad Zanocco, Gordon Fraser, Sebastian Schweikl, Patric Feldmeier |
| 2024 | QRS | Ant Colony Optimization Based Algorithm for Test Path Generation Problem with Negative Constraints. | Matej Klima, Miroslav Bures, Martin Blaha |
| 2023 | ICST | Open Benchmark Testbed to Evaluate Effectiveness of Path-based Tests. | Matej Klima, Miroslav Bures, Michaela Kubisova, Pavel Herout |
| 2023 | WorldCIST | Review of Open Software Bug Datasets. | Tomas Holek, Miroslav Bures, Toms Cern |
| 2022 | ICST | Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs. | Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed |
| 2022 | ICST | Prioritized Variable-length Test Cases Generation for Finite State Machines. | Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Youcef Belkhier, Jiri Nema, Hynek Schvach |
| 2021 | ICST | 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 |
| 2021 | WorldCIST | 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 |
| 2021 | WorldCIST | A Testing Tool for IoT Systems Operating with Limited Network Connectivity. | Matej Klima, Miroslav Bures |
| 2020 | ICST | An Automated Testing Framework For Smart TV apps Based on Model Separation. | Bestoun S. Ahmed, Angelo Gargantini, Miroslav Bures |
| 2020 | ICST | Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing. | Miroslav Bures, Pavel Herout, Bestoun S. Ahmed |
| 2020 | ICST | Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application. | Jan Richter, Bestoun S. Ahmed, Miroslav Bures, Cleber R. Rosa Junior |
| 2020 | SEFM | 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 |
| 2020 | SEFM | Code Coverage Aware Test Generation Using Constraint Solver. | Krystof Sykora, Bestoun S. Ahmed, Miroslav Bures |
| 2019 | EASE | 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 |
| 2019 | HCI | 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 |
| 2017 | QRS | On the Effectiveness of Combinatorial Interaction Testing: A Case Study. | Miroslav Bures, Bestoun S. Ahmed |
| 2015 | FedCSIS | Using the Interaction Flow Modelling Language for Generation of Automated Front-End Tests. | Karel Frajtk, Miroslav Bures, Ivan Jelnek |
| 2015 | WorldCIST | Model for Evaluation and Cost Estimations of the Automated Testing Architecture. | Miroslav Bures |
| 2015 | WorldCIST | PCTgen: Automated Generation of Test Cases for Application Workflows. | Miroslav Bures |
| 2015 | WorldCIST | Creating Smart Tests from Recorded Automated Test Cases. | Martin Filipsky, Miroslav Bures, Ivan Jelnek |
| 2014 | ICSoft | Pex Extension for Generating User Input Validation Code for Web Applications. | Karel Frajtk, Miroslav Bures, Ivan Jelnek |
| 2012 | FedCSIS | Formal specification to support advanced model based testing. | Karel Frajtk, Miroslav Bures, Ivan Jelnek |
| 2007 | CW | Towards the Reusable User Data in Adaptive Hypermedia Systems - The External Mapping of User Parameters between Systems. | Miroslav Bures, Ivan Jelnek |
| 2005 | CW | Using AICC to Create Reusable Adaptive Hypermedia E-learning Content. | Miroslav Bures, Ivan Jelnek |