{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T17:19:29Z","timestamp":1761326369017,"version":"build-2065373602"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,9]],"date-time":"2023-10-09T00:00:00Z","timestamp":1696809600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,9]],"date-time":"2023-10-09T00:00:00Z","timestamp":1696809600000},"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":[],"published-print":{"date-parts":[[2023,10,9]]},"DOI":"10.1109\/issrew60843.2023.00045","type":"proceedings-article","created":{"date-parts":[[2023,11,2]],"date-time":"2023-11-02T13:47:44Z","timestamp":1698932864000},"page":"45-50","source":"Crossref","is-referenced-by-count":0,"title":["A Fault Injection and Formal Verification Framework Based on UML Sequence Diagrams"],"prefix":"10.1109","author":[{"given":"Hezhen","family":"Liu","sequence":"first","affiliation":[{"name":"Huawei Technologies Co., Ltd.,Shenzhen,China,518129"}]},{"given":"Jiacheng","family":"Yin","sequence":"additional","affiliation":[{"name":"Huawei Technologies Co., Ltd.,Shenzhen,China,518129"}]},{"given":"Chengqiang","family":"Huang","sequence":"additional","affiliation":[{"name":"Huawei Technologies Co., Ltd.,Shenzhen,China,518129"}]},{"given":"Hao","family":"Lan","sequence":"additional","affiliation":[{"name":"Huawei Technologies Co., Ltd.,Shenzhen,China,518129"}]},{"given":"Zhi","family":"Jin","sequence":"additional","affiliation":[{"name":"Peking University, Ministry of Education,Key Laboratory of High Confidence Software Technologies,Beijing,China,100871"}]},{"given":"Zheng","family":"Zheng","sequence":"additional","affiliation":[{"name":"Beihang University,School of Automation Science and Electrical Engineering,Beijing,China,100191"}]},{"given":"Xun","family":"Zhang","sequence":"additional","affiliation":[{"name":"Huawei Technologies Co., Ltd.,Shenzhen,China,518129"}]}],"member":"263","reference":[{"issue":"20","key":"ref1","volume-title":"Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems: FM-RAIL-BOK Workshop 2013","author":"Gruner","year":"2013"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0320-7"},{"key":"ref3","article-title":"Model based system engineering for safety of railway critical systems","volume-title":"Ph.D. dissertation","author":"Sun","year":"2015"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06410-9_4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15651-9_16"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-23703-5_4"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.3850\/978-981-14-8593-0_5770-cd"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244062"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-58920-2_8"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1002\/spe.1039"},{"year":"2017","key":"ref11","article-title":"Unified modeling language - version 2.5.1"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-005-0205-x"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.09.064"},{"key":"ref14","article-title":"Correct model-to-model transformation for formal verification","volume-title":"Ph.D. dissertation","author":"Meedeniya","year":"2013"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2016.118"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2022.102777"},{"article-title":"Specifying systems: The tla+ language and tools for hardware and software engineers","year":"2002","author":"Lamport","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"}],"event":{"name":"2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW)","start":{"date-parts":[[2023,10,9]]},"location":"Florence, Italy","end":{"date-parts":[[2023,10,12]]}},"container-title":["2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10301191\/10301280\/10301354.pdf?arnumber=10301354","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T17:14:14Z","timestamp":1761326054000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10301354\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,9]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/issrew60843.2023.00045","relation":{},"subject":[],"published":{"date-parts":[[2023,10,9]]}}}