Toggle navigation
Home
People
Departments
Research
About
Login
Search
Combining Genetic Programming and Model Checking to Generate Environment Assumptions
Preprints
Overview
Research
Identity
View All
Overview
authors
Gaaloul, Khouloud
Menghi, Claudio
Nejati, Shiva
Briand, Lionel C
Parache, Yago Isasi
publication date
January 6, 2021
Research
keywords
46 Information and Computing Sciences
4612 Software Engineering
Identity
Digital Object Identifier (DOI)
10.48550/arxiv.2101.01933