{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T04:46:45Z","timestamp":1783140405383,"version":"3.54.6"},"reference-count":42,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","funder":[{"name":"EPSRC\/U.K. STRATA Platform"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Rel."],"published-print":{"date-parts":[[2021,6]]},"DOI":"10.1109\/tr.2020.3047462","type":"journal-article","created":{"date-parts":[[2021,1,14]],"date-time":"2021-01-14T21:34:49Z","timestamp":1610660089000},"page":"676-691","source":"Crossref","is-referenced-by-count":5,"title":["Mutation Testing for Rule-Based Verification of Railway Signaling Data"],"prefix":"10.1109","volume":"70","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1200-0847","authenticated-orcid":false,"given":"Linas","family":"Laibinis","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexei","family":"Iliasov","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexander","family":"Romanovsky","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","first-page":"1776","article-title":"Dynamic maximum tree depth. A simple technique for avoiding bloat in tree-based GP","author":"silva","year":"0","journal-title":"Proc Genet Evol Comput Conf"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2019.00013"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568306"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2009.5316017"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.02.018"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.3233\/WEB-180393"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2007.38"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/DSA.2017.10"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00057"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.49"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33951-1_9"},{"key":"ref40","author":"koza","year":"1994","journal-title":"Genetic Programming"},{"key":"ref11","first-page":"53?64","article-title":"Why3: Shepherd your herd of provers","author":"bobot","year":"0","journal-title":"Proc Boogie"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45236-2_46"},{"key":"ref13","first-page":"369?387","article-title":"Météor: A successful application of B in a large project","volume":"1708","author":"behm","year":"0","journal-title":"Proc World Congr Formal Methods"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/11415787_20"},{"key":"ref15","article-title":"Signalling design: Control tables","author":"railway group standards","year":"0"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-05032-4_17"},{"key":"ref17","first-page":"1","article-title":"Formal data validation in the railways","author":"lecomte","year":"0","journal-title":"Proc Saf -Critical Syst Symp"},{"key":"ref18","author":"bj\u00f8rner","year":"2009","journal-title":"Domain Engineering Technology Management Research and Engineering"},{"key":"ref19","article-title":"Formally checking large data sets in the railways","author":"lecomte","year":"2012"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.04.016"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0997-6_5"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2010.50"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"ref6","first-page":"5","article-title":"From requirements models to formal specifications in B","author":"ponsard","year":"0","journal-title":"Proc Regulations Model Validation Verification"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.61"},{"key":"ref5","article-title":"Annex C: Tornado MAR safety case, version 1, U.K.","year":"2004"},{"key":"ref8","article-title":"Goal structuring notation. The GSN working group online","author":"gsn","year":"0"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33170-1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2016.44"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08311-7_14"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40793-2_12"},{"key":"ref20","first-page":"75?82","article-title":"Fault injection techniques and tools","volume":"30","author":"hsueh","year":"1997","journal-title":"IEEE Comput"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.50"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/1389095.1389340"},{"key":"ref24","first-page":"87","article-title":"Application of genetic algorithm in software testing","volume":"3","author":"srivastava","year":"0","journal-title":"Proc Int J Softw Eng Appl"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1162\/evco.1997.5.2.123"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1201\/9781420011326"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.93"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/MIPRO.2014.6859734"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/24\/9448244\/09324982.pdf?arnumber=9324982","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,26]],"date-time":"2021-10-26T20:26:48Z","timestamp":1635280008000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9324982\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6]]},"references-count":42,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tr.2020.3047462","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"value":"0018-9529","type":"print"},{"value":"1558-1721","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,6]]}}}