13136 / 13144 - Publications - 2020

13136 / 13144 - System Testing IntelLigent Lab

Publications 2020

Papers in WoS Journals

ČERNÝ, T., et al. On Code Analysis Opportunities and Challenges for Enterprise Systems and Microservices. IEEE Access. 2020, 2020(8), 159449-159470. ISSN 2169-3536. DOI 10.1109/ACCESS.2020.3019985. Available from: https://ieeexplore.ieee.org/document/9179733

TRNKA, M., et al. Securing Internet of Things Devices Using The Network Context. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. 2020, 16(6), 4017-4027. ISSN 1551-3203. DOI 10.1109/TII.2019.2954100.

HASAN, I.H., et al. Generation and Application of Constrained Interaction Test Suites Using Base Forbidden Tuples with a Mixed Neighborhood Tabu Search. International Journal of Software Engineering and Knowledge Engineering. 2020, 30(3), 363-398. ISSN 0218-1940. DOI 10.1142/S0218194020500151.

UKWANDU, E., et al. A Review of Cyber-Ranges and Test-Beds: Current and Future Trends. Sensors. 2020, 20(24), ISSN 1424-8220. DOI 10.3390/s20247148. Available from: https://www.mdpi.com/1424-8220/20/24/7148

BUREŠ, M., et al. Testing the Usability and Accessibility of Smart TV Applications Using an Automated Model-Based Approach. IEEE Transactions on Consumer Electronics. 2020, 66(2), 134-143. ISSN 0098-3063. DOI 10.1109/TCE.2020.2986049.

Patents

České vysoké učení technické v Praze, Jugoslávských partyzánů 1580/3, 160 00 Praha 6, Dejvice, Česká republika. Systém pro testování zařízení připojených k internetové síti. Inventors: M. BUREŠ, V. RECHTBERGER, and M. KLÍMA. Czech Republic. Utility Model CZ 33926. 2020-04-28. Available from: https://isdv.upv.cz/webapp/resdb.print_detail.det?pspis=PUV/36985&plang=CS

Conference Proceedings

BUREŠ, M., P. HEROUT, and B. AL-BEYWANEE. Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing. In: 2020 IEEE 13th International Conference on Software Testing, Validation and Verification. IEEE 13th International Conference on Software Testing, Validation and Verification, Porto, 2020-10-24/2020-10-28. Cannes: IEEE Computer Society, 2020. p. 442-447. ISSN 2159-4848. ISBN 978-1-7281-5778-8. DOI 10.1109/ICST46399.2020.00059. Available from: https://ieeexplore.ieee.org/abstract/document/9159070

BUREŠ, M. and V. RECHTBERGER. Dynamic Data Consistency Tests Using a CRUD Matrix as an Underlying Model. In: ESSE 2020: Proceedings of the 2020 European Symposium on Software Engineering. 2020 European Symposium on Software Engineering, Rome, 2020-11-06/2020-11-08. New York: ACM, 2020. p. 72-79. ISBN 978-1-4503-7762-1. DOI 10.1145/3393822.3432333.

HINDY, H., et al. Machine Learning Based IoT Intrusion Detection System: An MQTT Case Study. In: Selected Papers from the 12th International Networking Conference. 12th International Network Conference, Rhodes, 2020-09-19/2020-09-21. Cham: Springer International Publishing, 2020. p. 73-84. ISSN 2367-3370. ISBN 978-3-030-64757-5. DOI 10.1007/978-3-030-64758-2_6.

BUSHONG, V., et al. On Matching Log Analysis to Source Code: A Systematic Mapping Study. In: Proceedings of the International Conference on Research in Adaptive and Convergent Systems. Research in Adaptive and Convergent Systems, Gwangju, 2020-10-13/2020-10-16. New York: ACM, 2020. p. 181-187. ISSN 2153-1633. ISBN 978-1-4503-8025-6. DOI 10.1145/3400286.3418262.

