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

J. Jayanthi Manju Nanda Sameer Nayak

Published in: SysCon (2013)

Keyphrases

lightweight
model checking
model checker
formal verification
image analysis
formal methods
data analysis
genetic algorithm
communication infrastructure
wireless sensor networks
computational intelligence
building blocks