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)

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.

Engineering

INIS

Computer Science