{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T17:59:36Z","timestamp":1778349576845,"version":"3.51.4"},"reference-count":68,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T00:00:00Z","timestamp":1680307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2023,4,1]]},"DOI":"10.1109\/tse.2022.3213041","type":"journal-article","created":{"date-parts":[[2022,10,10]],"date-time":"2022-10-10T20:13:55Z","timestamp":1665432835000},"page":"2182-2201","source":"Crossref","is-referenced-by-count":9,"title":["Data-Driven Mutation Analysis for Cyber-Physical Systems"],"prefix":"10.1109","volume":"49","author":[{"given":"Enrico","family":"Vigan\u00f2","sequence":"first","affiliation":[{"name":"SnT Centre for Security, Reliability and Trust, University of Luxembourg, Esch-sur-Alzette, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9243-8071","authenticated-orcid":false,"given":"Oscar","family":"Cornejo","sequence":"additional","affiliation":[{"name":"SnT Centre for Security, Reliability and Trust, University of Luxembourg, Esch-sur-Alzette, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3541-3641","authenticated-orcid":false,"given":"Fabrizio","family":"Pastore","sequence":"additional","affiliation":[{"name":"SnT Centre for Security, Reliability and Trust, University of Luxembourg, Esch-sur-Alzette, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1393-1010","authenticated-orcid":false,"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[{"name":"SnT Centre for Security, Reliability and Trust, University of Luxembourg, Esch-sur-Alzette, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2014.2322503"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3306157"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/bs.adcom.2018.03.015"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180183"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2017.2740434"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2016.2596101"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25945-1_12"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163"},{"key":"ref10","article-title":"Mars climate orbiter, spacecraft lost","year":"1998"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.12"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.33"},{"key":"ref13","first-page":"224","article-title":"Test-case generation for embedded Simulink via formal concept analysis","volume-title":"Proc. Des. Autom. Conf.","author":"He"},{"key":"ref14","article-title":"Model-based mutation testing for UML","volume-title":"Proc. IEEE Int. Conf. Softw. Testing Verification Validation","author":"Aichernig"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884821"},{"key":"ref16","first-page":"25","article-title":"Model-based mutation testing\u2014Approach and case studies","volume-title":"Sci. Comput. Program.","volume":"120","author":"Belli","year":"2016"},{"key":"ref17","article-title":"European space agency","year":"2020"},{"key":"ref18","article-title":"ESAIL - Maritime microsatellite","year":"2020"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1002\/sat.1277"},{"key":"ref20","article-title":"Replicability package","author":"Vigan\u00f2","year":"2022"},{"key":"ref21","article-title":"DAMAT source code","author":"Vigan\u00f2","year":"2022"},{"key":"ref22","article-title":"DAMAT tutorial","year":"2022"},{"key":"ref23","article-title":"OASIS web services business process execution language (WSBPEL) TC","year":"2007"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2841425"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/227607.227610"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/227607.227610"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062530"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2684805"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2010.13"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/QRS.2018.00042"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/32.910859"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/QRS.2016.47"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2005.36"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2010.18"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/12.811108"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/12.54853"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/IPDS.1995.395831"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1996.534626"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.13"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2015.7102589"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2811489"},{"key":"ref42","article-title":"Peach fuzzer"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1998.730886"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375607"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/2093548.2093564"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606558"},{"key":"ref47","first-page":"543","article-title":"Model-based whitebox fuzzing for program binaries","volume-title":"Proc. IEEE\/ACM 31st Int. Conf. Automated Softw. Eng.","author":"Pham"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ANSS.2007.30"},{"key":"ref49","article-title":"The ESAIL multipurpose simulator","volume-title":"Onlin Proc. Simul. EGSE Space Programmes","author":"Isasi"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693070"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2015.7381815"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/MUTATION.2006.11"},{"key":"ref53","article-title":"ESA Vega launch","year":"2020"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2732347"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931040"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/3019612.3019830"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3107680"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409742"},{"key":"ref59","article-title":"ECSS-E-ST-40C - Software general requirements","year":"2009"},{"key":"ref60","article-title":"ECSS-Q-ST-80C Rev.1 - Software product assurance","year":"2017"},{"key":"ref61","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","volume-title":"Proc. 8th USENIX Conf. Operating Syst. Des. Implementation","author":"Cadar"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3341180"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2018.00024"},{"key":"ref64","article-title":"The LLVM compiler infrastructure","year":"2021"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEIP52600.2021.00036"},{"key":"ref66","first-page":"163","article-title":"State of mutation testing at Google","volume-title":"Proc. 40th Int. Conf. Softw. Eng.: Softw. Eng. Pract.","author":"Petrovi\u0107"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2864678"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.56"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/10103953\/09914679.pdf?arnumber=9914679","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T23:05:18Z","timestamp":1705964718000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9914679\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,1]]},"references-count":68,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tse.2022.3213041","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":[[2023,4,1]]}}}