抄録
Since it has become popular to use applications on window operating systems, such as Microsoft Windows and GNOME, we attempt to use the GUI specific testing approach. Thus, model-based testing was newly established and often used in GUI application testing, but the model-based testing method is not yet mature and has not been researched enough. In this paper, we will clarify which factors are lacking and offer solutions with case studies.
