{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T13:11:23Z","timestamp":1773148283486,"version":"3.50.1"},"reference-count":28,"publisher":"Institution of Engineering and Technology (IET)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IET Comput. Digit. Tech."],"published-print":{"date-parts":[[2007,5]]},"DOI":"10.1049\/iet-cdt:20060139","type":"journal-article","created":{"date-parts":[[2007,5,11]],"date-time":"2007-05-11T16:23:22Z","timestamp":1178900602000},"page":"187-196","source":"Crossref","is-referenced-by-count":7,"title":["Improving high-level and gate-level testing with FATE: A functional automatic test pattern generator traversing unstabilised extended FSM"],"prefix":"10.1049","volume":"1","author":[{"given":"G.","family":"Di Guglielmo","sequence":"first","affiliation":[{"name":"Dipartimento di Informatica, Universita\u0300 di Verona, Strada Le Grazie 15, Verona, 37134, Italy"}]},{"given":"F.","family":"Fummi","sequence":"additional","affiliation":[{"name":"Dipartimento di Informatica, Universita\u0300 di Verona, Strada Le Grazie 15, Verona, 37134, Italy"}]},{"given":"C.","family":"Marconcini","sequence":"additional","affiliation":[{"name":"Dipartimento di Informatica, Universita\u0300 di Verona, Strada Le Grazie 15, Verona, 37134, Italy"}]},{"given":"G.","family":"Pravadelli","sequence":"additional","affiliation":[{"name":"Dipartimento di Informatica, Universita\u0300 di Verona, Strada Le Grazie 15, Verona, 37134, Italy"}]}],"member":"265","reference":[{"key":"10.1049\/iet-cdt:20060139_r1","first-page":"1115","author":"Kapuer","year":"1999","journal-title":"Proc. IEEEITC"},{"key":"10.1049\/iet-cdt:20060139_r2","unstructured":"High time for high-level test generation\u2019, Panel at IEEE ITC 1999"},{"key":"10.1049\/iet-cdt:20060139_r3","first-page":"436","author":"Ferrandi","year":"1998"},{"key":"10.1049\/iet-cdt:20060139_r4","first-page":"402","volume":"20","author":"Ghosh","year":"2001"},{"key":"10.1049\/iet-cdt:20060139_r5","first-page":"225","author":"Corno","year":"2001","journal-title":"Proc. IEEE ATS"},{"key":"10.1049\/iet-cdt:20060139_r6","first-page":"658","author":"Fin","year":"2003","journal-title":"Proc. ECSI FDL"},{"key":"10.1049\/iet-cdt:20060139_r7","first-page":"290","author":"Zhang","year":"2003","journal-title":"Proc. IEEE ITC"},{"key":"10.1049\/iet-cdt:20060139_r8","first-page":"187","author":"Lingappan","year":"2003","journal-title":"Proc. IEEE ICCD"},{"key":"10.1049\/iet-cdt:20060139_r9","first-page":"156","author":"Xin","year":"2005","journal-title":"Proc. IEEE ETS"},{"key":"10.1049\/iet-cdt:20060139_r10","first-page":"87","author":"Wang","year":"2002","journal-title":"Proc. ACM\/IEEE ICCAD"},{"key":"10.1049\/iet-cdt:20060139_r11","first-page":"272","author":"Li","year":"2004","journal-title":"Proc. IEEE DATE"},{"key":"10.1049\/iet-cdt:20060139_r12","author":"Graphics"},{"key":"10.1049\/iet-cdt:20060139_r13","unstructured":"Synopsys: \u2018Tetramax\u2019, www.synopsys.com"},{"key":"10.1049\/iet-cdt:20060139_r14","first-page":"389","author":"Wu","year":"2004","journal-title":"Proc. IEEE VTS"},{"key":"10.1049\/iet-cdt:20060139_r15","first-page":"666","author":"Ier","year":"2005","journal-title":"Proc. IEEE DATE"},{"key":"10.1049\/iet-cdt:20060139_r16","first-page":"1710","author":"Padmanabhuni","year":"1999","journal-title":"Proc. IEEE CCECE"},{"key":"10.1049\/iet-cdt:20060139_r17","first-page":"57","volume":"1","author":"Cheng","year":"1996"},{"key":"10.1049\/iet-cdt:20060139_r18","unstructured":"Myers, G.: \u2018The art of software testing\u2019, (Wiley-Interscience, New York 1979)"},{"key":"10.1049\/iet-cdt:20060139_r19","author":"Di Guglielmo","year":"2006","journal-title":"Proc. IEEE ISQED"},{"key":"10.1049\/iet-cdt:20060139_r20","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2004.07.007"},{"key":"10.1049\/iet-cdt:20060139_r21","unstructured":"\u2018Essential issue in codesign\u2019, University of California, 1997 Irvine"},{"key":"10.1049\/iet-cdt:20060139_r22","first-page":"334","author":"Hierons","year":"2002","journal-title":"Proc. IEEE COMPSAC"},{"key":"10.1049\/iet-cdt:20060139_r23","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.1275300"},{"key":"10.1049\/iet-cdt:20060139_r24","unstructured":"Russel, S., and Norvig, P.: \u2018Artificial Intelligence: a modern approach\u2019, (Prentice-Hall 2002)"},{"key":"10.1049\/iet-cdt:20060139_r25","first-page":"147","author":"Lin","year":"1999","journal-title":"Proc. ACM\/IEEE ICCAD"},{"key":"10.1049\/iet-cdt:20060139_r26","author":"Di Guglielmo","year":"2006","journal-title":"Proc. IEEE VTS"},{"key":"10.1049\/iet-cdt:20060139_r27","first-page":"269","volume":"1","author":"Dijkstra","year":"1959"},{"key":"10.1049\/iet-cdt:20060139_r28","first-page":"163","author":"Fin","year":"2003","journal-title":"Proc. IEEE HLDVT"}],"container-title":["IET Computers & Digital Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/iet-cdt_20060139?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T14:53:18Z","timestamp":1731423198000},"score":1,"resource":{"primary":{"URL":"http:\/\/digital-library.theiet.org\/doi\/10.1049\/iet-cdt%3A20060139"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,5]]}},"alternative-id":["10.1049\/iet-cdt:20060139"],"URL":"https:\/\/doi.org\/10.1049\/iet-cdt:20060139","relation":{},"ISSN":["1751-8601","1751-861X"],"issn-type":[{"value":"1751-8601","type":"print"},{"value":"1751-861X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,5]]}}}