Ashish Darbari, Bashir M. Al-Hashimi, Peter Harrod, Daryl Bradley. A New Approach for Transient Fault Injection Using Symbolic Simulation. In 14th IEEE International On-Line Testing Symposium (IOLTS 2008), 7-9 July 2008, Rhodes, Greece. pages 93-98, IEEE, 2008. [doi]
Abstract is missing.