1112 search results - page 93 / 223 » Executing Abstract Test Cases |
136
click to vote
PPAM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper we deal with the problem of finding an optimal query execution plan in database systems. We improve the analysis of a polynomial-time approximation algorit...
131
click to vote
IEEEARES
2010
IEEE
15 years 7 months ago
2010
IEEE
Many software security vulnerabilities only reveal themselves under certain conditions, i.e., particular configurations of the software together with its particular runtime environ...
133
click to vote
PADS
2006
ACM
15 years 9 months ago
2006
ACM
In this paper we present a detailed analysis of the performance of the Decision Theoretic Read Delay (DTRD) optimistic synchronisation algorithm for simulations of Multistems. We ...
117
click to vote
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Since testing is inherently incomplete, test selection is of vital importance. Coverage measures evaluate the quality of a test suite and help the tester select test case...
122
click to vote
DLOG
2009
15 years 29 days ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...