{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T06:55:24Z","timestamp":1730271324939,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,3]]},"DOI":"10.1109\/isads.2013.6513433","type":"proceedings-article","created":{"date-parts":[[2013,5,10]],"date-time":"2013-05-10T21:39:38Z","timestamp":1368221978000},"page":"1-6","source":"Crossref","is-referenced-by-count":6,"title":["Model-based test cases generation for Onboard system"],"prefix":"10.1109","author":[{"given":"Jidong","family":"Lv","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kaicheng","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guodong","family":"Wei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Tang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chenling","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weihui","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"8","author":"alur","year":"1999","journal-title":"Timed Automata"},{"journal-title":"Research on Test Case Generation Based on Timed Automata","year":"2010","author":"sujuan","key":"ref11"},{"key":"ref12","first-page":"30","article-title":"Implement on the conformance relation testing of input\/output automata","volume":"34","author":"zhaodong","year":"2002","journal-title":"Journal of ZhengZhou University"},{"key":"ref13","first-page":"44","article-title":"Multi-port Based Automatic Formal Testing Generation and Its Application in CTCS-3 Level On-board System","volume":"33","author":"xianqiong","year":"2011","journal-title":"Journal of the china railway society"},{"journal-title":"The general technical Programme of CTCS-3 level train control system in railways for passengers China Railway Publishing House","year":"2008","author":"zhang","key":"ref14"},{"journal-title":"Department of railway ministry science and technology CTCS-3 Specification-CTCS-3 System Requirement Specification","year":"2009","key":"ref15"},{"key":"ref16","first-page":"2881","author":"behrmann","year":"2001","journal-title":"UPPAAL - present and future\/\/In the Proc of the 40th IEEE Conference on Decision and Control Orlando"},{"journal-title":"COVER—A Real-time Test Case Generation Tool Accepted for the 3rd Workshop on Model-Based Testing","year":"2007","author":"hessel","key":"ref17"},{"key":"ref18","first-page":"125","article-title":"Specifying and Generating Test Cases Using Observer Automata\/\/GABOWSKI J, NIELSEN B","author":"blom","year":"2005","journal-title":"Springer-Verlag"},{"year":"0","key":"ref4"},{"key":"ref3","article-title":"Black-Box Testing","author":"beizer","year":"1995","journal-title":"Techniques for Functional Testing of Software and Systems"},{"journal-title":"Research on Optimal Generation Method of CTCS-3 Test Cases","year":"2010","author":"qianqian","key":"ref6"},{"journal-title":"Test Case Generation Based on Colored Petri Net and Its Application in Train Control System","year":"2010","author":"daohua","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"journal-title":"Research and Implementation of the Methodology of Test Case Generation of the On-board Equipment Based on UML-XML","year":"2010","author":"yanlin","key":"ref7"},{"key":"ref2","article-title":"Modeling and Verification of Time Constraints of Operation Scenarios of High-speed Train Control System","author":"jidong","year":"2011","journal-title":"Journal of the china railway society"},{"journal-title":"Hierarchical Formal Modeling and Verification Train Control System[D]","year":"2011","author":"jidong","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511619953"}],"event":{"name":"2013 IEEE Eleventh International Symposium on Autonomous Decentralized Systems (ISADS)","start":{"date-parts":[[2013,3,6]]},"location":"Mexico City, Mexico","end":{"date-parts":[[2013,3,8]]}},"container-title":["2013 IEEE Eleventh International Symposium on Autonomous Decentralized Systems (ISADS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6510013\/6513393\/06513433.pdf?arnumber=6513433","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T05:02:31Z","timestamp":1490245351000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6513433\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/isads.2013.6513433","relation":{},"subject":[],"published":{"date-parts":[[2013,3]]}}}