1241 search results - page 90 / 249 » Path-oriented random testing |
156
click to vote
CP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In 1997 we presented ten challenges for research on satisfiability testing [1]. In this paper we review recent progress towards each of these challenges, including our o...
161
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Theme-driven cancer survival studies address whether the expression signature of genes related to a biological process can predict patient survival time. Although this...
159
click to vote
APPROX
2006
Springer
15 years 10 months ago
2006
Springer
Given two binary linear codes R and C, their tensor product R C consists of all matrices with rows in R and columns in C. We analyze the "robustness" of the following te...
129
click to vote
TR
2008
15 years 6 months ago
2008
Abstract--As an alternative to traditional life testing, degradation tests can be effective in assessing product reliability when measurements of degradation leading to failure can...
205
click to vote
ECCC
2011
14 years 9 months ago
2011
A q-query locally testable code (LTC) is an error correcting code that can be tested by a randomized algorithm that reads at most q symbols from the given word. An important questi...