J. C. Munson, A. P. Nikora, and J. S. Sherif, Software faults: A quantifiable definition, Advances in Engineering Software, vol.37, issue.5, pp.327-333, 2006.
DOI : 10.1016/j.advengsoft.2005.07.003

J. Park, H. Kim, J. Shin, and J. Baik, An Embedded Software Reliability Model with Consideration of Hardware Related Software Failures, 2012 IEEE Sixth International Conference on Software Security and Reliability
DOI : 10.1109/SERE.2012.10

R. K. Iyer and P. Velardi, Hardware-Related Software Errors: Measurement and Analysis, IEEE Transactions on Software Engineering, vol.11, issue.2, pp.223-231, 1985.
DOI : 10.1109/TSE.1985.232198

D. Tang and R. Iyer, Analysis of the VAX/VMS error logs in multicomputer environments-a case study of software dependability, [1992] Proceedings Third International Symposium on Software Reliability Engineering, pp.216-226, 1992.
DOI : 10.1109/ISSRE.1992.285886

M. Blackburn, R. Busser, A. Nauman, R. Knickerbocker, and R. Kasuda, Mars polar lander fault identification using modelbased testing, Proceedings of the 26th Annual NASA Goddard Software Engineering Workshop, ser. SEW '01, p.128, 2001.

Y. Jia and M. Harman, An Analysis and Survey of the Development of Mutation Testing, IEEE Transactions on Software Engineering, vol.37, issue.5, pp.649-678, 2011.
DOI : 10.1109/TSE.2010.62

S. A. Khan and A. Nadeem, A tool for data flow testing using evolutionary approaches (ETODF), 2013 IEEE 9th International Conference on Emerging Technologies (ICET), pp.1-6, 2013.
DOI : 10.1109/ICET.2013.6743535

J. Badlaney, R. Ghatol, and R. Jadhwani, An introduction to data-flow testing, 2006.

M. Kooli and G. D. Natale, A survey on simulation-based fault injection tools for complex systems, 2014 9th IEEE International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS), pp.1-6, 2014.
DOI : 10.1109/DTIS.2014.6850649

W. D. Van-driel, M. Schuld, R. Wijgers, and W. E. Van-kooten, Software reliability and its interaction with hardware reliability, " in Thermal, mechanical and multi-physics simulation and experiments in microelectronics and microsystems (eurosime), pp.1-8, 2014.

Y. Serrestou, V. Beroulle, and C. Robach, Functional Verification of RTL Designs driven by Mutation Testing metrics, 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007), pp.222-227, 2007.
DOI : 10.1109/DSD.2007.4341472

URL : https://hal.archives-ouvertes.fr/hal-00254470

G. A. Hayek and C. Robach, From specification validation to hardware testing: A unified method, Proceedings of the IEEE International Test Conference on Test and Design Validity, pp.885-893, 1996.

A. J. Offutt, R. H. Untch, E. Wong, . Norwell, and . Ma, Mutation testing for the new century, pp.34-44, 2000.

M. E. Khan, Different approaches to white box testing technique for finding errors, International Journal of Software Engineering and Its Applications, vol.5, issue.3, 2011.

G. Denaro, M. Pezzãípezzãí, and M. Vivanti, On the right objectives of data flow testing Verification, and Validation, ser. ICST '14, Proceedings of the 2014 IEEE International Conference on Software Testing, pp.71-80, 2014.

B. Huang, X. Li, M. Li, J. Bernstein, C. Smidts et al., Study of the impact of hardware fault on software reliability A survey on fault injection techniques, Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering, ser. ISSRE '05, pp.63-72, 2004.

M. Kooli, P. Benoit, G. D. Natale, L. Torres, and V. Sieh, Fault injection tools based on Virtual Machines, 2014 9th International Symposium on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC), pp.1-6, 2014.
DOI : 10.1109/ReCoSoC.2014.6861351

S. K. Hari, S. V. Adve, H. Naeimi, and P. Ramachandran, Relyzer: Exploiting application-level fault equivalence to analyze application resiliency to transient faults, SIGPLAN Not, vol.47, issue.4, pp.123-134, 2012.