Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models Preprints uri icon

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

authors

  • Nejati, Shiva
  • Gaaloul, Khouloud
  • Menghi, Claudio
  • Briand, Lionel C
  • Foster, Stephen
  • Wolfe, David

publication date

  • May 9, 2019