Fevzi BelliMutlu BeyazitChristof J. BudnikTugkan TuglularBudnik, Christof J.Belli, FevziBeyazıt, MutluTuglular, Tugkan2025-10-0620170123737478, 0120121662, 9780128138526, 9780323910897, 0120121670, 012373746X, 9780128171578, 9780123737465, 9780323898102, 978012813786497801281222979780128122280006524580065-245810.1016/bs.adcom.2017.06.0042-s2.0-85028010250https://www.scopus.com/inward/record.uri?eid=2-s2.0-85028010250&doi=10.1016%2Fbs.adcom.2017.06.004&partnerID=40&md5=290d59539cc8b75478a2001a1f4b0143https://gcris.yasar.edu.tr/handle/123456789/9722https://doi.org/10.1016/bs.adcom.2017.06.004Graphical user interfaces (GUIs) enable comfortable interactions of the computer-based systems with their environment. Large systems usually require complex GUIs which are commonly fault prone and thus are to be carefully designed implemented and tested. As a thorough testing is not feasible techniques are favored to test relevant features of the system under test that will be specifically modeled. This chapter summarizes reviews and exemplifies conventional and novel techniques for model-based GUI testing. © 2017 Elsevier B.V. All rights reserved.Englishinfo:eu-repo/semantics/openAccessContract-based Testing, Graphical User Interfaces, Model Morphology, Model-based Testing, Test Automation, Test Optimization, Test TerminationModel MorphologyGraphical User InterfacesTest AutomationTest OptimizationTest TerminationModel-Based TestingContract-Based TestingBook Part