Evaluating model testing and model checking for finding requirements violations in Simulink models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel C. Briand, Stephen Foster, David Wolfe. Evaluating model testing and model checking for finding requirements violations in Simulink models. In Marlon Dumas, Dietmar Pfahl, Sven Apel, Alessandra Russo, editors, Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019. pages 1015-1025, ACM, 2019. [doi]

This author has not been identified. Look up 'Shiva Nejati' in GoogleThis author has not been identified. Look up 'Khouloud Gaaloul' in GoogleThis author has not been identified. Look up 'Claudio Menghi' in GoogleThis author has not been identified. It may be one of the following persons:

Lionel C. Briand

Look up 'Lionel C. Briand' in GoogleThis author has not been identified. Look up 'Stephen Foster' in GoogleThis author has not been identified. Look up 'David Wolfe' in Google

runs on WebDSL