{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:16:03Z","timestamp":1772532963878,"version":"3.50.1"},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,4,23]],"date-time":"2021-04-23T00:00:00Z","timestamp":1619136000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,4,23]],"date-time":"2021-04-23T00:00:00Z","timestamp":1619136000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,4,23]],"date-time":"2021-04-23T00:00:00Z","timestamp":1619136000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Basic Research Program of China","doi-asserted-by":"publisher","award":["2014CB744900"],"award-info":[{"award-number":["2014CB744900"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,4,23]]},"DOI":"10.1109\/icccs52626.2021.9449261","type":"proceedings-article","created":{"date-parts":[[2021,6,21]],"date-time":"2021-06-21T20:41:56Z","timestamp":1624308116000},"page":"1099-1107","source":"Crossref","is-referenced-by-count":3,"title":["A Method of Test Case Generation Based on VRM Model"],"prefix":"10.1109","author":[{"given":"Qiu","family":"Zhipeng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wang","family":"Lisong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kang","family":"Jiexiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gao","family":"Zhongjie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hui","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Yin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shen","family":"Xiangyu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Model-based construction and verification of critical systems using composition and partial refinement[J]","author":"ralph","year":"2010","journal-title":"Formal Methods in System Design"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1155\/2018\/7019838"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2854716"},{"key":"ref13","first-page":"466","article-title":"Software verification and validation technologies and tools[J]","volume":"60","author":"mitropoulos","year":"2019","journal-title":"Computing Reviews"},{"key":"ref14","author":"ahrendt","year":"2019","journal-title":"What is KeY's Key to Software Verification? Keynote at the Fifth Workshop on Formal Integrated Development Environment[J]"},{"key":"ref15","article-title":"Comprehensive Study of Software Testing Techniques and Strategies: A Review[J]","volume":"v9","author":"taley","year":"2020","journal-title":"International Journal of Engineering and Technical Research"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s40295-020-00238-9"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1002\/int.22240"},{"key":"ref4","article-title":"Testing, proof and automation","author":"burton","year":"2000","journal-title":"An integrated approach In Proceedings of First International Workshop on Automated Program Analysis Testing and Verification"},{"key":"ref3","author":"vieira","year":"2009","journal-title":"System and Method For Applying Model-Based Testing To Train Control Systems"},{"key":"ref6","first-page":"348","article-title":"Automated Software Test Optimization using Test Language Processing[J]","volume":"16","author":"mann","year":"2019","journal-title":"International Arab Journal of Information Technology"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1562764.1562779"},{"key":"ref8","author":"prasetya","year":"2019","journal-title":"Test Model Coverage Analysis Under Uncertainty[M]\/\/ Software Engineering and Formal Methods"},{"key":"ref7","article-title":"The Effect of Program and Model Structure on the Effectiveness of MC\/DC Test Adequacy Coverage[J]","author":"heimdahl","year":"2016","journal-title":"ACM Transactions on Software Engineering & Methodology"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s12567-017-0173-5"},{"key":"ref1","first-page":"119","article-title":"A Software Testing Approach Based on Behavioral UML Models[J]","volume":"38","author":"barisas","year":"2009","journal-title":"IInformation Technology and Control"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2917674"}],"event":{"name":"2021 IEEE 6th International Conference on Computer and Communication Systems (ICCCS)","location":"Chengdu, China","start":{"date-parts":[[2021,4,23]]},"end":{"date-parts":[[2021,4,26]]}},"container-title":["2021 IEEE 6th International Conference on Computer and Communication Systems (ICCCS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9449108\/9449090\/09449261.pdf?arnumber=9449261","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T15:42:27Z","timestamp":1652197347000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9449261\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,23]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/icccs52626.2021.9449261","relation":{},"subject":[],"published":{"date-parts":[[2021,4,23]]}}}