6941 search results - page 343 / 1389 » Testing as a Certification Approach |
185
click to vote
CAV
2005
Springer
16 years 7 days ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
175
click to vote
GECCO
2004
Springer
16 years 2 days ago
2004
Springer
The use of Genetic Algorithms in evolution of mutants and test cases offers new possibilities in addressing some of the main problems of mutation testing. Most specifically the p...
185
click to vote
ATS
2003
IEEE
16 years 7 hour ago
2003
IEEE
We present a framework for high-level design validation using an efficient register-transfer level (RTL) automatic test pattern generator (ATPG). The RTL ATPG generates the test ...
149
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We introduce a novel statistical test for unsupervised detection of changepoints in multidimensional sequences of temporal observations. The test statistic is based on a multivari...
184
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
Learning visual models of object categories notoriously requires thousands of training examples; this is due to the diversity and richness of object appearance which requires mode...