@inproceedings{81e70c9d09a042a8891f34160f0b24cf,
title = "Research and improvements on mutation operators for Simulink models",
abstract = "In order to test the Simulink models, this paper focused on the model-based testing for Simulink based on mutation testing. Considering the situation that the present model-based test adequacy criteria are imperfect, we propose a mutation testing process for Simulink models. Based on studying the application of mutation testing technique to Simulink models, some improvements on mutation operators for Simulink models are presented. The experimentation results verified the effectiveness and correctness.",
keywords = "Mutation operator, Program mutation, Simulink model testing, Software testing",
author = "Yin, \{Yong Feng\} and Zhou, \{Yi Bin\} and Wang, \{Yan Rong\}",
note = "Publisher Copyright: {\textcopyright} (2014) Trans Tech Publications, Switzerland.; 2014 International Conference on Manufacturing Technology and Electronics Applications, ICMTEA 2014 ; Conference date: 08-11-2014 Through 09-11-2014",
year = "2014",
doi = "10.4028/www.scientific.net/AMM.687-691.1389",
language = "英语",
series = "Applied Mechanics and Materials",
publisher = "Trans Tech Publications Ltd",
pages = "1389--1393",
editor = "Zhang Lin and Hongying Hu and Yajun Zhang and Jianguo Qiao and Jiamin Xu",
booktitle = "Manufacturing Technology, Electronics, Computer and Information Technology Applications",
address = "瑞士",
}