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
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
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
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
Mars polar lander fault identification using modelbased testing, Proceedings of the 26th Annual NASA Goddard Software Engineering Workshop, ser. SEW '01, p.128, 2001. ,
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
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
An introduction to data-flow testing, 2006. ,
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
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. ,
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
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. ,
Mutation testing for the new century, pp.34-44, 2000. ,
Different approaches to white box testing technique for finding errors, International Journal of Software Engineering and Its Applications, vol.5, issue.3, 2011. ,
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. ,
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. ,
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
Relyzer: Exploiting application-level fault equivalence to analyze application resiliency to transient faults, SIGPLAN Not, vol.47, issue.4, pp.123-134, 2012. ,