Karel Frajták

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 18

Top Topics

Consistency Checking

Single View Reconstruction

Top Venues

Publications

Garrett Parker, Samuel Kim, Abdullah Al Maruf, Tomás Cerný, Karel Frajták, Pavel Tisnovsky, Davide Taibi
Visualizing Anti-Patterns in Microservices at Runtime: A Systematic Mapping Study. IEEE Access 11 (2023)
Dipta Das, Md Rofiqul Islam, Samuel Kim, Tomás Cerný, Karel Frajták, Miroslav Bures, Pavel Tisnovsky
Analyzing Technical Debt by Mapping Production Logs with Source Code. SDSC (2022)
Luka Lelovic, Michael Mathews, Amr Elsayed, Tomás Cerný, Karel Frajták, Pavel Tisnovsky, Davide Taibi
Architectural languages in the microservice era: a systematic mapping study. RACS (2022)
Matej Klima, Miroslav Bures, Karel Frajták, Vaclav Rechtberger, Michal Trnka, Xavier J. A. Bellekens, Tomás Cerný, Bestoun S. Ahmed
Selected Code-Quality Characteristics and Metrics for Internet of Things Systems. IEEE Access 10 (2022)
Karel Frajták, Tomás Cerný
On Persistent Implications of E2E Testing. ICEIS (Revised Selected Papers) (2021)
Dipta Das, Micah Schiewe, Elizabeth Brighton, Mark Fuller, Tomás Cerný, Miroslav Bures, Karel Frajták, Dongwan Shin, Pavel Tisnovsky
Failure Prediction by Utilizing Log Analysis: A Systematic Mapping Study. RACS (2020)
Tomás Cerný, Jan Svacina, Dipta Das, Vincent Bushong, Miroslav Bures, Pavel Tisnovsky, Karel Frajták, Dongwan Shin, Jun Huang
On Code Analysis Opportunities and Challenges for Enterprise Systems and Microservices. IEEE Access 8 (2020)
Vincent Bushong, Russell Sanders, Jacob Curtis, Mark Du, Tomás Cerný, Karel Frajták, Miroslav Bures, Pavel Tisnovsky, Dongwan Shin
On Matching Log Analysis to Source Code: A Systematic Mapping Study. RACS (2020)
Jan Svacina, Jackson Raffety, Connor Woodahl, Brooklynn Stone, Tomás Cerný, Miroslav Bures, Dongwan Shin, Karel Frajták, Pavel Tisnovsky
On Vulnerability and Security Log analysis: A Systematic Literature Review on Recent Trends. RACS (2020)
Tomás Cerný, Andrew Walker, Jan Svacina, Vincent Bushong, Dipta Das, Karel Frajták, Miroslav Bures, Pavel Tisnovsky
Mapping Study on Constraint Consistency Checking in Distributed Enterprise Systems. RACS (2020)
Miroslav Bures, Tomás Cerný, Karel Frajták, Bestoun S. Ahmed
Testing the consistency of business data objects using extended static testing of CRUD matrices. Clust. Comput. 22 (Suppl 1) (2019)
Bestoun S. Ahmed, Miroslav Bures, Karel Frajták, Tomás Cerný
Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study. IEEE Access 7 (2019)
Bestoun S. Ahmed, Miroslav Bures, Karel Frajták, Tomás Cerný
Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study. CoRR (2019)
Miroslav Bures, Karel Frajták, Bestoun S. Ahmed
Tapir: Automation Support of Exploratory Testing Using Model Reconstruction of the System Under Test. CoRR (2018)
Miroslav Bures, Xavier J. A. Bellekens, Karel Frajták, Bestoun S. Ahmed
A Comprehensive View on Quality Characteristics of the IoT Solutions. CoRR (2018)
Miroslav Bures, Karel Frajták, Bestoun S. Ahmed
Tapir: Automation Support of Exploratory Testing Using Model Reconstruction of the System Under Test. IEEE Trans. Reliab. 67 (2) (2018)
Karel Frajták, Miroslav Bures, Ivan Jelínek
Exploratory testing supported by automated reengineering of model of the system under test. Clust. Comput. 20 (1) (2017)
Karel Frajták, Miroslav Bures, Ivan Jelínek
Model-Based Testing and Exploratory Testing: Is Synergy Possible? ICITCS (2016)
Karel Frajták, Miroslav Bures, Ivan Jelínek
Transformation of IFML schemas to automated tests. RACS (2015)
Karel Frajták, Miroslav Bures, Ivan Jelínek
Using the Interaction Flow Modelling Language for Generation of Automated Front-End Tests. FedCSIS (Position Papers) (2015)
Karel Frajták, Miroslav Bures, Ivan Jelínek
Reducing user input validation code in web applications using Pex extension. CompSysTech (2014)
Karel Frajták, Miroslav Bures, Ivan Jelínek
Pex Extension for Generating User Input Validation Code for Web Applications. ICSOFT EA (2014)
Karel Frajták, Miroslav Bures, Ivan Jelínek
Formal specification to support advanced model based testing. FedCSIS (2012)