TY  - RPRT
TI  - Combining Genetic Programming and Model Checking to Generate Environment Assumptions
AU  - Khouloud Gaaloul
AU  - Claudio Menghi
AU  - Shiva Nejati
AU  - Lionel C. Briand
AU  - Yago Isasi Parache
PY  - 2021
UR  - https://arxiv.org/abs/2101.01933
ID  - 2101.01933
ER  -