TY - GEN
T1 - A lightweight integration of mutation analysis with the model checker for system safety verification
AU - Jayanthi, J.
AU - Nanda, Manju
AU - Nayak, Sameer
PY - 2013/8/30
Y1 - 2013/8/30
N2 - Evaluation of the sophisticated safety critical systems is a tedious and time consuming process. This process has been undertaken manually, by experts and individuals, which increase the risk of human errors and ambiguities in understanding. We introduce an approach by integrating the mutation analysis and model checking. The mutation analysis cuts down the possibility of human errors, whereas model checker analyses and verifies the semantics of the safety critical system, thereby reducing both human and semantic errors to a considerable extent.
AB - Evaluation of the sophisticated safety critical systems is a tedious and time consuming process. This process has been undertaken manually, by experts and individuals, which increase the risk of human errors and ambiguities in understanding. We introduce an approach by integrating the mutation analysis and model checking. The mutation analysis cuts down the possibility of human errors, whereas model checker analyses and verifies the semantics of the safety critical system, thereby reducing both human and semantic errors to a considerable extent.
UR - https://www.scopus.com/pages/publications/84882973875
UR - https://www.scopus.com/inward/citedby.url?scp=84882973875&partnerID=8YFLogxK
U2 - 10.1109/SysCon.2013.6549862
DO - 10.1109/SysCon.2013.6549862
M3 - Conference contribution
AN - SCOPUS:84882973875
SN - 9781467331067
T3 - SysCon 2013 - 7th Annual IEEE International Systems Conference, Proceedings
SP - 76
EP - 81
BT - SysCon 2013 - 7th Annual IEEE International Systems Conference, Proceedings
T2 - 7th Annual IEEE International Systems Conference, SysCon 2013
Y2 - 15 April 2013 through 18 April 2013
ER -