{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T05:49:40Z","timestamp":1738216180043,"version":"3.34.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540787600"},{"type":"electronic","value":"9783540787617"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-78761-7_22","type":"book-chapter","created":{"date-parts":[[2008,4,2]],"date-time":"2008-04-02T14:24:48Z","timestamp":1207146288000},"page":"214-223","source":"Crossref","is-referenced-by-count":2,"title":["An Evolutionary Methodology for Test Generation for Peripheral Cores Via Dynamic FSM Extraction"],"prefix":"10.1007","author":[{"given":"D.","family":"Ravotto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Sanchez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Schillaci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Squillero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1109\/TC.1980.1675602","volume":"C-29","author":"S. Thatte","year":"1980","unstructured":"Thatte, S., Abraham, J.: Test Generation for Microprocessors. IEEE Transactions on Computers\u00a0C-29, 429\u2013441 (1980)","journal-title":"IEEE Transactions on Computers"},{"issue":"4","key":"22_CR2","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1109\/TC.2005.68","volume":"54","author":"N. Kranitis","year":"2005","unstructured":"Kranitis, N., Paschalis, A., Gizopoulos, D., Xenoulis, G.: Software-based self-testing of embedded processors. IEEE Transactions on Computers\u00a054(4), 461\u2013475 (2005)","journal-title":"IEEE Transactions on Computers"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Corno, F., Cumani, G., Sonza Reorda, M., Squillero, G.: Fully Automatic Test Program Generation for Microprocessor Cores. In: DATE2003: IEEE Design, Automation & Test in Europe, pp. 1006\u20131011 (2003)","DOI":"10.1109\/DATE.2003.1253736"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Cheng, A., Parashkevov, A., Lim, C.C.: A Software Test Program Generator for Verifying System-on-Chip. In: 10th IEEE International High Level Design Validation and Test Workshop 2005 (HLDVT 2005), pp. 79\u201386 (2005)","DOI":"10.1109\/HLDVT.2005.1568818"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Corno, F., Cumani, G., Sonza Reorda, M., Squillero, G.: An RT-level Fault Model with High Gate Level Correlation. In: HLDVT2000: IEEE International High Level Design Validation and Test Workshop (2000)","DOI":"10.1109\/HLDVT.2000.889551"},{"key":"22_CR6","unstructured":"Chien-Nan, J.L., Chen-Yi, C., Jing-Yang, J., Ming-Chih, L., Hsing-Ming, J.: A novel approach for functional coverage measurement in HDL Circuits and Systems. In: ISCAS 2000: The 2000 IEEE International Symposium on Circuits and Systems, pp. 217\u2013220 (2000)"},{"key":"22_CR7","first-page":"83","volume-title":"Test and validation of hardware\/software systems starting from system-level descriptions","author":"E. Sanchez","year":"2004","unstructured":"Sanchez, E., Sonza Reorda, M., Squillero, G.: Test Program Generation From High-level Microprocessor Descriptions. In: Sonza Reorda, M., Violante, M., Peng, Z. (eds.) Test and validation of hardware\/software systems starting from system-level descriptions, p. 179, pp. 83\u2013106. Springer, Heidelberg (2004)"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Jayaraman, K., Vedula, V.M., Abraham, J.A.: Native Mode Functional Self-test Generation for System-on-Chip. In: IEEE International Symposium on Quality Electronic Design (ISQED 2002), pp. 280\u2013285 (2002)","DOI":"10.1109\/ISQED.2002.996752"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Sanchez, E., Veiras Bolzani, L., Sonza Reorda, M.: A Software-Based methodology for the generation of peripheral test sets Based on high-level descriptions. In: SBCCI 2007, Symposium on Integrated Circuits, pp. 348\u2013353 (2007)","DOI":"10.1145\/1284480.1284571"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Bolzani, L., Sanchez, E., Schillaci, M., Squillero, G.: An Automated Methodology for Cogeneration of Test Blocks for Peripheral Cores. In: IOLTS 2007: International On-Line Testing Symposium, pp. 265\u2013270 (2007)","DOI":"10.1109\/IOLTS.2007.14"},{"key":"22_CR11","unstructured":"http:\/\/www.opencores.org\/"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Bolzani, L., Sanchez, E., Schillaci, M., Squillero, G.: Co-Evolution of Test Programs and Stimuli Vectors for Testing of Embedded Peripheral Cores. In: CEC 2007. IEEE Congress on Evolutionary Computation, pp. 3474\u20133481 (2007)","DOI":"10.1109\/CEC.2007.4424922"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Apostolakis, A., Psarakis, M., Gizopoulos, D., Paschalis, A.: A functional Self-Test Approach for Peripheral Cores in Processor-Based SoCs. In: IOLTS 2007: IEEE International On-Line Testing Symposium (2007)","DOI":"10.1109\/IOLTS.2007.7"},{"key":"22_CR14","unstructured":"http:\/\/ugp3.sourceforge.net\/"}],"container-title":["Lecture Notes in Computer Science","Applications of Evolutionary Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78761-7_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T11:40:31Z","timestamp":1738150831000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78761-7_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540787600","9783540787617"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78761-7_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}