{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T08:10:05Z","timestamp":1739088605609,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642012020"},{"type":"electronic","value":"9783642012037"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01203-7_5","type":"book-chapter","created":{"date-parts":[[2009,5,4]],"date-time":"2009-05-04T16:35:15Z","timestamp":1241454915000},"page":"57-67","source":"Crossref","is-referenced-by-count":1,"title":["Usage Distribution Coverage: What Percentage of Expected Use Has Been Executed in Software Testing?"],"prefix":"10.1007","author":[{"given":"Tomohiko","family":"Takagi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kazuya","family":"Nishimachi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masayuki","family":"Muragishi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takashi","family":"Mitsuhashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zengo","family":"Furukawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold (1990)"},{"issue":"3","key":"5_CR2","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"SE-4","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering\u00a0SE-4(3), 178\u2013187 (1978)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR3","unstructured":"Hartmann, H., Bokkerink, J., Ronteltap, V.: How to reduce your test process with 30% \u2013 the application of operational profiles at philips medical systems. In: Supplementary Proceedings of 17th International Symposium on Software Reliability Engineering, CD-ROM (2006)"},{"key":"5_CR4","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Kallepalli, C., Tian, J.: Usage measurement for statistical web testing and reliability analysis. In: Proceedings of 7th International Software Metrics Symposium, London, pp. 148\u2013158 (2001)","DOI":"10.1109\/METRIC.2001.915523"},{"key":"5_CR6","volume-title":"Lessons Learned in Software Testing","author":"C. Kaner","year":"2002","unstructured":"Kaner, C., Bach, J., Pettichord, B.: Lessons Learned in Software Testing. John Wiley & Sons, Chichester (2002)"},{"key":"5_CR7","first-page":"333","volume":"154","author":"J.D. Musa","year":"1996","unstructured":"Musa, J.D.: The operational profile. Computer and system sciences, NATO ASI Series F\u00a0154, 333\u2013344 (1996)","journal-title":"Computer and system sciences, NATO ASI Series F"},{"key":"5_CR8","unstructured":"Object Management Group, Unified Modeling Language (2007), http:\/\/www.uml.org\/"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Offutt, J., Abdurazik, A.: Generating tests from uml specifications. In: Proceedings of 2nd International Conference on the Unified Modeling Language, pp. 416\u2013429 (1999)","DOI":"10.1007\/3-540-46852-8_30"},{"issue":"12","key":"5_CR10","doi-asserted-by":"publisher","first-page":"825","DOI":"10.1016\/S0950-5849(00)00101-4","volume":"42","author":"J.H. Poore","year":"2000","unstructured":"Poore, J.H., Walton, G.H., Whittaker, J.A.: A constraint-based approach to the representation of software usage models. Information and Software Technology\u00a042(12), 825\u2013833 (2000)","journal-title":"Information and Software Technology"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Takagi, T., Furukawa, Z.: Construction method of a high-order markov chain usage model. In: Proceedings of 14th Asia-Pacific Software Engineering Conference, pp. 120\u2013126 (2007)","DOI":"10.1109\/APSEC.2007.36"},{"issue":"1","key":"5_CR12","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1002\/spe.4380250106","volume":"25","author":"G.H. Walton","year":"1995","unstructured":"Walton, G.H., Poore, J.H., Trammell, C.J.: Statistical testing of software based on a usage model. Software Practice and Experience\u00a025(1), 97\u2013108 (1995)","journal-title":"Software Practice and Experience"},{"issue":"10","key":"5_CR13","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1109\/32.328991","volume":"20","author":"J.A. Whittaker","year":"1994","unstructured":"Whittaker, J.A., Thomason, M.G.: A markov chain model for statistical software testing. IEEE Transactions on Software Engineering\u00a020(10), 812\u2013824 (1994)","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Studies in Computational Intelligence","Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01203-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T07:40:13Z","timestamp":1739086813000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01203-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642012020","9783642012037"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01203-7_5","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2009]]}}}