{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,7]],"date-time":"2025-05-07T04:09:06Z","timestamp":1746590946666,"version":"3.40.5"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319133379"},{"type":"electronic","value":"9783319133386"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-13338-6_2","type":"book-chapter","created":{"date-parts":[[2014,11,3]],"date-time":"2014-11-03T03:35:45Z","timestamp":1414985745000},"page":"17-29","source":"Crossref","is-referenced-by-count":0,"title":["Enhancing Scenario Quality Using Quasi-Events"],"prefix":"10.1007","author":[{"given":"Yoav","family":"Katz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eitan","family":"Marcus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Avi","family":"Ziv","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"2_CR1","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1109\/MDT.2004.1277900","volume":"21","author":"A. Adir","year":"2004","unstructured":"Adir, A., Almog, E., Fournier, L., Marcus, E., Rimon, M., Vinov, M., Ziv, A.: Genesys-Pro: Innovations in test program generation for functional processor verification. IEEE Design and Test of Computers\u00a021(2), 84\u201393 (2004)","journal-title":"IEEE Design and Test of Computers"},{"issue":"3","key":"2_CR2","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1147\/sj.413.0386","volume":"41","author":"E. Bin","year":"2002","unstructured":"Bin, E., Emek, R., Shurek, G., Ziv, A.: Using a constraint satisfaction formulation and solution techniques for random test program generation. IBM Systems Journal\u00a041(3), 386\u2013402 (2002)","journal-title":"IBM Systems Journal"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Bose, M., Shin, J., Rudnick, E.M., Dukes, T., Abadir, M.: A genetic approach to automatic bias generation for biased random instruction generation. In: Proceedings of the 2001 Congress on Evolutionary Computation, CEC 2001, pp. 442\u2013448 (May 2001)","DOI":"10.1109\/CEC.2001.934425"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Gutkovich, B., Moss, A.: CP with architectural state lookup for functional test generation. In: Proceedings of the High-Level Design Validation and Test Workshop, pp. 111\u2013118 (2006)","DOI":"10.1109\/HLDVT.2006.319972"},{"key":"2_CR5","unstructured":"Hennenhoefer, E., Typaldos, M.: The evolution of processor test generation technology, http:\/\/www.obsidiansoft.com\/pdf\/evolution.pdf"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1007\/978-3-642-16873-4","volume-title":"HVC 2010","author":"C. Ioannides","year":"2010","unstructured":"Ioannides, C., Barrett, G., Eder, K.: Feedback-based coverage directed test generation: An industrial evaluation. In: Barner, S., Harris, I., Kroening, D., Raz, O. (eds.) HVC 2010. LNCS, vol.\u00a06504, pp. 112\u2013128. Springer, Heidelberg (2010)"},{"issue":"2","key":"2_CR7","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1109\/MM.2010.38","volume":"30","author":"R. Kalla","year":"2010","unstructured":"Kalla, R., Sinharoy, B., Starke, W., Floyd, M.: POWER7: IBM\u2019s next-generation server processor. IEEE Micro\u00a030(2), 7\u201315 (2010)","journal-title":"IEEE Micro"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Katz, Y., Rimon, M., Ziv, A.: Generating instruction streams using abstract CSP. In: Proceedings of the 2012 Design, Automation and Test in Europe Conference, pp. 15\u201320 (March 2012)","DOI":"10.1109\/DATE.2012.6176425"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-39611-3_17","volume-title":"Hardware and Software: Verification and Testing","author":"Y. Katz","year":"2013","unstructured":"Katz, Y., Rimon, M., Ziv, A.: A novel approach for implementing microarchitectural verification plans in processor designs. In: Biere, A., Nahir, A., Vos, T. (eds.) HVC 2012. LNCS, vol.\u00a07857, pp. 148\u2013161. Springer, Heidelberg (2013)"},{"key":"2_CR10","unstructured":"Marick, B.: The Craft of Software Testing, Subsystem Testing Including Object-Based and Object-Oriented Testing. Prentice-Hall (1985)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Mishra, P., Dutt, N.: Automatic functional test program generation for pipelined processors using model checking. In: Seventh Annual IEEE International Workshop on High-Level Design Validation and Test, pp. 99\u2013103 (October 2002)","DOI":"10.1109\/HLDVT.2002.1224436"},{"key":"2_CR12","unstructured":"Patterson, D.A., Hennessy, J.L.: Computer Organization and Design: The Hardware\/Software Interface. Morgan Kaufmann (1997)"},{"key":"2_CR13","unstructured":"Certitude functional qualification system, http:\/\/www.springsoft.com\/products\/functional-qualification\/certitude"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software: Verification and Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-13338-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T04:21:49Z","timestamp":1746505309000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-13338-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319133379","9783319133386"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-13338-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}