{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T09:14:57Z","timestamp":1758705297563},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642397417"},{"type":"electronic","value":"9783642397424"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39742-4_12","type":"book-chapter","created":{"date-parts":[[2013,8,16]],"date-time":"2013-08-16T11:32:08Z","timestamp":1376652728000},"page":"141-157","source":"Crossref","is-referenced-by-count":20,"title":["Automated Model-in-the-Loop Testing of Continuous Controllers Using Search"],"prefix":"10.1007","author":[{"given":"Reza","family":"Matinnejad","sequence":"first","affiliation":[]},{"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[]},{"given":"Lionel","family":"Briand","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Bruckmann","sequence":"additional","affiliation":[]},{"given":"Claude","family":"Poull","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Skruch, P., Panel, M., Kowalczyk, B.: Model-Based Testing in Embedded Automotive Systems, 1st edn. CRC Press (2011)","key":"12_CR1","DOI":"10.1201\/b11321-20"},{"unstructured":"Nise, N.S.: Control Systems Engineering, 4th edn. John-Wiely Sons (2004)","key":"12_CR2"},{"unstructured":"Lee, E., Seshia, S.: Introduction to Embedded Systems: A Cyber-Physical Systems Approach (2010), \n                    \n                      http:\/\/leeseshia.org","key":"12_CR3"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11813040_1","volume-title":"FM 2006: Formal Methods","author":"T. Henzinger","year":"2006","unstructured":"Henzinger, T., Sifakis, J.: The embedded systems design challenge. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 1\u201315. Springer, Heidelberg (2006)"},{"doi-asserted-by":"crossref","unstructured":"Pretschner, A., Broy, M., Kr\u00fcger, I., Stauner, T.: Software engineering for automotive systems: A roadmap. In: FOSE, pp. 55\u201371 (2007)","key":"12_CR5","DOI":"10.1109\/FOSE.2007.22"},{"unstructured":"Henzinger, T.: The theory of hybrid automata. In: LICS, pp. 278\u2013292 (1996)","key":"12_CR6"},{"issue":"3","key":"12_CR7","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1023\/B:FORM.0000026091.03793.cf","volume":"24","author":"T. Stauner","year":"2004","unstructured":"Stauner, T.: Properties of hybrid systems-a computer science perspective. Formal Methods in System Design\u00a024(3), 223\u2013259 (2004)","journal-title":"Formal Methods in System Design"},{"unstructured":"Inc., T.M.: Simulink, \n                    \n                      http:\/\/www.mathworks.nl\/products\/simulink","key":"12_CR8"},{"unstructured":"Inc. Reactive Systems, \n                    \n                      http:\/\/www.reactive-systems.com\/simulink-testing-validation.html","key":"12_CR9"},{"unstructured":"Luke, S.: Essentials of Metaheuristics. Lulu (2009), \n                    \n                      http:\/\/cs.gmu.edu\/~sean\/book\/metaheuristics\/","key":"12_CR10"},{"unstructured":"Grinstein, G., Trutschl, M., Cvek, U.: High-dimensional visualizations. In: 7th Workshop on Data Mining Conference KDD Workshop, pp. 7\u201319 (2001)","key":"12_CR11"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/3-540-48683-6_3","volume-title":"Computer Aided Verification","author":"R. Alur","year":"1999","unstructured":"Alur, R.: Timed automata. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 8\u201322. Springer, Heidelberg (1999)"},{"unstructured":"Sahbani, A., Pascal, J.: Simulation of hyibrd systems using stateflow. In: ESM, pp. 271\u2013275 (2000)","key":"12_CR13"},{"unstructured":"Neto, A.C.D., Subramanyan, R., Vieira, M., Travassos, G.H.: A survey on model-based testing approaches: A systematic review. In: ASE, pp. 31\u201336 (2007)","key":"12_CR14"},{"doi-asserted-by":"crossref","unstructured":"Iqbal, M.Z., Arcuri, A., Briand, L.: Combining search-based and adaptive random testing strategies for environment model-based testing of real-time embedded systems. In: SBSE (2012)","key":"12_CR15","DOI":"10.1007\/978-3-642-33119-0_11"},{"doi-asserted-by":"crossref","unstructured":"Zander-Nowicka, J.: Model-based Testing of Real-Time Embedded Systems in the Automotive Domain. PhD thesis, Elektrotechnik und Informatik der Technischen Universitat, Berlin (2009)","key":"12_CR16","DOI":"10.4018\/978-1-60566-750-8.ch015"}],"container-title":["Lecture Notes in Computer Science","Search Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39742-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T17:42:12Z","timestamp":1558028532000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39742-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642397417","9783642397424"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39742-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}