BUREŠ, M., et al. A Comprehensive View on Quality Characteristics of the IoT Solutions. In: Proceedings of 3rd EAI International Conference on IoT in Urban Space. 3rd EAI International Conference on IoT in Urban Space, Guimarães, 2018-11-21/2018-11-22. Cham: Springer International Publishing, 2020. p. 59-69. ISSN 2522-8609. ISBN 978-3-030-28925-6. DOI 10.1007/978-3-030-28925-6_6. Available from: https://link.springer.com/chapter/10.1007/978-3-030-28925-6_6

RICHTER, J., et al. Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application. In: IEEE International Conference on Software Testing Verification and Validation Workshop. 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, Porto, 2020-10-24/2020-10-28. Los Alamitos: IEEE Computer Society, 2020. p. 185-190. ISSN 2159-4848. ISBN 978-1-7281-1075-2. DOI 10.1109/ICSTW50294.2020.00040. Available from: https://ieeexplore.ieee.org/abstract/document/9155621

AL-BEYWANEE, B., A. GARGANTINI, and M. BUREŠ. An Automated Testing Framework For Smart TV apps Based on Model Separation. In: IEEE International Conference on Software Testing Verification and Validation Workshop. 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, Porto, 2020-10-24/2020-10-28. Los Alamitos: IEEE Computer Society, 2020. p. 62-73. ISSN 2159-4848. ISBN 978-1-7281-1075-2. DOI 10.1109/ICSTW50294.2020.00026. Available from: https://ieeexplore.ieee.org/document/9155798

DAS, D., et al. Failure Prediction by Utilizing Log Analysis: A Systematic Mapping Study. In: Proceedings of the International Conference on Research in Adaptive and Convergent Systems. Research in Adaptive and Convergent Systems, Gwangju, 2020-10-13/2020-10-16. New York: ACM, 2020. p. 188-195. ISSN 2153-1633. ISBN 978-1-4503-8025-6. DOI 10.1145/3400286.3418263.

SVACINA, J., et al. On Vulnerability and Security Log analysis: A Systematic Literature Review on Recent Trends. In: Proceedings of the International Conference on Research in Adaptive and Convergent Systems. Research in Adaptive and Convergent Systems, Gwangju, 2020-10-13/2020-10-16. New York: ACM, 2020. p. 175-180. ISSN 2153-1633. ISBN 978-1-4503-8025-6. DOI 10.1145/3400286.3418261.

CERNY, T., et al. Mapping Study on Constraint Consistency Checking in Distributed Enterprise Systems. In: Proceedings of the International Conference on Research in Adaptive and Convergent Systems. Research in Adaptive and Convergent Systems, Gwangju, 2020-10-13/2020-10-16. New York: ACM, 2020. p. 167-174. ISSN 2153-1633. ISBN 978-1-4503-8025-6. DOI 10.1145/3400286.3418257.

BUREŠ, M., et al. Interoperability and Integration Testing Methods for IoT Systems: a Systematic Mapping Study. In: Software Engineering and Formal Methods. Software Engineering and Formal Methods 2020, Amsterdam, 2020-09-14/2020-09-17. Basel: Springer Nature Switzerland AG, 2020. p. 93-112. ISSN 0302-9743. ISBN 978-3-030-58767-3. DOI 10.1007/978-3-030-58768-0_6.

RECHTBERGER, V., M. BUREŠ, and B. AL-BEYWANEE. Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT Systems. In: Proceedings of The 2nd World Symposium on Software Engineering (WSSE 2020). The 2nd World Symposium on Software Engineering, Chengdu, 2020-09-25/2020-09-27. New York: ACM, 2020. p. 141-145. ISBN 978-1-4503-8787-3. DOI 10.1145/3425329.3425330.

Research Reports

BUREŠ, M., et al. Cases studies from the pilot run of the IoT QA framework developed by the Quality Assurance System for the Internet of Things Technology project, TH02010296-V5. [Research Report] 2020.

The page was created 03.12.2024 05:00:01
Responsible person: RNDr. Patrik Mottl, Ph.D.