2006 search results - page 40 / 402 » Testing with Respect to Concerns |
ITC
1993
IEEE
14 years 27 days ago
1993
IEEE
This paper describes a technique which uses the Differential Non Linearity (DNL) test data for fault location and identification of the analog components of a flash ADC. In a flash...
ICFEM
2007
Springer
14 years 19 days ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
ENTCS
2007
13 years 8 months ago
2007
Fault tolerance is one of the most important means to avoid service failure in the presence of faults, so to guarantee they will not interrupt the service delivery. Software testi...
INFORMATICALT
2000
13 years 8 months ago
2000
In this paper we present an algorithm for generating quadratic assignment problem (QAP) instances with known provably optimal solution. The flow matrix of such instances is constru...
ICST
2010
IEEE
13 years 7 months ago
2010
IEEE
—Markov chains with Labelled Transitions can be used to generate test cases in a model-based approach. These test cases are generated by random walks on the model according to pr...