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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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