Karel Frajták

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