TY  - RPRT
TI  - Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models
AU  - Shiva Nejati
AU  - Khouloud Gaaloul
AU  - Claudio Menghi
AU  - Lionel C. Briand
AU  - Stephen Foster
AU  - David Wolfe
PY  - 2019
UR  - https://arxiv.org/abs/1905.03490
ID  - 1905.03490
ER  -