@misc{indiciae67c76d085c57,
  title = {Adaptive Testing for Specification Coverage},
  author = {Ezio Bartocci and Roderick Bloem and Benedikt Maderbacher and Niveditha Manjunath and Dejan Ničković},
  year = {2021},
  url = {https://arxiv.org/abs/2010.06674},
  note = {Source identifier: 2010.06674}
}