8398 search results - page 140 / 1680 » Optimal Software Testing |
121
Voted
CL
2000
Springer
15 years 6 months ago
2000
Springer
We use Kleene algebra with tests to verify a wide assortment of common compiler optimizations, including dead code elimination, common subexpression elimination, copy propagation,...
123
Voted
ATS
2005
IEEE
15 years 8 months ago
2005
IEEE
Power reduction during test application is important from the viewpoint of chip reliability and for obtaining correct test results. One of the ways to reduce scan test power is to...
108
click to vote
ECRTS
2009
IEEE
15 years 10 days ago
2009
IEEE
A recent result in [13] has demonstrated the existence of a sufficient global EDF schedulability test for sporadic task systems that makes the following guarantee: any task system...
145
click to vote
SOFSEM
2012
Springer
13 years 10 months ago
2012
Springer
The classical group testing problem asks to determine at most d defective elements in a set of n elements, by queries to subsets that return Yes if the subset contains some defecti...
87
Voted
DATE
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper, we present an innovative methodology to estimate and improve the quality of analog and mixed-signal circuit testing. We first detect and reduce the redundancy in th...