1241 search results - page 53 / 249 » Path-oriented random testing |
174
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we propose a nonparametric hypothesis test for stationarity based on local Fourier analysis. We employ a test statistic that measures the variation of time-localized...
156
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Test generation procedures attempt to assign values to the inputs of a circuit so as to detect target faults. We study a complementary view whereby the goal is to identify values ...
214
click to vote
SMC
2010
IEEE
15 years 5 months ago
2010
IEEE
—This study examines the ability of nonnegative matrix factorization (NMF) as a method for constructing semantic spaces, in which the meaning of each word is represented by a hig...
182
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
We introduce a novel method of test generation for microprocessors at the RTL using spectral methods. Test vectors are generated for RTL faults, which are the stuck-at faults on i...
169
click to vote
FATES
2004
Springer
16 years 12 days ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...