4306 search results - page 1 / 862 » Timed Testing with TorX |
FM
2005
Springer
14 years 29 days ago
2005
Springer
TACAS
2010
Springer
13 years 5 months ago
2010
Springer
We introduce JTorX, a tool for model-driven test derivation and execution, based on the ioco theory. This theory, originally presented in [12], has been refined in [13] with test-...
DAGSTUHL
2006
13 years 8 months ago
2006
We show that Kolmogorov complexity and such its estimators as universal codes (or data compression methods) can be applied for hypothesis testing in a framework of classical mathe...
IS
2007
13 years 7 months ago
2007
For the last few years a considerable number of efforts have been devoted into integrating security issues into information systems development practices. This has led to a number...
DFT
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper addresses the problem of test response compaction. In order to maximize compaction ratio, a single-output encoder based on check matrix of a (n, n1, m, 3) convolutional...