Miroslav Bures
Summary
- Researcher in system testing, reliability and quality assurance: Model-based Testing (MBT), verifications, test automation
- Focus on the Internet of Things, complex software and mission-critical systems
- Engineering of IoT and sensor-network based systems for defense and rescue-missions support
- Supervisor of PhD students in system test automation and MBT
- Lecturer in software testing and software engineering
Research focus
- Model-based Testing – path-based testing (processes and workflows, control-flow), state machine testing, data consistency tests
- Testing and quality assurance methods for Internet of Things – model-based integration testing reflecting specifics of IoT solutions
- Optimization of testing data and configurations to test (applications of Combinatorial and Constrained Interaction Testing and their synergy with other methods)
- Test automation – conceptual issues, efficient test automation architectures and frameworks, design patterns, economic aspects of test automation, optimization of automated software tests
- Synergy of Model-Based Testing and Exploratory Testing approaches
- IoT and sensor networks in defense and rescue-mission support systems, IoT architectures, systems stability and resilience
- Software architectures, their security, safety and reliability
Education
- Ph.D. in Computer Science, Czech Technical University in Prague, 2006
Industry links
- Selected industrial cooperation projects at STILL pages
- Co-founder of the pro[Test]! - Czech and Slovak software testing professional community
- PointZERO vision project team - Sogeti Netherlands
- Previously head of testing in Capgemini CZ and SK, senior test manager and project manager in software development
Selected publications
IF journal articles
- Melchizedek Alipio, Carl Christian Chaguile and Miroslav Bures. A review of LoRaWAN performance optimization through cross-layer-based approach for Internet of Things. Internet of Things, vol. 28, 101378, Elsevier, 2024.
- Alipio, M., & Bures, M. (2024). Current Testing and Performance Evaluation Methodologies of LoRa and LoRaWAN in IoT Applications: Classification, Issues, and Future Directives. Internet of Things (Elsevier), volume 25, 101053.
- Klima, M., Bures, M., Ahmed, B. S., Bellekens, X., Atkinson, R., Tachtatzis, C., & Herout, P. (2023). Specialized path-based technique to test Internet of Things system functionality under limited network connectivity. Internet of Things, 22, 100706.
- Silhavy, R., Bures, M., Alipio, M., & Silhavy, P. (2023). More Accurate Cost Estimation for Internet of Things Projects by Adaptation of Use Case Points Methodology. IEEE Internet of Things Journal, 10(21) , pp.19312-19327.
- Alipio, M., & Bures, M. (2023). Intelligent Network Maintenance Modeling for Fixed Broadband Networks in Sustainable Smart Homes. IEEE Internet of Things Journal, 10(20), 18067-18081.
- Alipio, M., & Bures, M. (2023). Deep Reinforcement Learning perspectives on improving reliable transmissions in IoT networks: Problem formulation, parameter choices, challenges, and future directions. Internet of Things, 23, 100846.
- Hindy, H., Tachtatzis, C., Atkinson, R., Brosset, D., Bures, M., Andonovic, I., ... & Bellekens, X. (2023). Leveraging siamese networks for one-shot intrusion detection model. Journal of Intelligent Information Systems, 60(2), 407-436.
- Miroslav Bures, Katerina Neumannova, Pavel Blazek, Matej Klima, Hynek Schvach, Jiri Nema, Michal Kopecky, Jan Dygryn and Vladimir Koblizek. A Sensor Network Utilizing Consumer Wearables for Telerehabilitation of Post-acute COVID-19 Patients. IEEE Internet of Things, 2022.
- Q. Alsarhan, B. Ahmed, M. Bures and K. Zamli. Software Module Clustering: An In-Depth Literature Analysis. IEEE Transactions on Software Engineering, vol. 48, no. 6, pp. 1905 - 1928, 2022.
- Vaclav Rechtberger, Miroslav Bures, Bestoun S.Ahmed and Hynek Schvach. Novel Strategy Generating Variable-length State Machine Test Paths. Accepted in the International Journal of Software Engineering and Knowledge Engineering, 2022.
- Matej Klima, Miroslav Bures, Karel Frajtak, Vaclav Rechtberger, Michal Trnka, Xavier Bellekens, Tomas Cerny and Bestoun S. Ahmed. Selected Code-quality Characteristics and Metrics for Internet of Things Systems. IEEE Access, 10, 46144-46161, 2022.
- Miroslav Bures, Vojtech Ripka, Karolina Buresova, Karel Frajtak, Jiri Maha and Kamil Cinatl. An Innovative E-learning Support for Modern History Distance Learning and the Experience During the COVID-19 Lockdown. Sustainability, 14(6), 3631, 2022.
- Bushong V., Abdelfattah A. S., Maruf A. A., Das D., Lehman A., Jaroszewski E., Coffey M., Cerny T., Frajtak K., Tisnovsky P., Bures M. On Microservice Analysis and Architecture Evolution: A Systematic Mapping Study. Applied Sciences. 2021, 11(17):7856.
- Hanan Hindy, Robert Atkinson, Christos Tachtatzis, Ethan Bayne, Miroslav Bures and Xavier Bellekens. Utilising Flow Aggregation to Classify Benign Imitating Attacks. Sensors, 21(5), 1761, 2021.
- Ukwandu, E., Farah, M.A.B., Hindy, H., Brosset, D., Kavallieros, D., Atkinson, R., Tachtatzis, C., Bures, M., Andonovic, I., Bellekens, X. A Review of Cyber-Ranges and Test-Beds: Current and Future Trends. Sensors, 2020, 20, 7148.
- Miroslav Bures, Miroslav Macik, Vaclav Rechtberger, Pavel Slavik and Bestoun S. Ahmed. Testing the Usability and Accessibility of Smart TV Applications Using an Automated Model-based Approach. IEEE Transactions on Consumer Electronics, 66(2), 2020, pp. 134-143.
- Michal Trnka, Jan Svacina, Tomas Cerny, Eunjee Song, Jiman Hong and Miroslav Bures. Securing Internet of Things Devices Using The Network Context. IEEE Transactions on Industrial Informatics, 16(6), 2020, pp. 4017-4027.
- Tomas Cerny, Jan Svacina, Dipta Das, Vincent Bushong, Miroslav Bures, Pavel Tisnovsky, Karel Frajtak, Dongwan Shin, Jun Huang. On Code Analysis Opportunities and Challenges for Enterprise Systems and Microservices. IEEE Access, 8, 159449-159470, 2020.
- Miroslav Bures, Bestoun S. Ahmed, Employment of multiple algorithms for optimal path-based test selection strategy, Information and Software Technology, Volume 114, 2019, pp. 21-36.
- Bestoun S. Ahmed, Miroslav Bures. EvoCreeper: Automated Black-Box Model Generation for Smart TV Applications. IEEE Transactions on Consumer Electronics, 65(2), pp. 160-169, 2019.
- Bestoun S. Ahmed, Angelo Gargantini, Kamal Z. Zamli, Cemal Yilmaz, Miroslav Bures, Marek Szeles, Code-Aware Combinatorial Interaction Testing, IET Software, 13(6), pp. 600-609, 2019.
- Miroslav Bures, Bestoun S. Ahmed and Kamal Z. Zamli. "Prioritized Process Test: An Alternative to Current Process Testing Strategies". International Journal of Software Engineering and Knowledge Engineering, 29(07), pp. 997-1028, 2019.
- Ahmed, B. S., Bures, M., Frajtak, K., & Cerny, T. (2019). Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study. IEEE Access, 7, 13758-13780.
- Miroslav Bures, Karel Frajtak and Bestoun S. Ahmed, "Tapir: Automation Support of Exploratory Testing Using Model Reconstruction of the System Under Test", IEEE Transactions on Reliability, 67(2), 2018, 557-580.
- Bures, M., Filipsky, M., Jelinek I. Identification of Potential Reusable Subroutines in Recorded Automated Test Scripts. International Journal of Software Engineering and Knowledge Engineering, 28(01), 2018, 3-36.
- Zamli, K. Z., Din, F., Ahmed, B. S., Bures, M. . A hybrid Q-learning sine-cosine-based strategy for addressing the combinatorial test suite minimization problem. PloS one, 13(5), 2018, e0195675.
- Almog, D., Chassidim, H. S., Tsubery, Y., Bures, M, Shlomo, M. Conceptual Approach for Reuse of Test Automation Artifacts on Various Architectural Levels. Computer Science and Information Systems, 15(2), 2018, 449–472.
- Karel Frajtak, Miroslav Bures and Ivan Jelinek. "Exploratory testing supported by automated reengineering of model of the system under test." Cluster Computing 20.1 (2017): 855-865.
- Miroslav Bures, Tomas Cerny, Karel Frajtak and Bestoun S. Ahmed. "Testing the consistency of business data objects using extended static testing of CRUD matrices." Cluster Computing (2017).
- Ahmed, B. S., Zamli, K. Z, Afzal, W., Bures, M. "Constrained Interaction Testing: A Systematic Literature Study." IEEE Access, 5, 2017, 25706-25730.
Books
- Bureš, M. - Renda, M. - Doležel, M.: Efficient Software Testing. Praha: Grada, 2016. (in Czech).
- Bureš, M. - Morávek, A. - Jelínek, I.: New Generation of Web Technologies. Praha: VOX, 2005. (in Czech).
Selected conference papers
- Matej Klima, Miroslav Bures and Martin Blaha. Ant Colony Optimization Based Algorithm for Test Path Generation Problem with Negative Constraints. Accepted at the 24th International Conference on Software Quality, Reliability and Security (QRS 2024).
- Klima, M., Bures, M., Kubisova, M., & Herout, P. (2023). Open Benchmark Testbed to Evaluate Effectiveness of Path-based Tests. In 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (pp. 126-130). IEEE.
- Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed. Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs. In 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 207-214, IEEE, 2022.
- Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed, Youcef Belkhier, Jiri Nema, Hynek Schvach. Prioritized Variable-length Test Cases Generation for Finite State Machines. In 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 11-20, IEEE, 2022.
- Miroslav Bures, Bestoun S. Ahmed, Vaclav Rechtberger, Matej Klima, Michal Trnka, Miroslav Jaros, Xavier Bellekens, Dani Almog, Pavel Herout. PatrIoT: IoT Automated Interoperability and Integration Testing Framework. Accpetped at The ICST'2021 Testing Tools Track.
- Miroslav Bures, Matej Klima, Vaclav Rechtberger, Xavier Bellekens, Christos Tachtatzis, Robert Atkinson and Bestoun S. Ahmed. Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study. SEFM 2020: Software Engineering and Formal Methods, Lecture Notes in Computer Science, vol. 12310, Springer, pp 93-112.
- Bestoun S. Ahmed, Angelo Gargantini and Miroslav Bures. An Automated Testing Framework For Smart TV apps Based on Model Separation. Accepted at INTUITESTBEDS2020, part of the IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020.
- Jan Richter, Bestoun S. Ahmed, Miroslav Bures and Cleber R. Rosa Junior. Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application. Accepted at IWCT 2020, part of the IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020.
- Miroslav Bures, Pavel Herout and Bestoun S. Ahmed. Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing. Accepted at the IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020.
- Krystof Sykora, Bestoun Ahmed and Miroslav Bures. Code Coverage Aware Test Generation Using Constraint Solver. Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, Lecture Notes in Computer Science, vol. 12524, Springer, pp 58-66.
- Ahmed, B. S., Pahim, A., Rosa, C. R., Kuhn, D. R., & Bures, M. (2019). Towards an Automated Unified Framework to Run Applications for Combinatorial Interaction Testing. Proceedings of the Evaluation and Assessment on Software Engineering (EASE '19), pp 252-258.
- Bures, M., Cerny, T., Ahmed, B. S. Internet of Things: Current Challenges in the Quality Assurance and Testing Methods. Information Science and Applications 2018, LNEE vol.514, Springer, 2018, pp.625-634.
- Ahmed B. S., Bures, M. "Testing of Smart TV Applications: Key Ingredients, Challenges and Proposed Solutions." Proceedings of the Future Technologies Conference (FTC) 2018, AISC vol.880, Springer, 2018, pp.241-256.
- Miroslav Bures, Bestoun S. Ahmed. "On the Effectiveness of Combinatorial Interaction Testing: A Case Study." Proceedings of 2017 IEEE International Conference on Software Quality, Reliability and Security (Companion Volume), IEEE, p. 70-76
Full list of publications
- List of publications since 2017 at STILL pages
- List of publications at my Google Scholar profile
Organizations and committees
Organizations
Conference tracks, journal special issues
Conference chairs and program committees
- 2023 - INTUITESTBEDS 2023, part of the 16th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2023
- 2023 - IEEE International Conference on Service-Oriented System Engineering (SOSE) - publicity chair
- 2023 - Modern Approaches in Data Engineering and Information System Design workshop, part of the 27th European Conference on Advances in Databases and Information Systems (ADBIS) 2023
- 2021 - Workshop on Cyber Security and Blockchain, part of the 13th International Conference on COMmunication Systems & NETworkS (COMSNETS 2021)
- 2020 - 2020 European Symposium on Software Engineering (ESSE 2020)
- 2020 - The 35th ACM/SIGAPP Symposium On Applied Computing (ACM SAC 2020) - posters co-chair
- 2017-2019 - The International Workshop on Combinatorial Testing and its Applications, part of the The IEEE International Conference on Software Quality, Reliability and Security
- 2019 - Smart Systems Design and Implementation Theory and Practice (SSDITP-2019)
- 2018 - International Conference on Computer Science and Information Technology (ICCSIT 2018)
- 2016-2017 - Journal of Information Systems Engineering & Management, AISTI - advisory board
- 2017 - DATESO 2017 - 17th Annual International Workshop on Databases, Texts, Specifications, and Objects
- 2017 - ACM SAC'17 Track on Middleware and Enterprise Application Software (MEAS), part of The 32nd ACM SIGAPP Symposium On Applied Computing (SAC 2017)
- 2015-2018 - World Conference on Information Systems and Technologies, AISTI
- 2016 - 6th International Conference on IT Convergence and Security (ICITCS 2016) - publicity chair, session chair
- 2016 - Quality Aspects in Model Driven Engineering, Quatic 2016
- 2016 - The Fourth International Conference on Building and Exploring Web Based Environments - WEB 2016, IARIA
- 2016 - 31st ACM/SIGAPP Symposium On Applied Computing, Track on Enterprise Application Development and Design (EADD)
- 2015 - 3rd World Conference on Information Systems and Technologies, AISTI - session chair
- 2015 - ACM Research in Adaptive and Convergent Systems (RACS 2015) - session chair
- 2010-2014, 2018-2019 - International Conference WWW/Internet, IADIS
- 2007-2014, 2019 - International Conference Applied Computing, IADIS
- 2011 - The First International Conference on Advances in Information Mining and Management, IARIA
- 2006 and 2010 - E-learning forum, VOX, organizational committee
- 2004 - The International Conference on Cyberworlds, IEEE Computer Society
Selected projects
- More detail about research and industrial cooperation projects can be found at STILL pages
- 2024-now - AR-Rescue - augmented reality for remote biomonitoring and CBRN rescue missions - principal investigator, project leader
- 2023-now - SmartProtectEquip - smart textile detecting vital signs and injury parameters for defence and first responders teams - software part lead
- 2021-now - Teresa - telerehabilitation of COVID-19 subacute phase patients - software part lead
- 2019–2020 - Automated test case generation for end and integration tests of automobiles, Skoda Auto - principal investigator, project leader
- 2017-2020 - Quality Assurance System for Internet of Things Technology, co-funding by the Technology Agency of the Czech Republic - principal investigator, project leader
- 2015-2018 - Tapir – machine support of exploratory testing technique - supervisor
- 2014-now - Oxygen (formerly PCTgen) - principal investigator, project leader
- 2013-2018 - TestOptimizer- framework for optimization of automated test scripts - supervisor
- 2006-2008 - Intelligent Web Technologies, Czech Science Foundation, PhD research
Lectures
Current
- Software Quality Assurance (MSc. study programme, in English)
- Software Architectures (MSc. study programme, in English)
- Software Testing (BSc. study programme, in Czech)
- Software Project Management (BSc. study programme, in Czech)
Previous
- Database Systems (in English)
- Programming in Java (in Czech)
- Web Technologies and Multimedia (in Czech)
- Web Application Development (in Czech)
- Introduction to Algorithms (in Czech)
Management
- 2021-now - Board of the study program Software Engineering and Technology (SIT), head
- 2018-now - Board of the study program Open Informatics (OI), coordinator of the specialization “Software Engineering”
- 2015-2020 - Board of the study program Software Engineering and Technology (SIT), coordinator of the specialization “Developer / architect of web applications” and "Enterprise systems"
- 2014,2020 - Team for acreditation of the study program Software Engineering and Technology (SIT)
