Evaluating model testing and model checking for finding requirements violations in Simulink models Conferences

Overview
Research
Identity
Additional Document Info
View All

authors

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

status

published

publication date

August 12, 2019

published in

Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering Journal

presented at event

ESEC/FSE '19: 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering Conference