{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T01:33:34Z","timestamp":1725672814786},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/qsic.2003.1319119","type":"proceedings-article","created":{"date-parts":[[2005,4,12]],"date-time":"2005-04-12T14:25:04Z","timestamp":1113315904000},"page":"336-342","source":"Crossref","is-referenced-by-count":18,"title":["MaTeLo - statistical usage testing by annotated sequence diagrams, Markov chains and TTCN-3"],"prefix":"10.1109","author":[{"given":"W.","family":"Dulz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Fenhua Zhen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/54.844331"},{"key":"ref11","article-title":"PMSC for Performance Evaluation","author":"lambert","year":"1998","journal-title":"Proc Performance and Time in SDL & MSC Workshop"},{"journal-title":"Java Compiler Compiler","year":"2003","author":"norvell","key":"ref12"},{"journal-title":"Jocelyn Paine Introduction to JJTree","year":"1998","key":"ref13"},{"journal-title":"JDOM API Javadoc","year":"0","author":"hunter","key":"ref14"},{"journal-title":"SAX API Javadoc","year":"0","key":"ref15"},{"journal-title":"Statistical testing of software based on a usage model Software-practice and experience","year":"1995","author":"whittaker","key":"ref4"},{"journal-title":"Statistical Usage Testing Expanding the Ability of Testing","year":"1999","author":"selvidge","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35516-0_10"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(02)00108-8"},{"key":"ref8","first-page":"165","article-title":"Timed MSCs - an Extension to MSC'96. GI\/ITG-Workshop on Formal Description Techniques for Distributed Systems","author":"schieferdecker","year":"1997","journal-title":"GMD Studie"},{"article-title":"Test Case Generation and Test Case Specification with Message Sequence Charts","year":"1994","author":"grabowski","key":"ref7"},{"key":"ref2","article-title":"Specification-driven Performance Monitoring of SDL\/MSC-specified Protocols","author":"dauphin","year":"1995","journal-title":"8th Int Workshop on Protocol Test Systems Evry"},{"article-title":"Improved Techniques for Software Testing Based on Markov Chain Usage Models","year":"1999","author":"sayre","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35198-8_2"}],"event":{"name":"Third International Conference on Quality Software, 2003. Proceedings.","start":{"date-parts":[[2003,11,7]]},"location":"Dallas, TX, USA","end":{"date-parts":[[2003,11,7]]}},"container-title":["Third International Conference on Quality Software, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9215\/29226\/01319119.pdf?arnumber=1319119","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T22:18:13Z","timestamp":1489529893000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1319119\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/qsic.2003.1319119","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}