@misc{indiciaeb9f8eedf086e,
  title = {Test4Enforcers: Test Case Generation for Software Enforcers},
  author = {Michell Guzman and Oliviero Riganelli and Daniela Micucci and Leonardo Mariani},
  year = {2020},
  doi = {10.1007/978-3-030-60508-7\_15},
  url = {https://arxiv.org/abs/2010.04258},
  note = {Source identifier: 2010.04258}
}