{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:08:28Z","timestamp":1725566908263},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540281283"},{"type":"electronic","value":"9783540318231"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11535409_80","type":"book-chapter","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T01:23:48Z","timestamp":1285637028000},"page":"549-556","source":"Crossref","is-referenced-by-count":2,"title":["Using Model-Based Test Program Generator for Simulation Validation"],"prefix":"10.1007","author":[{"given":"Youhui","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Dongsheng","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Jinglei","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Weimin","family":"Zheng","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"80_CR1","unstructured":"Sharangpani, H.P., Barton, M.L.: Statistical Analysis of Floating Point Flaw in the Pentium Processor. Intel Corporation (1994)"},{"key":"80_CR2","doi-asserted-by":"crossref","unstructured":"Casaubieilh, F., et al.: Functional Verification Methodology of Chameleon Processor. In: 33rd Design Automation Conference, Las Vegas, June 1996, pp. 421\u2013426 (1996)","DOI":"10.1145\/240518.240599"},{"key":"80_CR3","doi-asserted-by":"crossref","unstructured":"Aharon, D., Goodman, M., Levinger, Y., Lichtenstein, Y., Malka, C., Metzger, M.: Test Program Generation for Functional Verification of PowerPC Processors in IBM. In: 32nd Design Automation Conference, San Francisco, June 1995, pp. 279\u2013285 (1995)","DOI":"10.1145\/217474.217542"},{"key":"80_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K. McMillan","year":"1993","unstructured":"McMillan, K.: Symbolic Model Checking. Kluwer, Dordrecht (1993)"},{"key":"80_CR5","doi-asserted-by":"crossref","unstructured":"Kurshan, R.P.: computer-Aided Verification of Coordinating Processes: The Automatic- Theoretic Approach. Princeton Series in Computer Science (1995)","DOI":"10.1515\/9781400864041"},{"key":"80_CR6","doi-asserted-by":"crossref","unstructured":"AI-Hayek, G., Robach, C.: From design Validation to Hardware Testing: A Unified Approach. JETTA: The Journal of Electronic Testing\u00a0(14), 133\u2013140 (1999)","DOI":"10.1023\/A:1008317826940"},{"key":"80_CR7","volume-title":"Software Testing Techniques","author":"B. Beizer","year":"1990","unstructured":"Beizer, B.: Software Testing Techniques. Van Nostrand Rheinold, New York (1990)"},{"key":"80_CR8","unstructured":"Devadas, S., Ghosh, A., Keutzer, K.: An Observability-Based Code Coverage Metric for Functional Verification. In: Proc. ICCAD 1996,"},{"key":"80_CR9","doi-asserted-by":"crossref","unstructured":"Thaker, P.A., Agrawal, V.D., Zaghloul, M.E.: Validation Vector Grade: A new Coverage Metric for Validation and Test. In: VTS 1999: IEEE VLSI Test Symposium, pp. 182\u2013188 (1999)","DOI":"10.1109\/VTEST.1999.766663"}],"container-title":["Lecture Notes in Computer Science","Embedded Software and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11535409_80.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:11:30Z","timestamp":1605625890000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11535409_80"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540281283","9783540318231"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/11535409_80","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}