{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T17:59:40Z","timestamp":1778349580349,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,8,21]],"date-time":"2017-08-21T00:00:00Z","timestamp":1503273600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,8,21]]},"DOI":"10.1145\/3106237.3117770","type":"proceedings-article","created":{"date-parts":[[2017,8,2]],"date-time":"2017-08-02T19:36:18Z","timestamp":1501702578000},"page":"938-943","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["Automated testing of hybrid Simulink\/Stateflow controllers: industrial case studies"],"prefix":"10.1145","author":[{"given":"Reza","family":"Matinnejad","sequence":"first","affiliation":[{"name":"University of Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,8,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465787.2465797"},{"key":"e_1_3_2_1_2_1","volume-title":"High-Dimensional Visualizations. In 7th Workshop on Data Mining Conference KDD Workshop. 7\u201319","author":"Grinstein G.","unstructured":"G. Grinstein , M. Trutschl , and U. Cvek . 2001 . High-Dimensional Visualizations. In 7th Workshop on Data Mining Conference KDD Workshop. 7\u201319 . G. Grinstein, M. Trutschl, and U. Cvek. 2001. High-Dimensional Visualizations. In 7th Workshop on Data Mining Conference KDD Workshop. 7\u201319."},{"key":"e_1_3_2_1_3_1","volume-title":"Essentials of Metaheuristics","author":"Luke S.","unstructured":"S. Luke . 2013. Essentials of Metaheuristics ( second ed.). Lulu. Available for free at http:\/\/cs.gmu.edu\/~sean\/book\/metaheuristics\/. S. Luke. 2013. Essentials of Metaheuristics (second ed.). Lulu. Available for free at http:\/\/cs.gmu.edu\/~sean\/book\/metaheuristics\/."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642978"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786818"},{"key":"e_1_3_2_1_6_1","first-page":"705","article-title":"Searchbased automated testing of continuous controllers: Framework, tool support, and case studies","volume":"57","author":"Matinnejad R.","year":"2015","unstructured":"R. Matinnejad , S. Nejati , L. Briand , T. Bruckmann , and C. Poull . 2015 . Searchbased automated testing of continuous controllers: Framework, tool support, and case studies . IST Journal 57 (2015), 705 \u2013 722 . R. Matinnejad, S. Nejati, L. Briand, T. Bruckmann, and C. Poull. 2015. Searchbased automated testing of continuous controllers: Framework, tool support, and case studies. IST Journal 57 (2015), 705\u2013722.","journal-title":"IST Journal"},{"key":"e_1_3_2_1_7_1","volume-title":"Control Systems Engineering","author":"Nise N. S.","unstructured":"N. S. Nise . 2004. Control Systems Engineering ( 4 th ed.). John-Wiely Sons . N. S. Nise. 2004. Control Systems Engineering (4th ed.). John-Wiely Sons.","edition":"4"},{"key":"e_1_3_2_1_8_1","unstructured":"T. Strathmann and J. Oehlerking. 2015. Electro-Mechanical Braking (EMB) system. http:\/\/cps-vo.org\/node\/20289. (2015).  T. Strathmann and J. Oehlerking. 2015. Electro-Mechanical Braking (EMB) system. http:\/\/cps-vo.org\/node\/20289. (2015)."},{"key":"e_1_3_2_1_9_1","volume-title":"1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems. 49\u201356","author":"Strathmann T.","unstructured":"T. Strathmann and J. Oehlerking . 2015. Verifying Properties of an Electro-Mechanical Braking System . In 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems. 49\u201356 . T. Strathmann and J. Oehlerking. 2015. Verifying Properties of an Electro-Mechanical Braking System. In 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems. 49\u201356."},{"key":"e_1_3_2_1_10_1","unstructured":"The MathWorks Inc. 2017. Simulink. http:\/\/www.mathworks.nl\/products\/simulink. (2017).  The MathWorks Inc. 2017. Simulink. http:\/\/www.mathworks.nl\/products\/simulink. (2017)."},{"key":"e_1_3_2_1_11_1","volume-title":"Data Mining: Practical Machine Learning Tools and Techniques","author":"Witten I.","year":"2011","unstructured":"I. Witten , E. Frank , and M. Hall . 2011 . Data Mining: Practical Machine Learning Tools and Techniques . Elsevier . Abstract 1 Introduction 2 Motivating Example 3 Approach 3.1 Specification 3.2 Exploration and Exploitation 4 Results 5 Conclusion References I. Witten, E. Frank, and M. Hall. 2011. Data Mining: Practical Machine Learning Tools and Techniques. Elsevier. Abstract 1 Introduction 2 Motivating Example 3 Approach 3.1 Specification 3.2 Exploration and Exploitation 4 Results 5 Conclusion References"}],"event":{"name":"ESEC\/FSE'17: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","location":"Paderborn Germany","acronym":"ESEC\/FSE'17","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3106237.3117770","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3106237.3117770","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:17Z","timestamp":1750217417000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3106237.3117770"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,21]]},"references-count":11,"alternative-id":["10.1145\/3106237.3117770","10.1145\/3106237"],"URL":"https:\/\/doi.org\/10.1145\/3106237.3117770","relation":{},"subject":[],"published":{"date-parts":[[2017,8,21]]},"assertion":[{"value":"2017-08-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}