Simulation-based Fault Injection with QEMU for Speeding-up Dependability Analysis of Embedded Software

QEMU, a fast and portable dynamic translator

Fabrice Bellard · USENIX Annual Technical Conference · 2005 · 2K citations

Computing, Computer Science, Computer Systems +14

An Analysis and Survey of the Development of Mutation Testing

Yue Jia, Mark Harman · IEEE Transactions on Software Engineering · 2010 · 1.7K citations

Engineering, Computer Engineering, Fault-tolerant Computing +10

An investigation of the Therac-25 accidents

Nancy G. Leveson, Clark Savage Turner · Computer · 1993 · 1.2K citations · Full text

Engineering, Computer Science, Systems Engineering +17

Fault injection for dependability validation: a methodology and some applications

Jean Arlat, M. Ángeles López Aguera, L. Amat et al. · IEEE Transactions on Software Engineering · 1990 · 557 citations

Computing, Computer Engineering, Computer Science +17

Transition Fault Simulation

J.A. Waicukauski, Eric Lindbloom, Barry K. Rosen et al. · IEEE Design & Test of Computers · 1987 · 402 citations

Engineering, Computer Engineering, Electrical Engineering +16