3281 search results - page 129 / 657 » An Approach to use Executable Models for Testing |
127
click to vote
ERSHOV
1993
Springer
15 years 7 months ago
1993
Springer
Distributed database applications are a wide use of distributed systems. One of the major advantages of distributed database systems is the potential for achieving high availabili...
116
click to vote
ICPR
2002
IEEE
16 years 4 months ago
2002
IEEE
Statistical modeling for content based retrieval is examined in the context of recent TREC Video benchmark exercise. The TREC Video exercise can be viewed as a test bed for evalua...
129
click to vote
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
The method of choice of the software reliability models based on the analysis of assumptions and compatibility both input and output parameters is offered. This method is illustra...
148
click to vote
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...
150
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...