@inproceedings{28ce5f89f00247b8ad5c43e7c0fdb1fb,
title = "Mutation analysis of stateflow to improve the modelling analysis",
abstract = "Formal methods possess great analyzing capability that has led to an increasing use by engineers in the development and verification-validation life-cycle of hardware and software critical systems. Mutation Analysis has been very effective in model design and safety analysis. In this paper primary idea is to integrate the mutation analysis of stateflow to the Integrated Mutation Analysis Tool. This enhanced property of the IMAT tool after integration will be able to analyze the functionalities of stateflow models of the highly critical systems. The effectiveness of the Stateflow mutation analysis can be validated using the case-study of Autopilot Mode Transition Logic.",
author = "Prachi Goyal and Manju Nanda and J. Jayanthi",
note = "Publisher Copyright: {\textcopyright} Springer Nature Singapore Pte Ltd. 2017.; 1st International Conference on Advances in Computing and Data Sciences, ICACDS 2016 ; Conference date: 11-11-2016 Through 12-11-2016",
year = "2017",
month = jan,
day = "1",
doi = "10.1007/978-981-10-5427-3\_19",
language = "English",
isbn = "9789811054266",
series = "Communications in Computer and Information Science",
publisher = "Springer Verlag",
pages = "173--182",
editor = "Vipin Tyagi and William Grosky and \{Gupta \}, P.K. and Tuncer Oren and Mayank Singh and Arun Sharma",
booktitle = "Advances in Computing and Data Sciences - 1st International Conference, ICACDS 2016, Revised Selected Papers",
address = "Germany",
}