COMPUTER
2002
13 years 11 months ago
2002
ion, so mapping between GUI events and the underlying code is not straightforward. Code-based coverage criteria do not necessarily address problematic interactions between the GUI&...
TAP
2008
Springer
13 years 11 months ago
2008
Springer
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...
ICSM
2006
IEEE
14 years 5 months ago
2006
IEEE
The test case execution order affects the time at which the objectives of testing are met. If the objective is fault detection, an inappropriate execution order might reveal most ...
ICST
2009
IEEE
14 years 6 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...