![](bg7.png)
ACKNOWLEDGEMENTS
The work has been funded by Vinnova and Volvo
Cars jointly under the FFI programme (VISEE,
Project No: DIARIENR: 2011-04438).
REFERENCES
Andrews, J. H., Briand, L. C., Labiche, Y., 2005. Is
mutation an appropriate tool for testing experiments?
[software testing], in: Software Engineering, 2005.
ICSE 2005. Proceedings. 27th International
Conference On. pp. 402–411.
Boehm, B., Basili, V. R., 2001. Defect Reduction Top 10
List. Computer 135–137.
Brillout, A., He, N., Mazzucchi, M., Kroening, D.,
Purandare, M., Rümmer, P., Weissenbacher, G., 2010.
Mutation-based test case generation for simulink
models, in: Formal Methods for Components and
Objects. pp. 208–227.
Broy, M., 2006. Challenges in automotive software
engineering, in: Proceedings of the 28th International
Conference on Software Engineering. pp. 33–42.
Charette, R. N., 2009. This Car Runs on Code.
http://spectrum.ieee.org/green-tech/advanced-cars/this-
car-runs-on-code.
DeMillo, R. A., Lipton, R. J., Sayward, F.G., 1978. Hints
on test data selection: Help for the practicing
programmer. Computer 11, 34–41.
Fennel, H., Bunzel, S., Heinecke, H., Bielefeld, Jü, rgen,
Fü, rst, S., Schnelle, K.-P., Grote, W., Maldener, N.,
Weber, T., Wohlgemuth, F., others, 2006.
Achievements and exploitation of the AUTOSAR
development partnership. Convergence 2006, 10.
Hillenbrand, M., Heinz, M., Adler, N., Müller-Glaser,
K.D., Matheis, J., Reichmann, C., 2010. ISO/DIS
26262 in the context of electric and electronic
architecture modeling, in: Architecting Critical
Systems. Springer, pp. 179–192.
Hsueh, M. C., Tsai, T. K., Iyer, R. K., 1997. Fault
injection techniques and tools. Computer 30, 75–82.
ISO 26262 - 2011, 2011. Road vehicles -- Functional
safety -- Part 1-10.
Jia, Y., Harman, M., 2011. An analysis and survey of the
development of mutation testing. Softw. Eng. IEEE
Trans. 37, 649–678.
Jones, E. L., 2001. Integrating testing into the
curriculum—arsenic in small doses, in: ACM SIGCSE
Bulletin. pp. 337–341.
Joshi, A., Heimdahl, M. P. E., 2005. Model-based safety
analysis of simulink models using SCADE design
verifier.
Kakade, R., Murugesan, M., Perugu, B., Nair, M., 2010.
Model-Based Development of Automotive Electronic
Climate Control Software. Model. Found. Appl. 144–
155.
Megen, R., Meyerhoff, D. B., 1995. Costs and benefits of
early defect detection: experiences from developing
client server and host applications. Softw. Qual. J. 4,
247–256.
Mellegård, N., Staron, M., Tö, rner, F., 2012. A light-
weight defect classification scheme for embedded
automotive software and its initial evaluation.
Mellegård, N., Staron, M., Törner, F., 2013. A Light-
Weight Defect Classification Scheme for Embedded
Automotive Software Development.
Offutt, A. J., 1992. Investigations of the software testing
coupling effect. Acm Trans. Softw. Eng. Methodol.
Tosem 1, 5–20.
Plummer, A., 2006. Model-in-the-loop testing. Proc. Inst.
Mech. Eng. Part J. Syst. Control Eng. 220, 183–199.
Rana, R., Staron, M., Berger, C., Hansson, J., Nilsson, M.,
Törner, F., 2013. Improving Fault Injection in
Automotive Model Based Development using Fault
Bypass Modeling. Submitted To: 2nd Workshop on
Software-Based Methods for Robust Embedded
Systems, Informatik 2013, Koblenz, Germany.
Schätz, B., 2010. Certification of Embedded Software–
Impact of ISO DIS 26262 in the Automotive Domain,
in: Leveraging Applications of Formal Methods,
Verification, and Validation. Springer, pp. 3–3.
Svenningsson, R., Vinter, J., Eriksson, H., Törngren, M.,
2010. MODIFI: a MODel-implemented fault injection
tool. Comput. Saf. Reliab. Secur. 210–222.
Vinter, J., Bromander, L., Raistrick, P., Edler, H., n.d.
FISCADE - A Fault Injection Tool for SCADE
Models, in: Automotive Electronics, 2007 3rd
Institution of Engineering and Technology Conference
On. pp. 1–9.
Ziade, H., Ayoubi, R. A., Velazco, R., others, 2004. A
survey on fault injection techniques. Int Arab J Inf
Technol 1, 171–186.
IncreasingEfficiencyofISO26262VerificationandValidationbyCombiningFaultInjectionandMutationTestingwith
ModelbasedDevelopment
257