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

  •  
  • Overview
  •  
  • Research
  •  
  • Identity
  •  
  • View All
  •  

authors

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

publication date

  • January 6, 2021