11172 search results - page 259 / 2235 » Testing Physical Systems |
148
click to vote
PTS
2010
15 years 5 months ago
2010
This paper addresses the challenge of generating test sets that achieve functional coverage, in the absence of a complete specification. The inductive testing technique works by p...
175
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
We study Vector Addition Systems with States (VASS) extended in such a way that one of the manipulated integer variables can be tested to zero. For this class of system, it has bee...
182
Voted
IEEEARES
2009
IEEE
16 years 1 months ago
2009
IEEE
—The security assessment of the ICT components of critical infrastructures is nowadays a prominent problem. Risk assessment methodologies require, in order to be effective, to be...
160
click to vote
AGILEDC
2007
IEEE
16 years 29 days ago
2007
IEEE
Zorro is a system designed to automatically determine whether a developer is complying with an operational definition of Test-Driven Development (TDD) practices. Automated recogn...
142
click to vote
DFT
2005
IEEE
16 years 7 days ago
2005
IEEE
We propose a novel system-level error tolerance approach specifically targeted for multimedia compression algorithms. In particular we focus on the motion estimation process perf...