327 search results - page 33 / 66 » Symbolic Fault Injection |
ISSRE
2007
IEEE
13 years 9 months ago
2007
IEEE
During development and testing, changes made to a system to repair a detected fault can often inject a new fault into the code base. These injected faults may not be in the same f...
ASPDAC
2005
ACM
13 years 9 months ago
2005
ACM
Abstract— In this paper we study the testability of circuits derived from Binary Decision Diagrams (BDDs) under the bridging fault model. It is shown that testability can be form...
SIES
2007
IEEE
14 years 1 months ago
2007
IEEE
— In this paper we present an architecture for a test and diagnosis toolset for FlexRay-based automotive distributed networks. Next to data monitoring and recording, this toolset...
DEBS
2010
ACM
13 years 5 months ago
2010
ACM
Providing reliable fault-tolerant sensors is a challenge for distributed systems. The demonstration setup combines three sensors and allows to inject different faults that are rel...
CCS
2010
ACM
13 years 6 months ago
2010
ACM
We present the first sound program transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsafe SQL...