1492 search results - page 16 / 299 » Testing Properties of Constraint-Graphs |
PROPERTYTESTING
2010
14 years 9 months ago
2010
PTS
2010
14 years 10 months ago
2010
In this paper, we explore the set of testable properties within the Safety-Progress classification where testability means to establish by testing that a relation, between the tes...
TR
2010
14 years 6 months ago
2010
Previous work on planning accelerated life tests has been based on large-sample approximations to evaluate test plan properties. In this paper, we use more accurate simulation met...
IJNSEC
2010
14 years 6 months ago
2010
Chaotic systems have many interesting features such as sensitivity on initial condition and system parameter, ergodicity and mixing properties. In this paper, we exploit these int...
101
click to vote
JAR
2010
14 years 6 months ago
2010
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulas with equality. We first prove the existence of an ide...