A lightweight integration of mutation analysis with the model checker for system safety verification

J. Jayanthi; Manju Nanda; Sameer Nayak

doi:10.1109/SysCon.2013.6549862

A lightweight integration of mutation analysis with the model checker for system safety verification

J. Jayanthi, Manju Nanda, Sameer Nayak

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	SysCon 2013 - 7th Annual IEEE International Systems Conference, Proceedings
Pages	76-81
Number of pages	6
DOIs	https://doi.org/10.1109/SysCon.2013.6549862
Publication status	Published - 30-08-2013
Externally published	Yes
Event	7th Annual IEEE International Systems Conference, SysCon 2013 - Orlando, FL, United States Duration: 15-04-2013 → 18-04-2013

Conference

Conference	7th Annual IEEE International Systems Conference, SysCon 2013
Country/Territory	United States
City	Orlando, FL
Period	15-04-13 → 18-04-13

All Science Journal Classification (ASJC) codes

Control and Systems Engineering

Access to Document

10.1109/SysCon.2013.6549862

Cite this

@inproceedings{14bbc91aa2fa498192997f11376880fa,

title = "A lightweight integration of mutation analysis with the model checker for system safety verification",

abstract = "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.",

author = "J. Jayanthi and Manju Nanda and Sameer Nayak",

year = "2013",

month = aug,

day = "30",

doi = "10.1109/SysCon.2013.6549862",

language = "English",

isbn = "9781467331067",

pages = "76--81",

booktitle = "SysCon 2013 - 7th Annual IEEE International Systems Conference, Proceedings",

note = "7th Annual IEEE International Systems Conference, SysCon 2013 ; Conference date: 15-04-2013 Through 18-04-2013",

}

Jayanthi, J, Nanda, M & Nayak, S 2013, A lightweight integration of mutation analysis with the model checker for system safety verification. in SysCon 2013 - 7th Annual IEEE International Systems Conference, Proceedings., 6549862, pp. 76-81, 7th Annual IEEE International Systems Conference, SysCon 2013, Orlando, FL, United States, 15-04-13. https://doi.org/10.1109/SysCon.2013.6549862

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 - http://www.scopus.com/inward/record.url?scp=84882973875&partnerID=8YFLogxK

UR - http://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

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 -

A lightweight integration of mutation analysis with the model checker for system safety verification

Abstract

Conference

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this