2419 search results - page 297 / 484 » A Formal Approach to Software Testing |
139
click to vote
ICSM
2009
IEEE
15 years 10 months ago
2009
IEEE
Applications with Graphical User Interfaces (GUIs) are ubiquitous. Nontrivial GUI-based applications (GAPs) evolve frequently, and understanding how GUIs of different versions of ...
118
click to vote
SEAA
2008
IEEE
15 years 10 months ago
2008
IEEE
There is a growing interest for techniques and tools facilitating the testing of mobile systems. The movement of nodes is one of the relevant factors of context change in ubiquito...
138
click to vote
SERP
2003
15 years 5 months ago
2003
In this paper, the specification of Verity, a webbased instructional tool, is presented. Verity is intended to be used as a learning assistant and self-assessment tool, more than ...
119
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Quality assurance techniques for web applications have become increasingly important as web applications have gained in popularity and become an essential part of our daily lives....
146
click to vote
ROBOCUP
2005
Springer
15 years 9 months ago
2005
Springer
RoboCup projects can face a lack of progress and continuity. The teams change continuously and knowledge gets lost. The approach used in previous years is no longer valid due to ru...