TY  - RPRT
TI  - Graded CTL Model Checking for Test Generation
AU  - Margherita Napoli
AU  - Mimmo Parente
PY  - 2011
UR  - https://arxiv.org/abs/1111.2768
ID  - 1111.2768
ER  -