Accelerating Coverage Estimation Through Partial Model Checking

@article{Chen2014AcceleratingCE,
  title={Accelerating Coverage Estimation Through Partial Model Checking},
  author={Yean-Ru Chen and Jia-Jen Yeh and Pao-Ann Hsiung and Sao-Jie Chen},
  journal={IEEE Transactions on Computers},
  year={2014},
  volume={63},
  pages={1613-1625}
}
In model checking a system design against a set of properties, coverage estimation is frequently used to measure the amount of system behavior being checked by the properties. A popular coverage estimation method is to mutate the system model and check if the mutation can be detected by the given properties. For each mutation and each property, a full model check is required by some state-of-the-art coverage estimation methods. With such repeated model checking, mutation-based coverage… CONTINUE READING