Karel Frajták

According to our database, Karel Frajták authored at least 20 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

IEEE Access, 2023

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

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

Proceedings of the Conference on Research in Adaptive and Convergent Systems, 2022

2021

On Persistent Implications of E2E Testing.

Karel Frajták, Tomás Cerný

Proceedings of the Enterprise Information Systems - 23rd International Conference, 2021

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

IEEE Access, 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

Proceedings of the RACS '20: International Conference on Research in Adaptive and Convergent Systems, 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

Proceedings of the RACS '20: International Conference on Research in Adaptive and Convergent Systems, 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

Proceedings of the RACS '20: International Conference on Research in Adaptive and Convergent Systems, 2020

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

Proceedings of the RACS '20: International Conference on Research in Adaptive and Convergent Systems, 2020

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

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

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

A Comprehensive View on Quality Characteristics of the IoT Solutions.

Miroslav Bures, Xavier J. A. Bellekens, Karel Frajták, Bestoun S. Ahmed

CoRR, 2018

2017

Exploratory testing supported by automated reengineering of model of the system under test.

Karel Frajták, Miroslav Bures, Ivan Jelínek

Clust. Comput., 2017

2016

Model-Based Testing and Exploratory Testing: Is Synergy Possible?

Karel Frajták, Miroslav Bures, Ivan Jelínek

Proceedings of the 6th International Conference on IT Convergence and Security, 2016

2015

Transformation of IFML schemas to automated tests.

Karel Frajták, Miroslav Bures, Ivan Jelínek

Proceedings of the 2015 Conference on research in adaptive and convergent systems, 2015

Using the Interaction Flow Modelling Language for Generation of Automated Front-End Tests.

Karel Frajták, Miroslav Bures, Ivan Jelínek

Proceedings of the Position Papers of the 2015 Federated Conference on Computer Science and Information Systems, 2015

2014

Pex Extension for Generating User Input Validation Code for Web Applications.

Karel Frajták, Miroslav Bures, Ivan Jelínek

Proceedings of the ICSOFT-EA 2014, 2014

Reducing user input validation code in web applications using Pex extension.

Karel Frajták, Miroslav Bures, Ivan Jelínek

Proceedings of the 15th International Conference on Computer Systems and Technologies, 2014

2012

Formal specification to support advanced model based testing.

Karel Frajták, Miroslav Bures, Ivan Jelínek

Proceedings of the Federated Conference on Computer Science and Information Systems, 2012