{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:51:42Z","timestamp":1729648302173,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/iri.2014.7051871","type":"proceedings-article","created":{"date-parts":[[2015,3,3]],"date-time":"2015-03-03T20:16:47Z","timestamp":1425413807000},"page":"52-61","source":"Crossref","is-referenced-by-count":3,"title":["Specification-based testing with buchi automata: Transition coverage criteria and property refinement"],"prefix":"10.1109","author":[{"given":"Li","family":"Tan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bolong","family":"Zeng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79124-9_6"},{"key":"ref11","first-page":"327","article-title":"A temporal logic based theory of test coverage and generation","volume":"2280","author":"hong","year":"2002","journal-title":"TACAS'02 Ser LNCS"},{"key":"ref12","first-page":"493","article-title":"Specification-based Testing with Linear Temporal Logic","author":"tan","year":"2004","journal-title":"IRI'04 IEEE Society"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s100090100062"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146242"},{"article-title":"Coverage metrics for requirements-based testing","year":"2009","author":"rajan","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/32.87284"},{"key":"ref17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-21768-5_13","article-title":"State Coverage Metrics for Property Coverage Testing with Büchi Automata","author":"tan","year":"2011","journal-title":"5th International Conference on Tests and Proofs ser Lecture Notes in Computer Science"},{"key":"ref18","article-title":"Test Criteria for Model-Checking-Assisted Test Case Generation: A Computational Study","author":"zeng","year":"2012","journal-title":"International Conference on Information Reuse and Integration"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050045"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_35"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232226"},{"journal-title":"Structured Programming","year":"1972","author":"dahl","key":"ref3"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36135-9_20","article-title":"From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata","volume":"2529","author":"giannakopoulou","year":"2002","journal-title":"Lecture Notes in Computer Science"},{"key":"ref5","first-page":"3","article-title":"Simple on-the-fly automatic verification of linear temporal logic","author":"gerth","year":"1995","journal-title":"PSTV'95"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.1999.809499"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref2","article-title":"Specification centered testing","author":"heimdahl","year":"2001","journal-title":"Proceedings of the Second International Workshop on Automated Program Analysis Testing and Verification"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAICPART.2009.20"},{"key":"ref1","article-title":"Software Considerations in Airborne Systems and Equipment Certification","author":"committee","year":"1992","journal-title":"Radio Technical Commission for Aeronautics Tech Rep"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69738-1_10"},{"journal-title":"Computer Networks","year":"2010","author":"tanenbaum","key":"ref22"},{"journal-title":"Complementation is more difficult with automata on infinite words","year":"1988","author":"michel","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/361082.361093"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46017-9_14"},{"journal-title":"Software Testing A Craftsman's Approach","year":"1995","author":"jorgensen","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(81)90106-X"}],"event":{"name":"2014 IEEE International Conference on Information Reuse and Integration (IRI)","start":{"date-parts":[[2014,8,13]]},"location":"Redwood City, CA, USA","end":{"date-parts":[[2014,8,15]]}},"container-title":["Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7036233\/7051718\/07051871.pdf?arnumber=7051871","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T06:38:24Z","timestamp":1498199904000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7051871\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/iri.2014.7051871","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}