{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T00:47:31Z","timestamp":1725756451126},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/hicss.2003.1174916","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T16:27:43Z","timestamp":1087921663000},"page":"9 pp.","source":"Crossref","is-referenced-by-count":33,"title":["JUMBL: a tool for model-based statistical testing"],"prefix":"10.1109","author":[{"given":"S.J.","family":"Prowell","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(00)00123-3"},{"journal-title":"Cleanroom Software Engineering Technology and Process","year":"1999","author":"prowell","key":"ref11"},{"article-title":"Improved Techniques for Software Testing Based on Markov Chain Usage Models","year":"1999","author":"sayre","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(00)00110-5"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/151299.151326"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1002\/1097-024X(200009)30:11<1303::AID-SPE341>3.0.CO;2-3"},{"journal-title":"Algorithmic Graph Theory","year":"1985","author":"gibbons","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/32.637384"},{"journal-title":"Finite Markov Chains","year":"1976","author":"kemmeny","key":"ref5"},{"article-title":"Test Planning for Software Reuse","year":"1997","author":"morales","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/32.120314"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1002\/1097-024X(200009)30:11<1203::AID-SPE338>3.3.CO;2-E"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/32.825766"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(00)00101-4"}],"event":{"name":"36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the","start":{"date-parts":[[2003,1,9]]},"location":"Big Island, HI, USA","end":{"date-parts":[[2003,1,9]]}},"container-title":["36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8360\/26341\/01174916.pdf?arnumber=1174916","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T18:37:30Z","timestamp":1489430250000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1174916\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/hicss.2003.1174916","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}