@inproceedings{0ac075238151403dab90aff4e96a3e41,
title = "Automated testing of hybrid simulink/stateflow controllers: Industrial case studies",
abstract = "We present the results of applying our approach for testing Simulink controllers to one public and one proprietary model, both industrial. Our approach combines explorative and exploitative search algorithms to visualize the controller behavior over its input space and to identify test scenarios in the controller input space that violate or are likely to violate the controller requirements. The engineers' feedback shows that our approach is easy to use in practice and gives them confidence about the behavior of their models.",
keywords = "Automotive software systems, Matlab/Simulink, Testing",
author = "Reza Matinnejad and Shiva Nejati and Briand, {Lionel C.}",
note = "Publisher Copyright: {\textcopyright} 2017 Association for Computing Machinery.; 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2017 ; Conference date: 04-09-2017 Through 08-09-2017",
year = "2017",
month = aug,
day = "21",
doi = "10.1145/3106237.3117770",
language = "English",
series = "Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering",
publisher = "Association for Computing Machinery",
pages = "938--943",
editor = "Andrea Zisman and Eric Bodden and Wilhelm Schafer and {van Deursen}, Arie",
booktitle = "ESEC/FSE 2017 - Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering",
}