{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:53:24Z","timestamp":1725677604072},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/apsec.2011.26","type":"proceedings-article","created":{"date-parts":[[2012,1,18]],"date-time":"2012-01-18T19:56:42Z","timestamp":1326916602000},"page":"274-281","source":"Crossref","is-referenced-by-count":17,"title":["Conformance Testing for OSEK\/VDX Operating System Using Model Checking"],"prefix":"10.1109","author":[{"given":"Jiang","family":"Chen","sequence":"first","affiliation":[]},{"given":"Toshiaki","family":"Aoki","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","first-page":"146","article-title":"Using model checking to generate tests from requirements specifications","author":"gargantini","year":"1999","journal-title":"ESEC\/FSE-7"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.264"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ICFEM.1998.730569"},{"key":"13","first-page":"31","article-title":"A survey on model-based testing approaches: A systematic review","author":"arilo","year":"2007","journal-title":"Empirical Assessment of Software Engineering Languages and Technologies"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1459352.1459354"},{"journal-title":"The Z Notation A Reference Manual","year":"1992","author":"spivey","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2009.37"},{"journal-title":"OSEK\/VDX Conformance Testing Methodology 2 0","year":"1999","key":"3"},{"journal-title":"Specification of Operating System 4 0 0","year":"2009","key":"2"},{"journal-title":"OSEK\/VDX Operating System Specification 2 2 3","year":"2005","key":"1"},{"journal-title":"Using On-the-fly Verification Techniques for the Generation of Test Suites","first-page":"348","year":"1996","author":"fernandez","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.402"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/5.533956"},{"journal-title":"The SPIN Model Checker Primer and Reference Manual","year":"2004","author":"holzmann","key":"5"},{"key":"4","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1007\/978-3-642-16164-3_5","article-title":"Automatic generation of model checking scripts based on environment modeling","author":"yatake","year":"2010","journal-title":"Model Checking Software"},{"key":"9","first-page":"108","article-title":"Test generation derived from model-checking","author":"jeron","year":"1999","journal-title":"CAV"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050044"}],"event":{"name":"2011 18th Asia Pacific Software Engineering Conference","start":{"date-parts":[[2011,12,5]]},"location":"Ho Chi Minh, Vietnam","end":{"date-parts":[[2011,12,8]]}},"container-title":["2011 18th Asia-Pacific Software Engineering Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6129717\/6130641\/06130697.pdf?arnumber=6130697","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T08:56:32Z","timestamp":1497948992000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6130697\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":17,"URL":"http:\/\/dx.doi.org\/10.1109\/apsec.2011.26","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}
