{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,30]],"date-time":"2026-07-30T14:22:22Z","timestamp":1785421342390,"version":"3.56.0"},"reference-count":109,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001866","name":"Fonds National de la Recherche Luxembourg","doi-asserted-by":"publisher","award":["BRIDGES18\/IS\/12632261"],"award-info":[{"award-number":["BRIDGES18\/IS\/12632261"]}],"id":[{"id":"10.13039\/501100001866","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010662","name":"H2020 Excellent Science","doi-asserted-by":"publisher","award":["694277"],"award-info":[{"award-number":["694277"]}],"id":[{"id":"10.13039\/100010662","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002790","name":"Canadian Network for Research and Innovation in Machining Technology Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002790","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2022,9,1]]},"DOI":"10.1109\/tse.2021.3101818","type":"journal-article","created":{"date-parts":[[2021,8,4]],"date-time":"2021-08-04T20:24:57Z","timestamp":1628108697000},"page":"3664-3685","source":"Crossref","is-referenced-by-count":12,"title":["Combining Genetic Programming and Model Checking to Generate Environment Assumptions"],"prefix":"10.1109","volume":"48","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4156-9768","authenticated-orcid":false,"given":"Khouloud","family":"Gaaloul","sequence":"first","affiliation":[{"name":"University of Luxembourg, Esch-sur-Alzette, Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5303-8481","authenticated-orcid":false,"given":"Claudio","family":"Menghi","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Esch-sur-Alzette, Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0281-8231","authenticated-orcid":false,"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[{"name":"University of Ottawa, Ottawa, ON, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1393-1010","authenticated-orcid":false,"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[{"name":"University of Ottawa, Ottawa, ON, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yago Isasi","family":"Parache","sequence":"additional","affiliation":[{"name":"LuxSpace, Betzdorf, Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_21"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338920"},{"key":"ref33","author":"chaturvedi","year":"2009","journal-title":"Modeling and Simulation of Systems Using MATLAB and Simulink"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.2322\/tjsass.61.79"},{"key":"ref31","article-title":"Virtual vector","year":"0"},{"key":"ref30","author":"wie","year":"1998","journal-title":"Space Vehicle Dynamics and Control ser AIAA education series"},{"key":"ref37","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"Proc Int Conf n Tools Algorithms Construction Anal Syst"},{"key":"ref36","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","article-title":"Monitoring temporal properties of continuous signals","author":"maler","year":"2004","journal-title":"Proc Formal Techn Model Anal Timed Fault-Tolerant Syst"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"ref34","article-title":"Simulink","year":"0"},{"key":"ref28","article-title":"QVtrace","year":"0"},{"key":"ref27","article-title":"MEX function","year":"0"},{"key":"ref29","article-title":"QRA corp","year":"0"},{"key":"ref20","article-title":"The European Space Agency (ESA)","year":"0"},{"key":"ref22","article-title":"Building and testing spacecraft","year":"0"},{"key":"ref21","article-title":"exactEarth","year":"0"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380370"},{"key":"ref23","article-title":"Mathworks","year":"0"},{"key":"ref26","article-title":"S-Function","year":"0"},{"key":"ref101","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2020.3044532"},{"key":"ref25","article-title":"Subsystems","year":"0"},{"key":"ref100","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679387"},{"key":"ref50","author":"frank","year":"2016","journal-title":"The WEKA Workbench"},{"key":"ref51","first-page":"273","article-title":"Gplab-A genetic programming toolbox for Matlab","author":"silva","year":"2003","journal-title":"Proc Nordic MatLab Conf"},{"key":"ref59","author":"mcdonald","year":"0","journal-title":"Handbook of Biological Statistics"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/HPCSim.2014.6903792"},{"key":"ref57","first-page":"140","article-title":"ARCH-COMP 2020 category report: Falsification","author":"ernst","year":"2020","journal-title":"Proc Int Workshop Appl Verification Continuous Hybrid Syst"},{"key":"ref56","first-page":"129","article-title":"ARCH-COMP 2019 category report: Falsification","author":"ernst","year":"2019","journal-title":"Proc ARCH CPSIoTWeek"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-013-9249-9"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3340444"},{"key":"ref53","article-title":"Additional material","year":"0"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-20883-1_22"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2942921"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.18.217-238"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2502524.2502540"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45449-7_11"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0028765"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317443"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3372020.3391557"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/RE48521.2020.00040"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36577-X_24"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-011-9139-0"},{"key":"ref45","article-title":"Floor","year":"0"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1162\/evco.1998.6.3.231"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0427-8_20"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30502-6_23"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001452"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2019.06.009"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2019.2955903"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1145\/2379776.2379787"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"ref71","first-page":"14","article-title":"Proof rules for automated compositional verification through learning","author":"barringer","year":"2003","journal-title":"Proc SAVCBS Workshop"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642940"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-019-00484-1"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89363-1_10"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen:20080012"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW50294.2020.00018"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1145\/503271.503226"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS-C.2019.00010"},{"key":"ref60","article-title":"Assertionblock","year":"0"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_30"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-44429-7_2"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_56"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416631"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00082"},{"key":"ref66","article-title":"Digital twins are not monozygotic–cross-replicating adas testing in two industry-grade automotive simulators","author":"borg","year":"2020"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/3297280.3297512"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2017.7969377"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3270112.3270115"},{"key":"ref69","article-title":"Uncertainty-aware specification and analysis for hardware-in-the-loop testing of cyber-physical systems","volume":"171","author":"shin","year":"2020","journal-title":"J Syst Softw"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2002.1114984"},{"key":"ref95","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45251-6_29"},{"key":"ref109","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45665-1_17"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00079"},{"key":"ref108","doi-asserted-by":"publisher","DOI":"10.1561\/2500000010"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48989-6_10"},{"key":"ref107","first-page":"50","article-title":"Inductive programming: A survey of program synthesis techniques","author":"kitzelmann","year":"2009","journal-title":"Proc Int Workshop Approaches Appl Inductive Program"},{"key":"ref92","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"ref106","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409687"},{"key":"ref105","first-page":"856","article-title":"Learning to adapt requirements specifications of evolving systems","author":"borges","year":"2011","journal-title":"Proc Int Conf Softw Eng"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.57"},{"key":"ref104","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461337"},{"key":"ref103","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2421907"},{"key":"ref102","article-title":"Constrained optimization for falsification and conjunctive synthesis","author":"sato","year":"2020"},{"key":"ref98","doi-asserted-by":"publisher","DOI":"10.1145\/2914770.2837664"},{"key":"ref99","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2011.5970509"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"ref97","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_5"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409737"},{"key":"ref11","article-title":"Fitctree","year":"0"},{"key":"ref12","author":"koza","year":"1992","journal-title":"Genetic Programming On the Programming of Computers by Means of Natural Selection"},{"key":"ref13","author":"poli","year":"2008","journal-title":"A Field Guide to Genetic Programming"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055923"},{"key":"ref15","article-title":"Matlab GP toolbox","year":"0"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2013.2295764"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1021\/ie049626e"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1630066"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1162\/evco.1995.3.2.199"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref18","year":"0"},{"key":"ref83","first-page":"1","article-title":"Contract-based design of control protocols for safety-critical cyber-physical systems","author":"nuzzo","year":"2014","journal-title":"Proc Des Automat Test Eur Conf Exhibition"},{"key":"ref19","article-title":"Luxspace","year":"0"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1145\/3377930.3389810"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2020.3044532"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_14"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00106"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/9894039\/09507379.pdf?arnumber=9507379","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,4]],"date-time":"2022-10-04T19:41:21Z","timestamp":1664912481000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9507379\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,1]]},"references-count":109,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/tse.2021.3101818","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":[[2022,9,1]]}}}