DAC
2010
ACM
14 years 7 months ago
2010
ACM
As high-level models in C and SystemC are increasingly used for verification and even design (through high-level synthesis) of electronic systems, there is a growing need for com...
ISSRE
2007
IEEE
14 years 10 months ago
2007
IEEE
The traditional method of software robustness evaluation, through error injection, is for errors to be injected at reaching a specific code location. This paper studies what impa...