Combining Genetic Programming and Model Checking to Generate Environment Assumptions Academic Article uri icon

  •  
  • Overview
  •  
  • Identity
  •  
  • Additional Document Info
  •  
  • View All
  •  

authors

  • Gaaloul, Khouloud
  • Menghi, Claudio
  • Nejati, Shiva
  • Briand, Lionel
  • Isasi Parache, Yago

publication date

  • 2021