{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T10:40:05Z","timestamp":1749206405389,"version":"3.41.0"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2001,2,1]],"date-time":"2001-02-01T00:00:00Z","timestamp":980985600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,2,1]],"date-time":"2001-02-01T00:00:00Z","timestamp":980985600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Electronic Testing"],"published-print":{"date-parts":[[2001,2]]},"DOI":"10.1023\/a:1011193725824","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T08:43:03Z","timestamp":1040632983000},"page":"37-51","source":"Crossref","is-referenced-by-count":6,"title":["Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits"],"prefix":"10.1007","volume":"17","author":[{"given":"Martin","family":"Keim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicole","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Becker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"11","key":"332673_CR1","doi-asserted-by":"crossref","first-page":"864","DOI":"10.1109\/TC.1979.1675267","volume":"28","author":"M. Abramovici","year":"1979","unstructured":"M. Abramovici and M.A. Breuer, \u201cOn Redundancy and Fault Detection in Sequential Circuits,\u201d IEEE Trans. on Comp., vol. 28,no. 11, pp. 864-865, 1979.","journal-title":"IEEE Trans. on Comp."},{"key":"332673_CR2","doi-asserted-by":"crossref","unstructured":"M. Abramovici, K.B. Rajan, and D.T. Miller, \u201cFreeze: A New Approach for Testing Sequential Circuits,\u201d in Design Automation Conf., 1992, pp. 22-25.","DOI":"10.1109\/DAC.1992.227869"},{"key":"332673_CR3","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1023\/A:1008376522451","volume":"3","author":"B. Becker","year":"1999","unstructured":"B. Becker, M. Keim, and R. Krieger, \u201cHybrid Fault Simulation for Synchronous Sequential Circuit,\u201d Jour. of Electronic Testing: Theory and Applications, vol. 3, pp. 219-238, 1999.","journal-title":"Jour. of Electronic Testing: Theory and Applications"},{"key":"332673_CR4","doi-asserted-by":"crossref","unstructured":"M.A. Breuer and A.D. Friedman, Diagnosis & Reliable Design of Digital Systems, Computer Science Press, 1976.","DOI":"10.1007\/978-3-642-95424-5"},{"issue":"8","key":"332673_CR5","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"R.E. Bryant, \u201cGraph-Based Algorithms for Boolean Function Manipulation,\u201d IEEE Trans. on Comp., vol. 35,no. 8, pp. 677-691, 1986.","journal-title":"IEEE Trans. on Comp."},{"key":"332673_CR6","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF00971937","volume":"4","author":"H. Cho","year":"1993","unstructured":"H. Cho, S. Jeong, F. Somenzi, and C. Pixley, \u201cSynchronizing Sequences and Symbolic Traversal Techniques in Test Generation,\u201d Jour. of Electronic Testing: Theory and Applications, vol. 4, pp. 19-31, 1993.","journal-title":"Jour. of Electronic Testing: Theory and Applications"},{"key":"332673_CR7","doi-asserted-by":"crossref","unstructured":"F. Corno, P. Prinetto, M. Rebaudengo, and M.S. Reorda, \u201cComparing Topological, Symbolic and GA-Based ATPGs: An Experimental Approach,\u201d in Int'l Test Conf., 1996, pp. 39-47.","DOI":"10.1109\/TEST.1996.556941"},{"issue":"8","key":"332673_CR8","doi-asserted-by":"crossref","first-page":"991","DOI":"10.1109\/43.511578","volume":"15","author":"F. Corno","year":"1996","unstructured":"F. Corno, P. Prinetto, M. Rebaudengo, and M.S. Reorda, \u201cGATTO: A Genetic Algorithm for Automatic Test Pattern Generation for Large Synchronous Sequential Circuits,\u201d IEEE Trans. on CAD, vol. 15,no. 8, pp. 991-1000, 1996.","journal-title":"IEEE Trans. on CAD"},{"key":"332673_CR9","doi-asserted-by":"crossref","unstructured":"F. Corno, P. Prinetto, M. Rebaudengo, M.S. Reorda, and R. Mosca, \u201cAdvanced Techniques for GA-Based Sequential ATPG,\u201d in European Design & Test Conf., 1996, pp. 375-379.","DOI":"10.1109\/EDTC.1996.494328"},{"key":"332673_CR10","volume-title":"Handbook of Genetic Algorithms","author":"L. Davis","year":"1991","unstructured":"L. Davis, Handbook of Genetic Algorithms, New York: van Nostrand Reinhold, 1991."},{"key":"332673_CR11","doi-asserted-by":"crossref","unstructured":"N. Drechsler, R. Drechsler, and B. Becker, \u201cA New Model for Multi-Objective Optimization in Evolutionary Algorithms,\u201d in Int'l Conference on Computational Intelligence (Fuzzy Days), 1999, LNCS, vol. 1625, pp. 108-117.","DOI":"10.1007\/3-540-48774-3_14"},{"key":"332673_CR12","unstructured":"R. Drechsler, \u201cEvolutionary Algorithms for Computer Aided Design of Integrated Circuits,\u201d in Int'l Symposium on IC Technologies, Systems and Applications, 1997, pp. 302-311."},{"issue":"1","key":"332673_CR13","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/320954.320957","volume":"6","author":"R.D. Eldred","year":"1959","unstructured":"R.D. Eldred, \u201cTest Routines Based on Symbolic Logical Statements,\u201d Journal of the ACM, vol. 6,no. 1, pp. 33-36, 1959.","journal-title":"Journal of the ACM"},{"key":"332673_CR14","volume-title":"Adaption in Natural and Artifical Systems","author":"J.H. Holland","year":"1975","unstructured":"J.H. Holland, Adaption in Natural and Artifical Systems, Ann Arbor, MI: The University of Michigan Press, 1975."},{"key":"332673_CR15","doi-asserted-by":"crossref","unstructured":"M.S. Hsiao, E.M. Rudnick, and J.H. Patel, \u201cAlternating Strategies for Sequential Circuit ATPG,\u201d in European Design & Test Conf., 1996, pp. 368-374.","DOI":"10.1109\/EDTC.1996.494327"},{"key":"332673_CR16","doi-asserted-by":"crossref","unstructured":"M.S. Hsiao, E.M. Rudnick, and J.H. Patel, \u201cSequential Circuit Test Generation Using Dynamic State Traversal,\u201d in European Design & Test Conf., 1997, pp. 22-28.","DOI":"10.1109\/EDTC.1997.582325"},{"key":"332673_CR17","series-title":"Technical Report","volume-title":"Nearly Exact Signal Probabilities for Synchronous Sequential Circuits\u2014An Experimental Analysis","author":"M. Keim","year":"1998","unstructured":"M. Keim and B. Becker, \u201cNearly Exact Signal Probabilities for Synchronous Sequential Circuits\u2014An Experimental Analysis,\u201d Technical Report 106\/98, Albert-Ludwigs-University, Freiburg, June 1998."},{"key":"332673_CR18","doi-asserted-by":"crossref","unstructured":"M. Keim, B. Becker, and B. Stenner, \u201cOn the (Non-) Resetability of Synchronous Sequential Circuits,\u201d in VLSI Test Symp., 1996, pp. 240-245.","DOI":"10.1109\/VTEST.1996.510863"},{"key":"332673_CR19","doi-asserted-by":"crossref","unstructured":"M. Keim, N. Drechsler, and B. Becker, \u201cCombining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits,\u201d in ASP Design Automation Conf., January 1999, pp. 315-318.","DOI":"10.1109\/ASPDAC.1999.760022"},{"key":"332673_CR20","doi-asserted-by":"crossref","unstructured":"M.H. Konijnenburg, J.Th. van der Linden, and A.J. van der Goor, \u201cIllegal State Space Identification for Sequential Circuit Test Generation,\u201d in Design, Automation and Test in Europe, 1999, pp. 741-746.","DOI":"10.1109\/DATE.1999.761213"},{"key":"332673_CR21","doi-asserted-by":"crossref","unstructured":"R. Krieger, \u201cPLATO: A Tool for Computation of Exact Signal Probabilities,\u201d in VLSI Design Conf., 1993, pp. 65-68.","DOI":"10.1109\/ICVD.1993.669640"},{"key":"332673_CR22","unstructured":"X. Lin, I. Pomeranz, and S.M. Reddy, \u201cMIX: A Test Generation System for Synchronous Sequential Circuits,\u201d in VLSI Design, 1998, pp. 456-463."},{"key":"332673_CR23","unstructured":"A. Miczo, \u201cThe Sequential ATPG: A Theoretical Limit,\u201d in Int'l Test Conf., 1983, pp. 143-147."},{"key":"332673_CR24","doi-asserted-by":"crossref","unstructured":"T.M. Niermann and J.H. Patel, \u201cHITEC: A Test Generation Package for Sequential Circuits,\u201d in European Conf. on Design Automation, 1991, pp. 214-218.","DOI":"10.1109\/EDAC.1991.206393"},{"key":"332673_CR25","doi-asserted-by":"crossref","unstructured":"I. Pomeranz and S.M. Reddy, \u201cTest Generation for Synchronous Sequential Circuits using Multiple Observation Times,\u201d in Int'l Symp. on Fault-Tolerant Comp., 1991, pp. 52-59.","DOI":"10.1109\/FTCS.1991.146632"},{"key":"332673_CR26","doi-asserted-by":"crossref","unstructured":"I. Pomeranz and S.M. Reddy, \u201cThe Multiple Observation Time Test Strategy,\u201d in IEEE Trans. on Comp., May 1992, pp. 627-637.","DOI":"10.1109\/12.142689"},{"key":"332673_CR27","doi-asserted-by":"crossref","unstructured":"I. Pomeranz and S.M. Reddy, \u201cFault Simulation for Synchronous Sequential Circuits under the Multiple Observation Time Testing Approach,\u201d in European Test Conf., 1993, pp. 292-300.","DOI":"10.1109\/ETC.1993.246566"},{"key":"332673_CR28","doi-asserted-by":"crossref","unstructured":"I. Pomeranz, S.M. Reddy, and L.N. Reddy, \u201cIncreasing Fault Coverage for Synchronous Sequential Circuits by the Multiple Observation Time Test Strategy,\u201d in Int'l Conf. on CAD, 1991, pp. 454-457.","DOI":"10.1109\/ICCAD.1991.185302"},{"key":"332673_CR29","doi-asserted-by":"crossref","unstructured":"E. Rudnick and J.H. Patel, \u201cCombining Deterministic and Genetic Approaches for Sequential Circuit Test Generation,\u201d in Design Automation Conf., 1995, pp. 183-188.","DOI":"10.1109\/DAC.1995.250087"},{"key":"332673_CR30","doi-asserted-by":"crossref","unstructured":"E.M. Rudnick, J.H. Patel, G.S. Greenstein, and T.M. Niermann, \u201cSequential Circuit Test Pattern Generation in a Genetic Algorithm Framework,\u201d in Design Automation Conf., 1994, pp. 698-704.","DOI":"10.1145\/196244.196619"},{"issue":"9","key":"332673_CR31","doi-asserted-by":"crossref","first-page":"1034","DOI":"10.1109\/43.658571","volume":"16","author":"E.M. Rudnick","year":"1997","unstructured":"E.M. Rudnick, J.H. Patel, G.S. Greenstein, and T.M. Niermann, \u201cGenetic Algorithm Framework for Test Generation,\u201d IEEE Trans. on CAD, vol. 16,no. 9, pp. 1034-1044, 1997.","journal-title":"IEEE Trans. on CAD"},{"key":"332673_CR32","unstructured":"D.G. Saab, Y.G. Saab, and J.A. Abraham, \u201cIterative [Simulation-Based Genetics+Deterministic Techniques]=Complete ATPG,\u201d in Int'l Conf. on CAD, 1994, pp. 40-43."},{"key":"332673_CR33","doi-asserted-by":"crossref","unstructured":"D.S. Saab, Y.G. Saab, and J.A. Abraham, \u201cCris: A Test Cultivation Program for Sequential VLSI Circuits,\u201d in Int'l Conf. on CAD, 1992, pp. 216-219.","DOI":"10.1109\/ICCAD.1992.279372"},{"key":"332673_CR34","doi-asserted-by":"crossref","unstructured":"T. Stanion and D. Bhattacharya, \u201cTSUNAMI: A Path Oriented Scheme for Algebraic Test Generation,\u201d in Int'l Symp. on Fault-Tolerant Comp., 1991, pp. 36-43.","DOI":"10.1109\/FTCS.1991.146630"}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011193725824.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1011193725824\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1011193725824.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T10:20:11Z","timestamp":1749205211000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1011193725824"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,2]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,2]]}},"alternative-id":["332673"],"URL":"https:\/\/doi.org\/10.1023\/a:1011193725824","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"type":"print","value":"0923-8174"},{"type":"electronic","value":"1573-0727"}],"subject":[],"published":{"date-parts":[[2001,2]]}}}