Sciweavers

327 search results - page 51 / 66
» Symbolic Fault Injection
Sort
View
FMCO
2006
Springer
123views Formal Methods» more  FMCO 2006»
13 years 11 months ago
Exhaustive Testing of Exception Handlers with Enforcer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initi...
Cyrille Artho, Armin Biere, Shinichi Honiden
DFT
2009
IEEE
139views VLSI» more  DFT 2009»
13 years 11 months ago
Reduced Precision Checking for a Floating Point Adder
We present an error detection technique for a floating point adder which uses a checker adder of reduced precision to determine if the result is correct within some error bound. O...
Patrick J. Eibl, Andrew D. Cook, Daniel J. Sorin
SCAI
2008
13 years 9 months ago
Troubleshooting when Action Costs are Dependent with Application to a Truck Engine
We propose a troubleshooting algorithm that can troubleshoot systems with dependent action costs. When actions are performed they may change the way the system is decomposed and af...
Håkan Warnquist, Mattias Nyberg, Petter S&au...
RECOSOC
2007
160views Hardware» more  RECOSOC 2007»
13 years 9 months ago
Stack processor architecture and development methods suitable for dependable applications
Nowadays, reconfigurable and multiprocessor systems are becoming increasingly attractive for many applications. Such systems should be more and more dependable especially if error...
Mehdi Jallouli, Camille Diou, Fabrice Monteiro
INFSOF
2007
148views more  INFSOF 2007»
13 years 7 months ago
Mutating database queries
A set of mutation operators for SQL queries that retrieve information from a database is developed and tested against a set of queries drawn from the NIST SQL Conformance Test Sui...
Javier Tuya, María José Suáre...