Sciweavers

52 search results - page 1 / 11
» Model-Based Testing Through a GUI
Sort
View
FATES
2005
Springer
13 years 10 months ago
Model-Based Testing Through a GUI
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
Antti Kervinen, Mika Maunumaa, Tuula Pää...
ICSM
2006
IEEE
13 years 10 months ago
Model-Based Testing of Community-Driven Open-Source GUI Applications
Although the world-wide-web (WWW) has significantly enhanced open-source software (OSS) development, it has also created new challenges for quality assurance (QA), especially for...
Qing Xie, Atif M. Memon
FM
2009
Springer
189views Formal Methods» more  FM 2009»
13 years 2 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr...
ISSRE
2010
IEEE
13 years 3 months ago
Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis
—Models abstract reality. Although abstract, such models can capture the essence of real world phenomena as long as they are sufficiently accurate. The development of new techni...
Cristiano Bertolini, Alexandre Mota, Eduardo Aranh...
ICFEM
2005
Springer
13 years 10 months ago
A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing
Ana Paiva, João C. P. Faria, Nikolai Tillma...