People

PHD STUDENTS

ING. KAREL FRAJTÁK

Al-Beywanee, B., Bureš, M., Frajták, K., Cerny, T. 2019 Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study, detail

Bureš, M., Frajták, K., Al-Beywanee, B. 2018 Tapir: Automation Support of Exploratory Testing Using Model Reconstruction of the System Under Test, detail

Frajták, K., Bureš, M., Jelínek, I. 2017 Exploratory testing supported by automated reengineering of model of the system under test, detail

Bureš, M., Cerny, T., Frajták, K., Al-Beywanee, B. 2017 Testing the consistency of business data objects using extended static testing of CRUD matrices, detail

Frajták, K., Bureš, M., Jelínek, I. 2016 Model–Based Testing and Exploratory Testing: Is Synergy Possible?, detail

Frajták, K., Bureš, M., Jelínek, I. 2015 Transformation of IFML Schemas to Automated Tests, detail

Frajták, K., Bureš, M., Jelínek, I. 2015 Using the Interaction Flow Modelling Language for Generation of Automated Front–End Tests, detail

Frajták, K., Bureš, M., Jelínek, I. 2014 Reducing user input validation code in web applications using Pex extension, detail

Frajták, K., Bureš, M., Jelínek, I. 2014 Pex extension for generating user input validation code for web applications, detail

Frajták, K., Bureš, M., Jelínek, I. 2012 Formal specification to support advanced model based testing, detail

Frajták, K., Bureš, M., Jelínek, I. 2012 Web Software Systems Testing Supported by Model-Based Direct Guidance of the Tester, detail

Frajták, K., Bureš, M., Jelínek, I. 2011 Manual testing of web software systems supported by direct guidance of the tester based on design model, detail