@misc{indiciae6b9fb31d01b7,
  title = {Graded CTL Model Checking for Test Generation},
  author = {Margherita Napoli and Mimmo Parente},
  year = {2011},
  url = {https://arxiv.org/abs/1111.2768},
  note = {Source identifier: 1111.2768}
}