1117 search results - page 21 / 224 » Improving Testing Efficiency using Cumulative Test Analysis |
CE
2008
13 years 7 months ago
2008
The use of computerized-adaptive testing (CAT) has expanded rapidly the last years mainly due to the advancements in communication and information technology. Availability of adva...
JAR
2010
13 years 2 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...
SNPD
2008
13 years 9 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
GECCO
2004
Springer
14 years 28 days ago
2004
Springer
Software systems are used regularly in safety-relevant applications. Therefore, the occurrence of critical defects may not only cause costly recalls but may also endanger human liv...
DAC
2003
ACM
14 years 24 days ago
2003
ACM
To improve the system performance, designs with multiple clocks have become more and more popular. In this paper, several novel test generation procedures are proposed to utilize ...