Khouloud Gaaloul and Claudio Menghi and Shiva Nejati and Lionel Briand and Yago Isasi Parache.
Combining Genetic Programming and Model Checking to Generate Environment Assumptions.
IEEE Transactions on Software Engineering, 48(9):3664-3685, 2022.
details
Genetic Programming other entries for Claudio Menghi