A Markov Chain Model for Statistical Software Testing
IEEE Transactions on Software Engineering
The AETG System: An Approach to Testing Based on Combinatorial Design
IEEE Transactions on Software Engineering
Model-based testing in practice
Proceedings of the 21st international conference on Software engineering
Hierarchical GUI Test Case Generation Using Automated Planning
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
An automated oracle for verifying GUI objects
ACM SIGSOFT Software Engineering Notes
Art of Software Testing
How to Design Practical Test Cases
IEEE Software
IEEE Software
Hi-index | 0.00 |
Recently, it has become popular to use applications on window operating systems, such as Microsoft Windows and GNOME, and for this we attempt to use the GUI specific testing approach. Legacy type of approaches, such as control flow path and data flow path testing, are not always effective testing methods for GUI application. 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. Our developed model-based testing focuses not only on application behavior but also on data and external factors. In addition, we realized that model-based testing lacks the ability to find some types of defect. In this paper, we will clarify which factors are lacking and offer solutions with case studies.