Accelerating Coverage Estimation Through Partial Model Checking

  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},
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