Combining Genetic Programming and Model Checking to Generate Environment Assumptions

Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache. Combining Genetic Programming and Model Checking to Generate Environment Assumptions. IEEE Trans. Software Eng., 48(9):3664-3685, 2022. [doi]

No reviews for this publication, yet.