A unified framework for evaluating test criteria in model-checking-assisted test case generation

@article{Zeng2014AUF,
  title={A unified framework for evaluating test criteria in model-checking-assisted test case generation},
  author={Bolong Zeng and Li Tan},
  journal={Information Systems Frontiers},
  year={2014},
  volume={16},
  pages={823-834}
}