184 search results - page 11 / 37 » Towards Statistical Control of an Industrial Test Process |
PTS
2007
13 years 9 months ago
2007
The interrelationship between software faults and failures is quite intricate and obtaining a meaningful characterization of it would definitely help the testing community in decid...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— We aim at developing autonomous microflyers capable of navigating within houses or small built environments. The severe weight and energy constraints of indoor flying...
ET
2002
13 years 7 months ago
2002
As System on a Chip (SoC) testing faces new challenges, some new test architectures must be developed. This paper describes a Test Access Mechanism (TAM) named CASBUS that solves ...
ICCAD
2009
IEEE
13 years 5 months ago
2009
IEEE
In this paper, we propose a new technique, referred to as virtual probe (VP), to efficiently measure, characterize and monitor both inter-die and spatially-correlated intra-die va...
TAP
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...