Shiva Nejati is qualified to endorse.
Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models
| Shiva Nejati: | Is registered as an author of this paper. Can endorse for cs.SE. (why?) |
Khouloud Gaaloul, Claudio Menghi, Lionel C. Briand, Stephen Foster and David Wolfe are not registered as owners of this paper. (why?)