1241 search results - page 53 / 249 » Path-oriented random testing |
103
Voted
ICASSP
2009
IEEE
15 years 9 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...
DATE
2007
IEEE
15 years 8 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 ...
133
click to vote
SMC
2010
IEEE
15 years 21 days 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...
125
click to vote
VLSID
2007
IEEE
16 years 2 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...
107
click to vote
FATES
2004
Springer
15 years 7 months 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 ...