Karel Frajták
Karel Frajták
Verified email at fel.cvut.cz
Title
Cited by
Cited by
Year
Aspects of quality in Internet of Things (IoT) solutions: A systematic mapping study
BS Ahmed, M Bures, K Frajtak, T Cerny
IEEE Access 7, 13758-13780, 2019
302019
Transformation of IFML schemas to automated tests
K Frajták, M Bureš, I Jelínek
Proceedings of the 2015 Conference on research in adaptive and convergent …, 2015
142015
Tapir: Automation support of exploratory testing using model reconstruction of the system under test
M Bures, K Frajtak, BS Ahmed
IEEE Transactions on Reliability 67 (2), 557-580, 2018
122018
Model-Based Testing and Exploratory Testing: Is Synergy Possible?
K Frajtak, M Bures, I Jelinek
2016 6th International Conference on IT Convergence and Security (ICITCS), 1-6, 2016
112016
Exploratory testing supported by automated reengineering of model of the system under test
K Frajtak, M Bures, I Jelinek
Cluster Computing 20 (1), 855-865, 2017
102017
Using the Interaction Flow Modelling Language for Generation of Automated Front-End Tests.
K Frajták, M Bures, I Jelínek
FedCSIS (Position Papers), 117-122, 2015
52015
On vulnerability and security log analysis: A systematic literature review on recent trends
J Svacina, J Raffety, C Woodahl, B Stone, T Cerny, M Bures, D Shin, ...
Proceedings of the International Conference on Research in Adaptive and …, 2020
42020
A comprehensive view on quality characteristics of the iot solutions
M Bures, X Bellekens, K Frajtak, BS Ahmed
EAI International Conference on IoT in Urban Space, 59-69, 2018
42018
Failure Prediction by Utilizing Log Analysis: A Systematic Mapping Study
D Das, M Schiewe, E Brighton, M Fuller, T Cerny, M Bures, K Frajtak, ...
Proceedings of the International Conference on Research in Adaptive and …, 2020
32020
On Matching Log Analysis to Source Code: A Systematic Mapping Study
V Bushong, R Sanders, J Curtis, M Du, T Cerny, K Frajtak, M Bures, ...
Proceedings of the International Conference on Research in Adaptive and …, 2020
32020
Manual testing of web software systems supported by direct guidance of the tester based on design model
K Frajták, M Bures, I Jelínek
International Journal of Computer and Information Engineering 5 (8), 825-828, 2011
32011
Testing the consistency of business data objects using extended static testing of CRUD matrices
M Bures, T Cerny, K Frajtak, BS Ahmed
Cluster Computing 22 (1), 963-976, 2019
22019
Formal specification to support advanced model based testing
K Frajták, M Bureš, I Jelínek
2012 Federated Conference on Computer Science and Information Systems …, 2012
22012
On Code Analysis Opportunities and Challenges for Enterprise Systems and Microservices
T Cerny, J Svacina, D Das, V Bushong, M Bures, P Tisnovsky, K Frajtak, ...
IEEE Access 8, 159449-159470, 2020
12020
Reducing user input validation code in web applications using Pex extension
K Frajták, M Bureš, I Jelínek
Proceedings of the 15th International Conference on Computer Systems and …, 2014
12014
Mapping Study on Constraint Consistency Checking in Distributed Enterprise Systems
T Cerny, A Walker, J Svacina, V Bushong, D Das, K Frajtak, M Bures, ...
Proceedings of the International Conference on Research in Adaptive and …, 2020
2020
Supporting Exploratory Testing by Automated Navigation Using the Model of System Under Test
K Frajták
2017
Pex extension for generating user input validation code for web applications
K Frajták, M Bureš, I Jelínek
2014 9th International Conference on Software Engineering and Applications …, 2014
2014
Automated generation of direct guidance of the tester based on design model of the tested application
K Frajták
The system can't perform the operation now. Try again later.
Articles 1–19