1112 search results - page 23 / 223 » Executing Abstract Test Cases |
JOT
2010
14 years 8 months ago
2010
Abstract We propose a novel testing technique for object-oriented programs. Based on the state and activity models of a system, we construct an intermediate representation, which w...
FATES
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Although graphical user interfaces (GUIs) constitute a large part of the software being developed today and are typically created using rapid prototyping, there are no effective r...
ICECCS
2002
IEEE
15 years 2 months ago
2002
IEEE
The characteristics of object-oriented software affect type and relevance of faults. In particular, the state of the objects may cause faults that cannot be easily revealed with t...
JWSR
2007
14 years 9 months ago
2007
: Testing the correctness of services assures the functional quality of service-oriented application. A service-oriented application may bind dynamically to its supportive services...