{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,27]],"date-time":"2026-05-27T13:19:38Z","timestamp":1779887978985,"version":"3.53.1"},"reference-count":69,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2024,1]]},"DOI":"10.1109\/tse.2023.3331254","type":"journal-article","created":{"date-parts":[[2023,11,13]],"date-time":"2023-11-13T19:16:50Z","timestamp":1699903010000},"page":"48-68","source":"Crossref","is-referenced-by-count":10,"title":["Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search"],"prefix":"10.1109","volume":"50","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8108-0043","authenticated-orcid":false,"given":"Aren A.","family":"Babikian","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering, McGill University, Montreal, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3592-5105","authenticated-orcid":false,"given":"Oszk\u00e1r","family":"Semer\u00e1th","sequence":"additional","affiliation":[{"name":"Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8790-252X","authenticated-orcid":false,"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, McGill University, Montreal, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238192"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-021-00918-6"},{"key":"ref3","article-title":"Situation coverage \u2013 A coverage criterion for testing autonomous robots","author":"Alexander","year":"2015"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3417990.3419484"},{"key":"ref5","first-page":"1","article-title":"CARLA: An open urban driving simulator","volume-title":"Proc. 1st Annu. Conf. Robot Learn.","author":"Dosovitskiy","year":"2017"},{"key":"ref6","article-title":"Virtual-based safety testing for self-driving cars from NVIDIA drive sim"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02408-5_11"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115698"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180186"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3381032"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314633"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.3403\/30179092"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.3403\/30392398"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2015.164"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2018.8500406"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2019.00-12"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180160"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510188"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409730"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICST49551.2021.00030"},{"key":"ref21","first-page":"63","article-title":"Testing advanced driver assistance systems using multi-objective search and neural networks","volume-title":"Proc. 31st IEEE\/ACM Int. Conf. Automated Softw. Eng. (ASE)","author":"Abdessalem","year":"2016"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICST46399.2020.00045"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/DTPI52967.2021.9540200"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2018.8500632"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2019.8814099"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2020.19.3.a12"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.3390\/app11177782"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/514188.514190"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24730-2_38"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330566"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2006.872344"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2007.902851"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00619-7_7"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/4235.996017"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2013.2281535"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01370-7_74"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/1276958.1277190"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1137\/S1052623496307510"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2990567"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00155"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2022.3195640"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2019.8814230"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4380-9_6"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1037\/1082-989X.3.3.339"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985795"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177730491"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.2307\/1165329"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21581-0_27"},{"key":"ref49","first-page":"12 077","article-title":"SegFormer: Simple and efficient design for semantic segmentation with transformers","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"15","author":"Xie","year":"2021"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2019.00068"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/s11263-021-01515-2"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/s11263-009-0275-4"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3123504"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61607-0_7"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3072739"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1049\/iet-its.2012.0188"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2018.00-20"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2019.8814107"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1145\/3365438.3410933"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-93710-6_17"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-71500-7_9"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2018.8500374"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2017.8317919"},{"key":"ref65","first-page":"9827","article-title":"Scalable end-to-end autonomous vehicle testing via rare-event simulation","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"O\u2019Kelly","year":"2018"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2016.7535534"},{"key":"ref67","first-page":"1","article-title":"A SysML-based methodology for model testing of cyber-physical systems","author":"Gonz\u00e1lez","year":"2018"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2015.7102604"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2017.7969315"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/10384461\/10315708.pdf?arnumber=10315708","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T04:18:50Z","timestamp":1705033130000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10315708\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1]]},"references-count":69,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tse.2023.3331254","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,1]]}}}