Author:
Ferraretto Davide,Pravadelli Graziano
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering
Reference44 articles.
1. Abramovici M, Breuer MA, Friedman AD (1994) Digital systems testing and testable design. Wiley-IEEE Press, pp 1–672
2. Arlat J, Aguera M, Amat L, Crouzet Y, Fabre J, Laprie J, Martins E, Powell D (1990) Fault injection for dependability validation: a methodology and some applications. IEEE Trans Softw Eng 16(2):166–182
3. Becker M, Baldin D, Kuznik C, Joy MM, Xie T, Mueller W (2012) Xemu: An efficient qemu based binary mutation testing framework for embedded software. In: Proceedings of ACM EMSOFT, pp 33–42
4. Bell R (2006) Introduction to iec 61508. In: Proceedings of SCS, SCS ’05, pp 3–12
5. Bellard F (2005) QEMU, a fast and portable dynamic translator. In: Proceedings of USENIX ATEC
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献