Karel Frajták
Karel Frajták
Verified email at fel.cvut.cz
TitleCited byYear
Model-Based Testing and Exploratory Testing: Is Synergy Possible?
K Frajták, M Bures, I Jelinek
2016 6th International Conference on IT Convergence and Security (ICITCS), 1-6, 2016
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
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
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
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
Manual testing of web software systems supported by direct guidance of the tester based on design model
K Frajták, M Bureš, I Jelínek
World Academy of Science, Engineering and Technology, 542-545, 2011
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
Testing the consistency of business data objects using extended static testing of CRUD matrices
M Bures, T Cerny, K Frajtak, BS Ahmed
Cluster Computing, 1-14, 2017
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
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
A Comprehensive View on Quality Characteristics of the IoT Solutions
M Bures, X Bellekens, K Frajtak, BS Ahmed
arXiv preprint arXiv:1812.09683, 2018
Supporting Exploratory Testing by Automated Navigation Using the Model of System Under Test
K Frajták
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
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–14