{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:13:10Z","timestamp":1761581590112},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319665825"},{"type":"electronic","value":"9783319665832"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66583-2_9","type":"book-chapter","created":{"date-parts":[[2017,8,12]],"date-time":"2017-08-12T02:02:48Z","timestamp":1502503368000},"page":"135-151","source":"Crossref","is-referenced-by-count":26,"title":["Learning-Based Testing of Cyber-Physical Systems-of-Systems: A Platooning Study"],"prefix":"10.1007","author":[{"given":"Karl","family":"Meinke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,13]]},"reference":[{"issue":"3","key":"9_CR1","first-page":"98","volume":"12","author":"M Aki","year":"2014","unstructured":"Aki, M., Zheng, R., Yamabe, S., Nakano, K., Suda, Y., Suzuki, Y., Ishizaka, H., Kawashima, H., Sakuma, A.: Safety testing of an improved brake system for automatic platooning of trucks. Int. J. Intell. Transp. Syst. Res. 12(3), 98\u2013109 (2014)","journal-title":"Int. J. Intell. Transp. Syst. Res."},{"issue":"2","key":"9_CR2","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87\u2013106 (1987)","journal-title":"Inf. Comput."},{"issue":"4","key":"9_CR3","first-page":"161","volume":"6","author":"A Bennaceur","year":"2016","unstructured":"Bennaceur, A., Giannakopoulou, D., H\u00e4hnle, R., Meinke, K.: Machine learning for dynamic software analysis: potentials and limits (Dagstuhl seminar 16172). Dagstuhl Rep. 6(4), 161\u2013173 (2016)","journal-title":"Dagstuhl Rep."},{"key":"9_CR4","unstructured":"Bergenhem, C., Shladover, S., Coelingh, E., Englund, C., Shladover, S., Tsugawa, S.: Overview of platooning systems. In: Proceedings of the 19th ITS World Congress, Vienna, October 2012"},{"key":"9_CR5","unstructured":"van den Bleek, R.: Design of a hybrid adaptive cruise control stop-&-go system. Master\u2019s thesis, Technische Universiteit Eindhoven, Department of Mechanical Engineering (2007)"},{"issue":"2","key":"9_CR6","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s00165-016-0355-5","volume":"28","author":"S Cassel","year":"2016","unstructured":"Cassel, S., Howar, F., Jonsson, B., Steffen, B.: Active learning for extended finite state machines. Form. Asp. Comput. 28(2), 233\u2013263 (2016)","journal-title":"Form. Asp. Comput."},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A Cimatti","year":"2002","unstructured":"Cimatti, A., et al.: NuSMV 2: an opensource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359\u2013364. Springer, Heidelberg (2002). doi: 10.1007\/3-540-45657-0_29"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-642-03240-0_11","volume-title":"Formal Methods for Industrial Critical Systems","author":"S Colin","year":"2009","unstructured":"Colin, S., Lanoix, A., Kouchnarenko, O., Souqui\u00e8res, J.: Using CSP $$||$$ B components: application to a platoon of vehicles. In: Cofer, D., Fantechi, A. (eds.) FMICS 2008. LNCS, vol. 5596, pp. 103\u2013118. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-03240-0_11"},{"issue":"3","key":"9_CR9","first-page":"119","volume":"10","author":"M El-Zaher","year":"2012","unstructured":"El-Zaher, M., Contet, J., Gruer, P., Gechter, F., Koukam, A.: Compositional verification for reactive multi-agent systems applied to platoon non collision verification. Stud. Inform. Univ. 10(3), 119\u2013141 (2012)","journal-title":"Stud. Inform. Univ."},{"key":"9_CR10","doi-asserted-by":"crossref","DOI":"10.1142\/p1031","volume-title":"A Mathematical Introduction to Control Theory","author":"S Engelberg","year":"2015","unstructured":"Engelberg, S.: A Mathematical Introduction to Control Theory. Imperial College Press, London (2015)"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-642-41707-8_11","volume-title":"Testing Software and Systems","author":"L Feng","year":"2013","unstructured":"Feng, L., Lundmark, S., Meinke, K., Niu, F., Sindhu, M.A., Wong, P.Y.H.: Case studies in learning-based testing. In: Yenig\u00fcn, H., Yilmaz, C., Ulrich, A. (eds.) ICTSS 2013. LNCS, vol. 8254, pp. 164\u2013179. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-41707-8_11"},{"key":"9_CR12","doi-asserted-by":"crossref","DOI":"10.1002\/9781119991472","volume-title":"An Introduction to Practical Formal Methods Using Temporal Logic","author":"M Fisher","year":"2011","unstructured":"Fisher, M.: An Introduction to Practical Formal Methods Using Temporal Logic. Wiley, Hoboken (2011)"},{"key":"9_CR13","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139194655","volume-title":"Grammatical Inference: Learning Automata and Grammars","author":"C Higuera De la","year":"2010","unstructured":"De la Higuera, C.: Grammatical Inference: Learning Automata and Grammars. Cambridge University Press, Cambridge (2010)"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Hossen, K., Groz, R., Oriat, C., Richier, J.: Automatic model inference of web applications for security testing. In: Seventh IEEE International Conference on Software Testing, Verification and Validation, ICST 2014 Workshops Proceedings, pp. 22\u201323 (2014)","DOI":"10.1109\/ICSTW.2014.47"},{"key":"9_CR15","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/978-3-642-34781-8_18","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"F Howar","year":"2012","unstructured":"Howar, F., Bauer, O., Merten, M., Steffen, B., Margaria, T.: The teachers\u2019 crowd: the impact of distributed oracles on active automata learning. In: H\u00e4hnle, R., Knoop, J., Margaria, T., Schreiner, D., Steffen, B. (eds.) ISoLA 2011. CCIS, pp. 232\u2013247. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-34781-8_18"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-319-11164-3_26","volume-title":"Runtime Verification","author":"M Isberner","year":"2014","unstructured":"Isberner, M., Howar, F., Steffen, B.: The TTT algorithm: a redundancy-free approach to active automata learning. In: Bonakdarpour, B., Smolka, S.A. (eds.) RV 2014. LNCS, vol. 8734, pp. 307\u2013322. Springer, Cham (2014). doi: 10.1007\/978-3-319-11164-3_26"},{"key":"9_CR17","unstructured":"Jorgensen, P.C.: Software testing (2008)"},{"key":"9_CR18","unstructured":"Kamali, M., Dennis, L.A., McAree, O., Fisher, M., Veres, S.M.: Formal verification of autonomous vehicle platooning. CoRR abs\/1602.01718 (2016)"},{"key":"9_CR19","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3897.001.0001","volume-title":"An Introduction to Computational Learning Theory","author":"M Kearns","year":"1994","unstructured":"Kearns, M., Vazirani, U.: An Introduction to Computational Learning Theory. MIT Press, Cambridge (1994)"},{"key":"9_CR20","unstructured":"Khosrowjerdi, H., Meinke, K., Rasmusson, A.: Automated behavioral requirements testing for automotive ECU applications. In: Proceedings of the 5th International Workshop on Model Based Safety Analysis. In: IMBSA 2017. LNCS. Springer (2017, to appear)"},{"key":"9_CR21","unstructured":"Meinke, K.: Recent progress in learning-based testing. In: Bennaceur, A., H\u00e4hnle, R., Meinke, K. (eds.) Machine Learning for Dynamic Software Analysis: Potentials and Limits: Proceedings of Dagstuhl Workshop, vol. 16172. Springer (2017, to appear)"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Meinke, K., Niu, F.: An incremental learning algorithm for hybrid automata (2013)","DOI":"10.1007\/978-3-642-34026-0_36"},{"key":"9_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-642-21768-5_11","volume-title":"Tests and Proofs","author":"K Meinke","year":"2011","unstructured":"Meinke, K., Sindhu, M.A.: Incremental learning-based testing for reactive systems. In: Gogolla, M., Wolff, B. (eds.) TAP 2011. LNCS, vol. 6706, pp. 134\u2013151. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-21768-5_11"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Meinke, K.: Automated black-box testing of functional correctness using function approximation. In: Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2004), pp. 143\u2013153. ACM Press (2004)","DOI":"10.1145\/1007512.1007532"},{"key":"9_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-662-49224-6_1","volume-title":"Software Engineering and Formal Methods","author":"K Meinke","year":"2015","unstructured":"Meinke, K., Nycander, P.: Learning-based testing of distributed microservice architectures: correctness and fault injection. In: Bianculli, D., Calinescu, R., Rumpe, B. (eds.) SEFM 2015. LNCS, vol. 9509, pp. 3\u201310. Springer, Heidelberg (2015). doi: 10.1007\/978-3-662-49224-6_1"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Meinke, K., Sindhu, M.A.: Lbtest: a learning-based testing tool for reactive systems. In: Proceedings of the 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST 2013), pp. 447\u2013454. IEEE Computer Society (2013)","DOI":"10.1109\/ICST.2013.62"},{"key":"9_CR27","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-0-387-35578-8_13","volume-title":"Formal Methods for Protocol Engineering and Distributed Systems","author":"D Peled","year":"1999","unstructured":"Peled, D., Vardi, M.Y., Yannakakis, M.: Black box checking. In: Wu, J., Chanson, S.T., Gao, Q. (eds.) Formal Methods for Protocol Engineering and Distributed Systems. IAICT, vol. 28, pp. 225\u2013240. Springer, Boston (1999). doi: 10.1007\/978-0-387-35578-8_13"},{"key":"9_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-540-77966-7_13","volume-title":"Hardware and Software: Verification and Testing","author":"H Raffelt","year":"2008","unstructured":"Raffelt, H., Steffen, B., Margaria, T.: Dynamic testing via automata learning. In: Yorav, K. (ed.) HVC 2007. LNCS, vol. 4899, pp. 136\u2013152. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-77966-7_13"},{"key":"9_CR29","unstructured":"Sj\u00f6berg, K.: Platooning - challenges and opportunities (2016). https:\/\/docbox.etsi.org\/Workshop\/2016\/201603_ITS_WORKSHOP\/S04_TWDS_ACCIDENT_FREE_AUTOMATED_DRIVING"},{"issue":"11","key":"9_CR30","doi-asserted-by":"crossref","first-page":"1134","DOI":"10.1145\/1968.1972","volume":"27","author":"LG Valiant","year":"1984","unstructured":"Valiant, L.G.: A theory of the learnable. Commun. ACM 27(11), 1134\u20131142 (1984)","journal-title":"Commun. ACM"},{"key":"9_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-642-16573-3_10","volume-title":"Testing Software and Systems","author":"N Walkinshaw","year":"2010","unstructured":"Walkinshaw, N., Bogdanov, K., Derrick, J., Paris, J.: Increasing functional coverage by inductive testing: a case study. In: Petrenko, A., Sim\u00e3o, A., Maldonado, J.C. (eds.) ICTSS 2010. LNCS, vol. 6435, pp. 126\u2013141. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-16573-3_10"},{"issue":"4","key":"9_CR32","doi-asserted-by":"crossref","first-page":"641","DOI":"10.1145\/69575.357231","volume":"5","author":"E Weyuker","year":"1983","unstructured":"Weyuker, E.: Assessing test data adequacy through program inference. ACM Trans. Program. Lang. Syst 5(4), 641\u2013655 (1983)","journal-title":"ACM Trans. Program. Lang. Syst"},{"issue":"2","key":"9_CR33","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/SURV.2009.090202","volume":"11","author":"T Willke","year":"2009","unstructured":"Willke, T., Tientrakool, P., Maxemchuk, N.: A survey of inter-vehicle communication protocols and their applications. IEEE Commun. Surv. Tutor. 11(2), 3\u201320 (2009)","journal-title":"IEEE Commun. Surv. Tutor."},{"key":"9_CR34","volume-title":"Autonomous Ground Vehicles","author":"U \u00d6zguner","year":"2011","unstructured":"\u00d6zguner, U., Acarman, T., Redmill, K.: Autonomous Ground Vehicles. Artech House Publishers, Boston (2011)"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66583-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T10:13:07Z","timestamp":1570011187000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66583-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319665825","9783319665832"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66583-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}