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

Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel C Briand, Stephen Foster, David Wolfe
January 2019
Type
Conference paper
Publication
Foundations of Software Engineering