13136 / 13144 - System Testing IntelLigent Lab

Publications 2017

Papers in WoS Journals

FRAJTÁK, K., M. BUREŠ, and I. JELÍNEK. Exploratory testing supported by automated reengineering of model of the system under test. Cluster Computing. 2017, 20(1), 855-865. ISSN 1386-7857. DOI 10.1007/s10586-017-0773-z.

AL-BEYWANEE, B., et al. Constrained Interaction Testing: A Systematic Literature Study. IEEE Access. 2017, 50 25706-25730. ISSN 2169-3536. DOI 10.1109/ACCESS.2017.2771562. Available from: http://ieeexplore.ieee.org/document/8102999/

CHLUMECKÝ, M., J. BUCHTELE, and K. RICHTA. Application of Random Number Generators in Genetic Algorithms to Improve Rainfall-Runoff Modelling. Journal of Hydrology. 2017, 553 350-355. ISSN 0022-1694. DOI 10.1016/j.jhydrol.2017.08.025.

Papers in Other Journals

TRNKA, M. and T. ČERNÝ. Authentication and Authorization Rules Sharing for Internet of Things. Software Networking. 2017, 2017(2), 35-52. ISSN 2445-9739. DOI 10.13052/jsn2445-9739.2017.003. Available from: http://www.www.riverpublishers.com/journal_read_html_article.php?j=JSN/2017/1/003

ČERNÝ, T., M.J. DONAHOO, and M. TRNKA. Contextual Understanding of Microservice Architecture: Current and Future Directions. ACM SIGAPP Applied Computing Review. 2017, 17(4), 29-45. ISSN 1559-6915. DOI 10.1145/3129676.3129682.

TOMÁŠEK, M. and T. ČERNÝ. Automated User Interface Generation Involving Field Classification. Software Networking. 2017, 2017(1), 53-78. ISSN 2445-9739. DOI 10.13052/jsn2445-9739.2017.004. Available from: http://www.riverpublishers.com/journal_read_html_article.php?j=JSN/2017/1/004

Books, Book Chapters and Lecture Notes

RICHTA, K., P MORAVEC, and J. ŠEBEK, eds. DATESO 2017. Rančířov, 2017-04-10/2017-04-12. Praha: CTU. Czech Technical University Publishing House, 2017. ISBN 978-80-01-06138-1. Available from: http://www.cs.vsb.cz/dateso/2017/

RICHTA, K. and P MORAVEC, eds. DATESO 2017. Rančířov, 2017-04-10/2017-04-12. Praha: CTU. Czech Technical University Publishing House, 2017. ISBN 978-80-01-06138-1. Available from: http://www.cs.vsb.cz/dateso/2017/

Conference Proceedings

MANNOVÁ, B. Why are software projects different. In: It Convergence and Security. 7th iCatse International Conference on IT Convergence and Security, Seoul, 2017-09-25/2017-09-28. Springer Nature Singapore Pte Ltd., 2017. p. 1-350. Lecture Notes in Electrical Engineeringh. vol. 449. ISSN 1876-1100. ISBN 978-981-10-6450-0.

BUREŠ, M. Framework for Integration Testing of IoT Solutions. In: ARABNIA, H.R., et al., eds. Proceedings of 2017 International Conference on Computational Science and Computational Intelligence CSCI 2017. 4th Annual Conference on Computational Science & Computational Intelligence, Las Vegas, 2017-12-14/2017-12-16. Los Alamitos: Conference publishing Services, 2017. p. 1838-1839. ISBN 978-1-5386-2652-8. DOI 10.1109/CSCI.2017.335.

MANNOVÁ, B. and C. PRESTON. COMPUTER SCIENCE INCLUSION IN THE SCHOOL CURRICULUM. In: CHOVA, L.G., A.L. MARTÍNEZ, and I.C. TORRES, eds. 9th International Conference on Education and New Learning Technologies. EDULEARN17, Barcelona, 2017-07-03/2017-07-05. Valencia: IATED Academy, 2017. p. 2682-2685. ISSN 2340-1117. ISBN 978-84-697-3777-4.

BUREŠ, M. and B. AL-BEYWANEE. On the Effectiveness of Combinatorial Interaction Testing: A Case Study. In: Proceedings of 2017 IEEE International Conference on Software Quality, Reliability and Security Companion. 2017 IEEE International Conference on Software Quality, Reliability and Security Companion, Praha, 2017-07-25/2017-07-29. IEEE Reliability Society, 2017. p. 69-76. ISBN 978-1-5386-2072-4. DOI 10.1109/QRS-C.2017.20. Available from: http://ieeexplore.ieee.org/document/8004296/keywords

PAVLÁT, J., et al. Model Transformations via XSLT. In: RICHTA, K., P MORAVEC, and J. ŠEBEK, eds. DATESO 2017. DATESO 2017 - Data, Texty, Specifikace a Objekty, Rančířov, 2017-04-10/2017-04-12. Praha: CTU. Czech Technical University Publishing House, 2017. p. 43-55. ISBN 978-80-01-06138-1. Available from: http://www.cs.vsb.cz/dateso/2017/

ŠEBEK, J. and K. RICHTA. Impact of User’s Emotion on Software Adaptation. In: RICHTA, K., P MORAVEC, and J. ŠEBEK, eds. DATESO 2017. DATESO 2017 - Data, Texty, Specifikace a Objekty, Rančířov, 2017-04-10/2017-04-12. Praha: CTU. Czech Technical University Publishing House, 2017. p. 1-14. ISBN 978-80-01-06138-1. Available from: http://www.cs.vsb.cz/dateso/2017/

PRESTON, C., S. YOUNIE, and B. MANNOVÁ. Elearning Compared From A Community Of Practice and a Mooc Perspective. In: Re-thinking Teacher Professional Education: Using Research Findings for Better Learning 61st World Assembly ICET 2017. Brno: Masarykova univerzita. Vydavatelství, 2017. ISBN 978-80-210-8611-1. Available from: http://icet2017.org/programme

BUREŠ, M. and T. ČERNÝ. Static Testing Using Different Types of CRUD Matrices. In: Lecture Notes in Electrical Engineering. International Conference on Information Science and Applications, Macau, 2017-03-20/2017-03-23. Springer Nature Singapore Pte Ltd., 2017. p. 594-602. vol. 424. ISSN 1876-1100. ISBN 978-981-10-4153-2. DOI 10.1007/978-981-10-4154-9_68.

PRESTON, C., S. YOUNIE, and B. MANNOVÁ. Collaborative lifelong learning for teacher educators across cultural boundaries. In: Re-thinking Teacher Professional Education: Using Research Findings for Better Learning 61st World Assembly ICET 2017. Brno: Masarykova univerzita. Vydavatelství, 2017. ISBN 978-80-210-8611-1. Available from: http://icet2017.org/programme

BUREŠ, M., T. ČERNÝ, and M. KLÍMA. Prioritized Process Test: More Efficiency in Testing of Business Processes and Workflows. In: Lecture Notes in Electrical Engineering. International Conference on Information Science and Applications, Macau, 2017-03-20/2017-03-23. Springer Nature Singapore Pte Ltd., 2017. p. 585-593. vol. 424. ISSN 1876-1100. ISBN 978-981-10-4153-2. DOI 10.1007/978-981-10-4154-9_67.

Research Reports

BUREŠ, M., et al. Requirements for IoT QA framework developed by Quality Assurance System for Internet of Things Technology project, TH02010296-V2. [Research Report] 2017.

BUREŠ, M., et al. Specification of the IoT QA framework developed by Quality Assurance System for Internet of Things Technology project, TH02010296-V3. [Research Report] 2017.