{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:12:55Z","timestamp":1725484375040},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437499"},{"type":"electronic","value":"9783540479840"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-47984-8_34","type":"book-chapter","created":{"date-parts":[[2007,5,19]],"date-time":"2007-05-19T20:56:18Z","timestamp":1179608178000},"page":"310-320","source":"Crossref","is-referenced-by-count":1,"title":["Extended Model-Based Testing toward High Code Coverage Rate"],"prefix":"10.1007","author":[{"given":"Juichi","family":"Takahashi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoshiaki","family":"Kakuda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,5,29]]},"reference":[{"issue":"11","key":"34_CR1","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1109\/6.632499","volume":"34","author":"L. Apfelbaum","year":"1997","unstructured":"Apfelbaum, L. \u201cSpec-based tests make sure telecom software works\u201d IEEE Spectrum, Nov. 1997, Vol. 34, Issue 11, pp. 77\u201383","journal-title":"IEEE Spectrum"},{"key":"34_CR2","unstructured":"Robinson, H. \u201cIntelligent Test Automation \u201c, Testing and Quality Eng., Sep. 2000"},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"Dalas, S. R., Jain, A., Karunanithi N., Leaton, J. M., Lott, C. M., and Patton, G.C., \u201cModel-Based Testing in Practice\u201d ICSE 99, 1999","DOI":"10.1145\/302405.302640"},{"key":"34_CR4","doi-asserted-by":"crossref","unstructured":"Memon, A. M., Pollack, M. E., \u201cHierarchical GUI Test Case Generation Using Automated Planning\u201d IEEE Tran. on Soft. Eng., Vol. 27, No. 2, Feb. 2001","DOI":"10.1109\/32.908959"},{"key":"34_CR5","unstructured":"Esmelioglu, S. and Apfelbaum L. \u201cAUTOMATED TEST GENERATION, EXECUTION, AND REPORTING\u201d Pacific N. W. Software Quality Conf., 1997"},{"key":"34_CR6","volume-title":"The Art of Software Testing","author":"G. J. Myers","year":"1979","unstructured":"Myers, G. J., The Art of Software Testing, New York: John Wiley & Sons, 1979"},{"key":"34_CR7","unstructured":"Hetzel, B., The Complete Guide to Software Testing, John Wiley & Sons, Inc., 1976"},{"key":"34_CR8","volume-title":"Software Testing Techniques","author":"B. Beizer","year":"1983","unstructured":"Beizer, B., Software Testing Techniques, Van Nostrand Reinhold Inc., NY, 1983"},{"key":"34_CR9","doi-asserted-by":"crossref","unstructured":"Yamaura, T., \u201cHow To Design Practical Test Cases\u201d IEEE Soft., Nov. 1998, pp. 30\u201336","DOI":"10.1109\/52.730835"},{"key":"34_CR10","unstructured":"Beizer, B., Black-Box Testing, John Wiley & Sons, Inc., 1995"},{"issue":"10","key":"34_CR11","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1109\/32.328991","volume":"20","author":"J. A. Whittaker","year":"1994","unstructured":"Whittaker, J. A. and Thomason, M., \u201cMarkov Chain Model for Statistical Software Testing\u201d IEEE Trans. on Soft. Eng., Vol. 20, No. 10, pp. 812\u2013824, Oct. 1994","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"34_CR12","doi-asserted-by":"crossref","unstructured":"Cohen, D. M. and Dalal, S. R., \u201cThe AETG System: An Approach to Testing Based on Combinational Design\u201d IEEE Trans. Soft. Eng., Vol. 23, No. 7, July 1997","DOI":"10.1109\/32.605761"},{"key":"34_CR13","unstructured":"Whittaker, J. A., \u201cSoftware\u2019s Invisible Users\u201d IEEE Soft., Vol. 8, No. 8, 2001"},{"key":"34_CR14","unstructured":"X86Free project Inc., http:\/\/www.xfree86.org\/"},{"key":"34_CR15","unstructured":"Takahashi, J., \u201cIs Special Software Testing Necessary Before Releasing Products to an International Market?\u201d Quality Week 2000"},{"key":"34_CR16","doi-asserted-by":"crossref","unstructured":"Takahashi, J., \u201cAn Automated Testing Oracle for Verifying GUI Objects\u201d ACM Software. Eng. Note., July 2000, pp. 83\u201388","DOI":"10.1145\/505482.505494"}],"container-title":["Lecture Notes in Computer Science","Software Quality \u2014 ECSQ 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47984-8_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T05:39:57Z","timestamp":1556429997000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47984-8_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437499","9783540479840"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-47984-8_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2002]]}}}