TY  - RPRT
TI  - Adaptive Testing for Specification Coverage
AU  - Ezio Bartocci
AU  - Roderick Bloem
AU  - Benedikt Maderbacher
AU  - Niveditha Manjunath
AU  - Dejan Ničković
PY  - 2021
UR  - https://arxiv.org/abs/2010.06674
ID  - 2010.06674
ER  -