{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T18:58:49Z","timestamp":1773169129095,"version":"3.50.1"},"reference-count":73,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T00:00:00Z","timestamp":1736467200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T00:00:00Z","timestamp":1736467200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]},{"name":"the State Key Laboratory of Complex & Critical Software Environment"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2025,6]]},"DOI":"10.1007\/s10270-024-01261-2","type":"journal-article","created":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T07:02:52Z","timestamp":1736492572000},"page":"843-863","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Safety behavior abstraction and model evolution in autonomous driving"],"prefix":"10.1007","volume":"24","author":[{"given":"Chao","family":"Tan","sequence":"first","affiliation":[]},{"given":"Tiexin","family":"Wang","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1204-9322","authenticated-orcid":false,"given":"Man","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Tao","family":"Yue","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,1,10]]},"reference":[{"key":"1261_CR1","doi-asserted-by":"crossref","unstructured":"Abdessalem, R.B., Panichella, A., Nejati, S., Briand, L.C., Stifter, T.: Testing autonomous cars for feature interaction failures using many-objective search. In: Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering, pp. 143\u2013154 (2018)","DOI":"10.1145\/3238147.3238192"},{"key":"1261_CR2","doi-asserted-by":"crossref","unstructured":"Abdessalem, R.B., Nejati, S., Briand, L.C., Stifter, T.: Testing vision-based control systems using learnable evolutionary algorithms. In: Proceedings of the 40th International Conference on Software Engineering, pp. 1016\u20131026 (2018)","DOI":"10.1145\/3180155.3180160"},{"key":"1261_CR3","doi-asserted-by":"crossref","unstructured":"Zhang, M., Zhang, Y., Zhang, L., Liu, C., Khurshid, S.: Deeproad: gan-based metamorphic testing and input validation framework for autonomous driving systems. In: Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering, pp. 132\u2013142 (2018)","DOI":"10.1145\/3238147.3238187"},{"key":"1261_CR4","doi-asserted-by":"crossref","unstructured":"Luo, Y., Zhang, X.-Y., Arcaini, P., Jin, Z., Zhao, H., Ishikawa, F., Wu, R., Xie, T.: Targeting requirements violations of autonomous driving systems by dynamic evolutionary search. In: 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 279\u2013291. IEEE (2021)","DOI":"10.1109\/ASE51524.2021.9678883"},{"key":"1261_CR5","doi-asserted-by":"crossref","unstructured":"Ben\u00a0Abdessalem, R., Nejati, S., Briand, L.C., Stifter, T.: Testing advanced driver assistance systems using multi-objective search and neural networks. In: Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering, pp. 63\u201374 (2016)","DOI":"10.1145\/2970276.2970311"},{"issue":"4","key":"1261_CR6","doi-asserted-by":"publisher","first-page":"2966","DOI":"10.1109\/TITS.2020.3025671","volume":"23","author":"L Chen","year":"2020","unstructured":"Chen, L., Hu, X., Tang, B., Cheng, Y.: Conditional DQN-based motion planning with fuzzy logic for autonomous driving. IEEE Trans. Intell. Transp. Syst. 23(4), 2966\u20132977 (2020)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"issue":"1","key":"1261_CR7","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1109\/TSE.2022.3150788","volume":"49","author":"C Lu","year":"2022","unstructured":"Lu, C., Shi, Y., Zhang, H., Zhang, M., Wang, T., Yue, T., Ali, S.: Learning configurations of operating environment of autonomous vehicles to maximize their collisions. IEEE Trans. Softw. Eng. 49(1), 384\u2013402 (2022)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1261_CR8","doi-asserted-by":"crossref","unstructured":"Ghodsi, Z., Hari, S.K.S., Frosio, I., Tsai, T., Troccoli, A., Keckler, S.W., Garg, S., Anandkumar, A.: Generating and characterizing scenarios for safety testing of autonomous vehicles. In: 2021 IEEE Intelligent Vehicles Symposium (IV), pp. 157\u2013164. IEEE (2021)","DOI":"10.1109\/IV48863.2021.9576023"},{"issue":"3","key":"1261_CR9","doi-asserted-by":"publisher","first-page":"991","DOI":"10.1109\/TSE.2022.3170122","volume":"49","author":"X Zhang","year":"2022","unstructured":"Zhang, X., Tao, J., Tan, K., T\u00f6rngren, M., Sanchez, J.M.G., Ramli, M.R., Tao, X., Gyllenhammar, M., Wotawa, F., Mohan, N., et al.: Finding critical scenarios for automated driving systems: a systematic mapping study. IEEE Trans. Softw. Eng. 49(3), 991\u20131026 (2022)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1261_CR10","doi-asserted-by":"crossref","unstructured":"Xinxin, Z., Fei, L., Xiangbin, W.: Csg: Critical scenario generation from real traffic accidents. In: 2020 IEEE Intelligent Vehicles Symposium (IV), pp. 1330\u20131336. IEEE (2020)","DOI":"10.1109\/IV47402.2020.9304609"},{"key":"1261_CR11","unstructured":"Atakishiyev, S., Salameh, M., Yao, H., Goebel, R.: Explainable artificial intelligence for autonomous driving: a comprehensive overview and field guide for future research directions. arXiv preprint arXiv:2112.11561 (2021)"},{"key":"1261_CR12","doi-asserted-by":"crossref","unstructured":"Sartaj, H.: Automated approach for system-level testing of unmanned aerial systems. In: 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 1069\u20131073. IEEE (2021)","DOI":"10.1109\/ASE51524.2021.9678902"},{"key":"1261_CR13","doi-asserted-by":"publisher","unstructured":"Shi, Y., Lu, C., Zhang, M., Zhang, H., Yue, T., Ali, S.: Restricted natural language and model-based adaptive test generation for autonomous driving. In: 2021 ACM\/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 101\u2013111. https:\/\/doi.org\/10.1109\/MODELS50736.2021.00019 (2021)","DOI":"10.1109\/MODELS50736.2021.00019"},{"key":"1261_CR14","unstructured":"OMG: OMG systems modeling language (OMG SysML), version 1.7. Object Management Group. https:\/\/www.omg.org\/spec\/SysML\/1.7\/Beta1"},{"issue":"3","key":"1261_CR15","doi-asserted-by":"publisher","first-page":"1878","DOI":"10.1002\/smr.1878","volume":"30","author":"M Mori","year":"2018","unstructured":"Mori, M., Ceccarelli, A., Lollini, P., Fr\u00f6mel, B., Brancati, F., Bondavalli, A.: Systems-of-systems modeling using a comprehensive viewpoint-based SysML profile. J. Softw. Evol. Process 30(3), 1878 (2018)","journal-title":"J. Softw. Evol. Process"},{"issue":"4","key":"1261_CR16","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1007\/s10270-020-00782-w","volume":"19","author":"P Munk","year":"2020","unstructured":"Munk, P., Nordmann, A.: Model-based safety assessment with SysML and component fault trees: application and lessons learned. Softw. Syst. Model. 19(4), 889\u2013910 (2020)","journal-title":"Softw. Syst. Model."},{"key":"1261_CR17","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/s10270-019-00735-y","volume":"19","author":"S Wolny","year":"2020","unstructured":"Wolny, S., Mazak, A., Carpella, C., Geist, V., Wimmer, M.: Thirteen years of SysML: a systematic mapping study. Softw. Syst. Model. 19, 111\u2013169 (2020)","journal-title":"Softw. Syst. Model."},{"key":"1261_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10270-021-00924-8","volume":"21","author":"ML Mohd-Shafie","year":"2022","unstructured":"Mohd-Shafie, M.L., Kadir, W.M.N.W., Lichter, H., Khatibsyarbini, M., Isa, M.A.: Model-based test case generation and prioritization: a systematic literature review. Softw. Syst. Model. 21, 1\u201337 (2022)","journal-title":"Softw. Syst. Model."},{"key":"1261_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jss.2019.03.011","volume":"153","author":"M Zhang","year":"2019","unstructured":"Zhang, M., Ali, S., Yue, T.: Uncertainty-wise test case generation and minimization for cyber-physical systems. J. Syst. Softw. 153, 1\u201321 (2019)","journal-title":"J. Syst. Softw."},{"key":"1261_CR20","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2023.107225","volume":"160","author":"F Kl\u00fcck","year":"2023","unstructured":"Kl\u00fcck, F., Li, Y., Tao, J., Wotawa, F.: An empirical comparison of combinatorial testing and search-based testing in the context of automated and autonomous driving systems. Inf. Softw. Technol. 160, 107225 (2023)","journal-title":"Inf. Softw. Technol."},{"key":"1261_CR21","doi-asserted-by":"publisher","first-page":"2843","DOI":"10.1007\/s10270-018-00703-y","volume":"18","author":"T Ma","year":"2019","unstructured":"Ma, T., Ali, S., Yue, T.: Modeling foundations for executable model-based testing of self-healing cyber-physical systems. Softw. Syst. Model. 18, 2843\u20132873 (2019)","journal-title":"Softw. Syst. Model."},{"key":"1261_CR22","unstructured":"Dosovitskiy, A., Ros, G., Codevilla, F., Lopez, A., Koltun, V.: Carla: an open urban driving simulator. In: Conference on Robot Learning, pp. 1\u201316. PMLR (2017)"},{"issue":"2","key":"1261_CR23","doi-asserted-by":"publisher","first-page":"837","DOI":"10.1007\/s10270-018-0676-3","volume":"18","author":"T Mens","year":"2019","unstructured":"Mens, T., Decan, A., Spanoudakis, N.I.: A method for testing and validating executable statechart models. Softw. Syst. Model. 18(2), 837\u2013863 (2019)","journal-title":"Softw. Syst. Model."},{"key":"1261_CR24","doi-asserted-by":"crossref","unstructured":"Baek, Y.-M., Bae, D.-H.: Automated model-based android gui testing using multi-level gui comparison criteria. In: Proceedings of the 31st IEEE\/ACM International Conference on Automated Software Engineering, pp. 238\u2013249 (2016)","DOI":"10.1145\/2970276.2970313"},{"key":"1261_CR25","doi-asserted-by":"crossref","unstructured":"Elrofai, H., Worm, D., Op\u00a0den Camp, O.: Scenario identification for validation of automated driving functions. In: Advanced Microsystems for Automotive Applications 2016: Smart Systems for the Automobile of the Future, pp. 153\u2013163. Springer (2016)","DOI":"10.1007\/978-3-319-44766-7_13"},{"issue":"2","key":"1261_CR26","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1109\/TIV.2022.3144803","volume":"7","author":"E De Gelder","year":"2022","unstructured":"De Gelder, E., Paardekooper, J.-P., Saberi, A.K., Elrofai, H., den Camp, O.O., Kraines, S., Ploeg, J., De Schutter, B.: Towards an ontology for scenario definition for the assessment of automated vehicles: an object-oriented framework. IEEE Trans. Intell. Veh. 7(2), 300\u2013314 (2022)","journal-title":"IEEE Trans. Intell. Veh."},{"key":"1261_CR27","unstructured":"OMG: Semantics of a foundational subset for executable UML models V1.2.1. Object Management Group"},{"key":"1261_CR28","unstructured":"OMG: Precise semantics of UML state machines (PSSM). 1.0 - Beta 1. Object Management Group"},{"key":"1261_CR29","doi-asserted-by":"crossref","unstructured":"Dalal, S.R., Jain, A., Karunanithi, N., Leaton, J., Lott, C.M., Patton, G.C., Horowitz, B.M.: Model-based testing in practice. In: Proceedings of the 21st International Conference on Software Engineering, pp. 285\u2013294 (1999)","DOI":"10.1145\/302405.302640"},{"issue":"5","key":"1261_CR30","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"M Utting","year":"2012","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Test. Verif. Reliab. 22(5), 297\u2013312 (2012)","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"1","key":"1261_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3289256","volume":"18","author":"A Fellner","year":"2019","unstructured":"Fellner, A., Krenn, W., Schlick, R., Tarrach, T., Weissenbacher, G.: Model-based, mutation-driven test-case generation via heuristic-guided branching search. ACM Trans. Embed. Comput. Syst. (TECS) 18(1), 1\u201328 (2019)","journal-title":"ACM Trans. Embed. Comput. Syst. (TECS)"},{"issue":"1","key":"1261_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2430536.2430540","volume":"22","author":"H Hemmati","year":"2013","unstructured":"Hemmati, H., Arcuri, A., Briand, L.: Achieving scalable model-based testing through test case diversity. ACM Trans. Softw. Eng. Methodol. 22(1), 1\u201342 (2013). https:\/\/doi.org\/10.1145\/2430536.2430540","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"9","key":"1261_CR33","doi-asserted-by":"publisher","first-page":"919","DOI":"10.1109\/TSE.2018.2811489","volume":"45","author":"R Matinnejad","year":"2018","unstructured":"Matinnejad, R., Nejati, S., Briand, L.C., Bruckmann, T.: Test generation and test prioritization for simulink models with dynamic behavior. IEEE Trans. Softw. Eng. 45(9), 919\u2013944 (2018)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1261_CR34","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1016\/j.infsof.2017.03.003","volume":"87","author":"M Zhang","year":"2017","unstructured":"Zhang, M., Ali, S., Yue, T., Norgre, R.: Uncertainty-wise evolution of test ready models. Inf. Softw. Technol. 87, 140\u2013159 (2017)","journal-title":"Inf. Softw. Technol."},{"key":"1261_CR35","doi-asserted-by":"publisher","first-page":"811","DOI":"10.1007\/s10664-015-9367-7","volume":"21","author":"N Walkinshaw","year":"2016","unstructured":"Walkinshaw, N., Taylor, R., Derrick, J.: Inferring extended finite state machine models from software executions. Empir. Softw. Eng. 21, 811\u2013853 (2016)","journal-title":"Empir. Softw. Eng."},{"key":"1261_CR36","doi-asserted-by":"crossref","unstructured":"Lo, D., Mariani, L., Pezz\u00e8, M.: Automatic steering of behavioral model inference. In: Proceedings of the 7th Joint Meeting Of The European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, pp. 345\u2013354 (2009)","DOI":"10.1145\/1595696.1595761"},{"issue":"5","key":"1261_CR37","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3579642","volume":"32","author":"S Tang","year":"2023","unstructured":"Tang, S., Zhang, Z., Zhang, Y., Zhou, J., Guo, Y., Liu, S., Guo, S., Li, Y.-F., Ma, L., Xue, Y., Liu, Y.: A survey on automated driving system testing: landscapes and trends. ACM Trans. Softw. Eng. Methodol. 32(5), 1\u201362 (2023)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"1261_CR38","unstructured":"Zhong, Z., Tang, Y., Zhou, Y., Neves, V.O., Liu, Y., Ray, B.: A survey on scenario-based testing for automated driving systems in high-fidelity simulation. arXiv preprint arXiv:2112.00964 (2021)"},{"issue":"1","key":"1261_CR39","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/BF03247153","volume":"10","author":"M Tideman","year":"2010","unstructured":"Tideman, M.: Scenario-based simulation environment for assistance systems. ATZautotechnology 10(1), 28\u201332 (2010)","journal-title":"ATZautotechnology"},{"key":"1261_CR40","doi-asserted-by":"crossref","unstructured":"Rong, G., Shin, B.H., Tabatabaee, H., Lu, Q., Lemke, S., Mo\u017eeiko, M., Boise, E., Uhm, G., Gerow, M., Mehta, S., et al.: Lgsvl simulator: a high fidelity simulator for autonomous driving. In: 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC), pp. 1\u20136. IEEE (2020)","DOI":"10.1109\/ITSC45102.2020.9294422"},{"key":"1261_CR41","unstructured":"Lanusse, A., Tanguy, Y., Espinoza, H., Mraidha, C., Gerard, S., Tessier, P., Schnekenburger, R., Dubois, H., Terrier, F.: Papyrus uml: an open source toolset for MDA. In: Proceeding of the 5th European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009), pp. 1\u20134. Citeseer (2009)"},{"key":"1261_CR42","volume-title":"Moka-A Simulation Platform for Papyrus Based on OMG Specifications For Executable UML","author":"J Tatibouet","year":"2016","unstructured":"Tatibouet, J.: Moka-A Simulation Platform for Papyrus Based on OMG Specifications For Executable UML. EclipseCon, OSGI, Ludwigsburg (2016)"},{"issue":"6","key":"1261_CR43","doi-asserted-by":"publisher","first-page":"3692","DOI":"10.1109\/TIV.2023.3274536","volume":"8","author":"S Teng","year":"2023","unstructured":"Teng, S., Hu, X., Deng, P., Li, B., Li, Y., Ai, Y., Yang, D., Li, L., Xuanyuan, Z., Zhu, F., et al.: Motion planning for autonomous driving: the state of the art and future perspectives. IEEE Trans. Intell. Veh. 8(6), 3692\u20133711 (2023)","journal-title":"IEEE Trans. Intell. Veh."},{"key":"1261_CR44","volume-title":"Java NIO: Regular Expressions and High-Performance I\/O","author":"R Hitchens","year":"2002","unstructured":"Hitchens, R.: Java NIO: Regular Expressions and High-Performance I\/O. O\u2019Reilly Media Inc, Sebastopol (2002)"},{"key":"1261_CR45","volume-title":"TCP\/IP Protocol Suite","author":"BA Forouzan","year":"2002","unstructured":"Forouzan, B.A.: TCP\/IP Protocol Suite. McGraw-Hill Higher Education, New York (2002)"},{"issue":"10","key":"1261_CR46","doi-asserted-by":"publisher","first-page":"1376","DOI":"10.1109\/TSE.2013.17","volume":"39","author":"S Ali","year":"2013","unstructured":"Ali, S., Iqbal, M.Z., Arcuri, A., Briand, L.C.: Generating test data from OCL constraints with search techniques. IEEE Trans. Softw. Eng. 39(10), 1376\u20131402 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1261_CR47","doi-asserted-by":"crossref","unstructured":"Shah, S., Dey, D., Lovett, C., Kapoor, A.: Airsim: high-fidelity visual and physical simulation for autonomous vehicles. In: Field and Service Robotics: Results of the 11th International Conference, pp. 621\u2013635. Springer (2018)","DOI":"10.1007\/978-3-319-67361-5_40"},{"key":"1261_CR48","unstructured":"Czarnecki, K.: Operational world model ontology for automated driving systems\u2013part 2: road users, animals, other obstacles, and environmental conditions. In: Waterloo Intelligent Systems Engineering Lab (WISE) Report. University of Waterloo (2018)"},{"key":"1261_CR49","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2022.107104","volume":"155","author":"M Iqbal","year":"2023","unstructured":"Iqbal, M., Han, J.C., Zhou, Z.Q., Towey, D., Chen, T.Y.: Metamorphic testing of advanced driver-assistance system (ADAS) simulation platforms: lane keeping assist system (LKAS) case studies. Inf. Softw. Technol. 155, 107104 (2023)","journal-title":"Inf. Softw. Technol."},{"key":"1261_CR50","doi-asserted-by":"publisher","first-page":"4370","DOI":"10.1109\/TIV.2023.3297592","volume":"8","author":"R Song","year":"2023","unstructured":"Song, R., Li, X., Zhao, X., Liu, M., Zhou, J., Wang, F.-Y.: Identifying critical test scenarios for lane keeping assistance system using analytic hierarchy process and hierarchical clustering. IEEE Trans. Intell. Veh. 8, 4370\u20134380 (2023)","journal-title":"IEEE Trans. Intell. Veh."},{"key":"1261_CR51","unstructured":"OMG: OMG unified modeling language (version 2.5.1). Object Management Group. https:\/\/www.omg.org\/spec\/UML\/2.5.1"},{"key":"1261_CR52","doi-asserted-by":"crossref","unstructured":"Chen, J., Tang, C., Xin, L., Li, S.E., Tomizuka, M.: Continuous decision making for on-road autonomous driving under uncertain and interactive environments. In: 2018 IEEE Intelligent Vehicles Symposium (IV), pp. 1651\u20131658. IEEE (2018)","DOI":"10.1109\/IVS.2018.8500605"},{"key":"1261_CR53","doi-asserted-by":"crossref","unstructured":"Shafaei, S., Kugele, S., Osman, M.H., Knoll, A.: Uncertainty in machine learning: a safety perspective on autonomous driving. In: Computer Safety, Reliability, and Security: SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, V\u00e4ster\u00e5s, Sweden, September 18, 2018, Proceedings 37, pp. 458\u2013464. Springer (2018)","DOI":"10.1007\/978-3-319-99229-7_39"},{"key":"1261_CR54","doi-asserted-by":"crossref","unstructured":"Zhang, M., Selic, B., Ali, S., Yue, T., Okariz, O., Norgren, R.: Understanding uncertainty in cyber-physical systems: a conceptual model. In: Modelling Foundations and Applications: 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6\u20137, 2016, Proceedings 12, pp. 247\u2013264. Springer (2016)","DOI":"10.1007\/978-3-319-42061-5_16"},{"key":"1261_CR55","volume-title":"Model-Based Testing Essentials-Guide to the ISTQB Certified Model-Based Tester: Foundation Level","author":"A Kramer","year":"2016","unstructured":"Kramer, A., Legeard, B.: Model-Based Testing Essentials-Guide to the ISTQB Certified Model-Based Tester: Foundation Level. Wiley, New York (2016)"},{"key":"1261_CR56","volume-title":"Reinforcement Learning: An Introduction","author":"RS Sutton","year":"2018","unstructured":"Sutton, R.S., Barto, A.G.: Reinforcement Learning: An Introduction. MIT Press, Cambridge (2018)"},{"key":"1261_CR57","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/BF00992698","volume":"8","author":"CJ Watkins","year":"1992","unstructured":"Watkins, C.J., Dayan, P.: Q-Learning. Mach. Learn. 8, 279\u2013292 (1992)","journal-title":"Mach. Learn."},{"key":"1261_CR58","unstructured":"Rosero, L.A., Gomes, I.P., da Silva, J.A.R., Santos, T.C.d., Nakamura, A.T.M., Amaro, J., Wolf, D.F., Os\u00f3rio, F.S.: A software architecture for autonomous vehicles: team lrm-b entry in the first carla autonomous driving challenge. arXiv preprint arXiv:2010.12598 (2020)"},{"issue":"6","key":"1261_CR59","doi-asserted-by":"publisher","first-page":"4909","DOI":"10.1109\/TITS.2021.3054625","volume":"23","author":"BR Kiran","year":"2021","unstructured":"Kiran, B.R., Sobh, I., Talpaert, V., Mannion, P., Al Sallab, A.A., Yogamani, S., P\u00e9rez, P.: Deep reinforcement learning for autonomous driving: a survey. IEEE Trans. Intell. Transp. Syst. 23(6), 4909\u20134926 (2021)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"issue":"1","key":"1261_CR60","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/S0001-4575(00)00019-1","volume":"33","author":"MM Minderhoud","year":"2001","unstructured":"Minderhoud, M.M., Bovy, P.H.: Extended time-to-collision measures for road traffic safety assessment. Accid. Anal. Prev. 33(1), 89\u201397 (2001)","journal-title":"Accid. Anal. Prev."},{"key":"1261_CR61","unstructured":"Santara, A., Madan, R., Ravindran, B., Mitra, P.: Extra: transfer-guided exploration. arXiv preprint arXiv:1906.11785 (2019)"},{"key":"1261_CR62","unstructured":"Yang, H.: An independent study of reinforcement learning and autonomous driving. arXiv preprint arXiv:2110.07729 (2021)"},{"key":"1261_CR63","doi-asserted-by":"crossref","unstructured":"Sheikhi, S., Kim, E., Duggirala, P.S., Bak, S.: Coverage-guided fuzz testing for cyber-physical systems. In: 2022 ACM\/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS), pp. 24\u201333. IEEE (2022)","DOI":"10.1109\/ICCPS54341.2022.00009"},{"key":"1261_CR64","unstructured":"Baidu Inc.: Baidu Apollo. https:\/\/github.com\/ApolloAuto\/apollo (2020)"},{"key":"1261_CR65","doi-asserted-by":"crossref","unstructured":"Arcuri, A., Briand, L.: A practical guide for using statistical tests to assess randomized algorithms in software engineering. In: Proceedings of the 33rd International Conference on Software Engineering, pp. 1\u201310 (2011)","DOI":"10.1145\/1985793.1985795"},{"key":"1261_CR66","volume-title":"Automated Driving System (ADS) Task Analysis-Part 2: Structured Road Maneuvers","author":"K Czarnecki","year":"2018","unstructured":"Czarnecki, K.: Automated Driving System (ADS) Task Analysis-Part 2: Structured Road Maneuvers. Waterloo Intelligent Systems Engineering Lab (WISE), University of Waterloo, Waterloo (2018)"},{"key":"1261_CR67","volume-title":"A Framework for Automated Driving System Testable Cases and Scenarios","author":"E Thorn","year":"2018","unstructured":"Thorn, E., Kimmel, S.C., Chaka, M., Hamilton, B.A., et al.: A Framework for Automated Driving System Testable Cases and Scenarios. Department of Transportation, National Highway Traffic Safety, Washington, DC (2018)"},{"key":"1261_CR68","unstructured":"Lu, C., Yue, T., Zhang, M., Ali, S.: Deepqtest: testing autonomous driving systems with reinforcement learning and real-world weather data. arXiv preprint arXiv:2310.05170 (2023)"},{"issue":"4","key":"1261_CR69","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/j.iatssr.2017.02.001","volume":"41","author":"SS Mahmud","year":"2017","unstructured":"Mahmud, S.S., Ferreira, L., Hoque, M.S., Tavassoli, A.: Application of proximal surrogate indicators for safety evaluation: a review of recent developments and research needs. IATSS Res. 41(4), 153\u2013163 (2017)","journal-title":"IATSS Res."},{"key":"1261_CR70","volume-title":"Handbook of Methods of Applied Statistics","author":"IM Chakravarti","year":"1967","unstructured":"Chakravarti, I.M., Laha, R.G., Roy, J.: Handbook of Methods of Applied Statistics. Wiley, New York (1967)"},{"key":"1261_CR71","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1214\/aoms\/1177730491","volume":"18","author":"HB Mann","year":"1947","unstructured":"Mann, H.B., Whitney, D.R.: On a test of whether one of two random variables is stochastically larger than the other. Ann. Math. Stat. 18, 50\u201360 (1947)","journal-title":"Ann. Math. Stat."},{"issue":"2","key":"1261_CR72","first-page":"101","volume":"25","author":"A Vargha","year":"2000","unstructured":"Vargha, A., Delaney, H.D.: A critique and improvement of the CL common language effect size statistics of McGraw and Wong. J. Educ. Behav. Stat. 25(2), 101\u2013132 (2000)","journal-title":"J. Educ. Behav. Stat."},{"key":"1261_CR73","doi-asserted-by":"crossref","unstructured":"Arulkumaran, K., Deisenroth, M.P., Brundage, M., Bharath, A.A.: Deep reinforcement learning: a brief survey. IEEE Signal Process. Mag. 34(6), 26\u201338 (2017)","DOI":"10.1109\/MSP.2017.2743240"}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-024-01261-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-024-01261-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-024-01261-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T06:28:47Z","timestamp":1749018527000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-024-01261-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1,10]]},"references-count":73,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,6]]}},"alternative-id":["1261"],"URL":"https:\/\/doi.org\/10.1007\/s10270-024-01261-2","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,1,10]]},"assertion":[{"value":"26 March 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 December 2024","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 December 2024","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 January 2025","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}