Computer Science Seminar Series

Abstract

Model-based Testing (MBT), overlapping with the test automation discipline, is intensively examined as a way to make testing of software and IoT systems more effective. Besides automated generation of accurate test scenarios with guaranteed coverage level increasing the confidence in the tests, well- applied MBT process can also decrease testing costs and overall project risks. Potential of MBT also rise with the recent development of IoT systems, bringing a number of quality assurance and testing challenges. In the seminar, we will present some examples of our research from path-based testing, combinatorial and constrained interaction testing or alternative applications of MBT to some non- traditional domains (combination of MBT with exploratory testing or usability testing).

Host: Lilia Georgieva

• Back to list