@misc{indiciae1d5e268ec165,
  title = {Coverage Explorer: Coverage-guided Test Generation for Cyber Physical Systems},
  author = {Sanaz Sheikhi and Stanley Bak},
  year = {2023},
  url = {https://arxiv.org/abs/2312.02313},
  note = {Source identifier: 2312.02313}
}