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

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Nejati, Shiva; gaaloul, Khouloud; Menghi, Claudio; Briand, Lionel; Foster, Stephen; Wolfe, David

Journal title: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

Journal number: 27

Journal publisher: ACM

Published year: 2019

Published pages: 1015-1025