Formal specification to support advanced model based testing. - Karel Frajták; Miroslav Bures; Ivan Jelínek (FedCSIS, 2012)

Reducing user input validation code in web applications using Pex extension. - Karel Frajták; Miroslav Bures; Ivan Jelínek (CompSysTech, 2014)

Pex Extension for Generating User Input Validation Code for Web Applications. - Karel Frajták; Miroslav Bures; Ivan Jelínek (ICSOFT EA, 2014)

Using the Interaction Flow Modelling Language for Generation of Automated Front-End Tests. - Karel Frajták; Miroslav Bures; Ivan Jelínek (FedCSIS (Position Papers), 2015)

Transformation of IFML schemas to automated tests. - Karel Frajták; Miroslav Bures; Ivan Jelínek (RACS, 2015)

Model-Based Testing and Exploratory Testing: Is Synergy Possible? - Karel Frajták; Miroslav Bures; Ivan Jelínek (ICITCS, 2016)

Exploratory testing supported by automated reengineering of model of the system under test. - Karel Frajták; Miroslav Bures; Ivan Jelínek (Clust. Comput., 2017)

A Comprehensive View on Quality Characteristics of the IoT Solutions. - Miroslav Bures; Xavier J. A. Bellekens; Karel Frajták; Bestoun S. Ahmed (CoRR, 2018)

Tapir: Automation Support of Exploratory Testing Using Model Reconstruction of the System Under Test. - Miroslav Bures; Karel Frajták; Bestoun S. Ahmed (IEEE Trans. Reliab., 2018)

Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study. - Bestoun S. Ahmed; Miroslav Bures; Karel Frajták; Tomás Cerný (IEEE Access, 2019)

Testing the consistency of business data objects using extended static testing of CRUD matrices. - Miroslav Bures; Tomás Cerný; Karel Frajták; Bestoun S. Ahmed (Clust. Comput., 2019)

On Matching Log Analysis to Source Code: A Systematic Mapping Study. - Vincent Bushong; Russell Sanders; Jacob Curtis; Mark Du; Tomás Cerný; Karel Frajták; Miroslav Bures; Pavel Tisnovsky; Dongwan Shin (RACS, 2020)

Mapping Study on Constraint Consistency Checking in Distributed Enterprise Systems. - Tomás Cerný; Andrew Walker; Jan Svacina; Vincent Bushong; Dipta Das; Karel Frajták; Miroslav Bures; Pavel Tisnovsky (RACS, 2020)

Failure Prediction by Utilizing Log Analysis: A Systematic Mapping Study. - Dipta Das; Micah Schiewe; Elizabeth Brighton; Mark Fuller; Tomás Cerný; Miroslav Bures; Karel Frajták; Dongwan Shin; Pavel Tisnovsky (RACS, 2020)

On Vulnerability and Security Log analysis: A Systematic Literature Review on Recent Trends. - Jan Svacina; Jackson Raffety; Connor Woodahl; Brooklynn Stone; Tomás Cerný; Miroslav Bures; Dongwan Shin; Karel Frajták; Pavel Tisnovsky (RACS, 2020)

On Code Analysis Opportunities and Challenges for Enterprise Systems and Microservices. - Tomás Cerný; Jan Svacina; Dipta Das; Vincent Bushong; Miroslav Bures; Pavel Tisnovsky; Karel Frajták; Dongwan Shin; Jun Huang 002 (IEEE Access, 2020)

On Persistent Implications of E2E Testing. - Karel Frajták; Tomás Cerný (ICEIS (Revised Selected Papers), 2021)

Architectural languages in the microservice era: a systematic mapping study. - Luka Lelovic; Michael Mathews; Amr Elsayed; Tomás Cerný; Karel Frajták; Pavel Tisnovsky; Davide Taibi 001 (RACS, 2022)

Analyzing Technical Debt by Mapping Production Logs with Source Code. - Dipta Das; Md Rofiqul Islam; Samuel Kim; Tomás Cerný; Karel Frajták; Miroslav Bures; Pavel Tisnovsky (SDSC, 2022)

Selected Code-Quality Characteristics and Metrics for Internet of Things Systems. - Matej Klima; Miroslav Bures; Karel Frajták; Vaclav Rechtberger; Michal Trnka; Xavier J. A. Bellekens; Tomás Cerný; Bestoun S. Ahmed (IEEE Access, 2022)

Visualizing Anti-Patterns in Microservices at Runtime: A Systematic Mapping Study. - Garrett Parker; Samuel Kim; Abdullah Al Maruf; Tomás Cerný; Karel Frajták; Pavel Tisnovsky; Davide Taibi 001 (IEEE Access, 2023)