Mutation Coverage Estimation for Model Checking

Cite this paper

@inproceedings{Lee2004MutationCE, title={Mutation Coverage Estimation for Model Checking}, author={Te-Chang Lee and Pao-Ann Hsiung}, booktitle={ATVA}, year={2004} }