11718 search results - page 320 / 2344 » Testing database applications |
153
click to vote
COMPSAC
2003
IEEE
16 years 2 days ago
2003
IEEE
Markov chains have been used to model web usages and served as the basis for statistical testing, performance evaluation, and reliability analysis. However, most of such applicati...
165
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
217
click to vote
JOT
2010
15 years 5 months ago
2010
Abstract We propose a dependence-based representation for object-oriented programs, named Call-based Object-Oriented System Dependence Graph (COSDG). Apart from structural features...
188
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
: Given two testable properties P1 and P2, under what conditions are the union, intersection or set-difference of these two properties also testable? We initiate a systematic study...
173
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
Strong consistency is an important correctness property for replicated databases. It ensures that each transaction accesses the latest committed database state as provided in centr...