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 proceedingConference 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 languageEnglish
Title of host publicationSysCon 2013 - 7th Annual IEEE International Systems Conference, Proceedings
Pages76-81
Number of pages6
DOIs
Publication statusPublished - 30-08-2013
Externally publishedYes
Event7th Annual IEEE International Systems Conference, SysCon 2013 - Orlando, FL, United States
Duration: 15-04-201318-04-2013

Conference

Conference7th Annual IEEE International Systems Conference, SysCon 2013
CountryUnited States
CityOrlando, FL
Period15-04-1318-04-13

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering

Fingerprint Dive into the research topics of 'A lightweight integration of mutation analysis with the model checker for system safety verification'. Together they form a unique fingerprint.

Cite this