Karel Frajták

Orcid: 0000-0003-4133-2805

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Visualizing Anti-Patterns in Microservices at Runtime: A Systematic Mapping Study.
IEEE Access, 2023

2022
Selected Code-Quality Characteristics and Metrics for Internet of Things Systems.
IEEE Access, 2022

Analyzing Technical Debt by Mapping Production Logs with Source Code.
Proceedings of the Recent Advances in Transdisciplinary Data Science, 2022

Architectural languages in the microservice era: a systematic mapping study.
Proceedings of the Conference on Research in Adaptive and Convergent Systems, 2022

2021
On Persistent Implications of E2E Testing.
Proceedings of the Enterprise Information Systems - 23rd International Conference, 2021

2020
On Code Analysis Opportunities and Challenges for Enterprise Systems and Microservices.
IEEE Access, 2020

On Vulnerability and Security Log analysis: A Systematic Literature Review on Recent Trends.
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.
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.
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.
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.
Clust. Comput., 2019

Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study.
IEEE Access, 2019

2018
Tapir: Automation Support of Exploratory Testing Using Model Reconstruction of the System Under Test.
IEEE Trans. Reliab., 2018

A Comprehensive View on Quality Characteristics of the IoT Solutions.
CoRR, 2018

2017
Exploratory testing supported by automated reengineering of model of the system under test.
Clust. Comput., 2017

2016
Model-Based Testing and Exploratory Testing: Is Synergy Possible?
Proceedings of the 6th International Conference on IT Convergence and Security, 2016

2015
Transformation of IFML schemas to automated tests.
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.
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.
Proceedings of the ICSOFT-EA 2014, 2014

Reducing user input validation code in web applications using Pex extension.
Proceedings of the 15th International Conference on Computer Systems and Technologies, 2014

2012
Formal specification to support advanced model based testing.
Proceedings of the Federated Conference on Computer Science and Information Systems, 2012


  Loading...