@misc{indiciae7fa10d3b13d5,
  title = {Combining Genetic Programming and Model Checking to Generate Environment Assumptions},
  author = {Khouloud Gaaloul and Claudio Menghi and Shiva Nejati and Lionel C. Briand and Yago Isasi Parache},
  year = {2021},
  url = {https://arxiv.org/abs/2101.01933},
  note = {Source identifier: 2101.01933}
}