{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T10:25:29Z","timestamp":1749205529970},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1992,8,1]],"date-time":"1992-08-01T00:00:00Z","timestamp":712627200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Electron Test"],"published-print":{"date-parts":[[1992,8]]},"DOI":"10.1007\/bf00134732","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T12:29:05Z","timestamp":1099398545000},"page":"219-234","source":"Crossref","is-referenced-by-count":26,"title":["A model for sequential machine testing and diagnosis"],"prefix":"10.1007","volume":"3","author":[{"given":"J. A.","family":"Brzozowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"J\ufffdrgensen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","first-page":"35","volume-title":"Proc. 2nd Conf. on Automata, Languages, and programming Systems","author":"J.A. Brzozowski","year":"1988","unstructured":"J.A. Brzozowski, H. J\u00fcrgensen, ?Deterministic Diagnosis of Sequential Machines.? Proc. 2nd Conf. on Automata, Languages, and programming Systems, Salg\u00f3tarj\u00e1n, Hungary, F. G\u00e9cseg and I. Pe\u00e1k, eds. Department of Mathematics, Karl Marx University of Economics, Budapest, 1988?4, 1988, 35?49."},{"key":"CR2","first-page":"51","volume-title":"Proc. 2nd Conf. on Automata, Languages, and Programming Systems","author":"J.A. Brzozowski","year":"1988","unstructured":"J.A. Brzozowski, H. J\u00fcrgensen, ?Probabilistic Diagnosis of Sequential Machines.? Proc. 2nd Conf. on Automata, Languages, and Programming Systems, Salg\u00f3tarj\u00e1n, Hungary, F. G\u00e9cseg and I. Pe\u00e1k, eds. Department of Mathematics, Karl Marx University of Economics, Budapest, 1988?4, 1988, 51?66."},{"key":"CR3","first-page":"1","volume-title":"Fault-Tolerant Computing","author":"J.A. Abraham","year":"1986","unstructured":"J.A. Abraham, V.K. Agarwal, ?Test Generation for Digital Systems,? in (D.K. Pradhan, eds.) Fault-Tolerant Computing, Prentice-Hall, Englewood Cliffs, NJ, 1986, pp. 1?90."},{"key":"CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4317.001.0001","volume-title":"Logic Testing and Design for Testability","author":"H. Fujiwara","year":"1985","unstructured":"H. Fujiwara, Logic Testing and Design for Testability, MIT Press, Cambridge, 1985."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1109\/12.24267","volume":"vol. C-38","author":"R. David","year":"May 1989","unstructured":"R. David, A. Fuentes, B. Courtois, ?Random pattern testing versus deterministic testing of RAMS,? IEEE Trans. on Comp. vol. C-38, pp. 637?650, May 1989.","journal-title":"IEEE Trans. on Comp."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1109\/12.45207","volume":"vol. C-39","author":"R. David","year":"February 1990","unstructured":"R. David, A. Fuentes, ?Fault diagnosis of RAM's from random testing experiments,? IEEE Trans. on Comp, vol. C-39, pp. 220?229, February 1990.","journal-title":"IEEE Trans. on Comp"},{"key":"CR7","unstructured":"A. Fuentes, R. David, B. Courtois, ?Random testing versus deterministic testing of RAMS,? Proc. of the 16th Int. Symp. on Fault Tolerant Comp. Systems, IEEE, pp. 266?271, 1986."},{"key":"CR8","unstructured":"A. Fuentes, Contribution \u00e0 l'\u00e9tude du test al\u00e9atoire de memoires RAM. Th\u00e8se, Institut National Polytechnique de Grenoble, 1986."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF00136314","volume":"vol. 1","author":"A.A. Ismaeel","year":"1991","unstructured":"A.A. Ismaeel, M.A. Breuer, ?The probability of error detection in sequential circuits using random test vectors,? J. Electronic Testing: Theory and Applications vol. 1 pp. 245?256, 1991.","journal-title":"J. Electronic Testing: Theory and Applications"},{"key":"CR10","volume-title":"Abstract Automata","author":"P.H. Starke","year":"1972","unstructured":"P.H. Starke, Abstract Automata, North-HollandAmsterdam, 1972."},{"key":"CR11","volume-title":"Theory of Computation","author":"D. Wood","year":"1987","unstructured":"D. Wood, Theory of Computation, Harper & Row, New York, 1987."},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"J.F. Poage, E.J. McCluskey, ?Derivation of optimum test sequences for sequential machines,? Proc. of the 5th Annual Symp. on Switching Theory and Logical Design, IEEE, pp. 121?132, November 1964.","DOI":"10.1109\/SWCT.1964.7"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"F.C. Hennie, ?Fault-detecting experiments for sequential circuits,? Proc. of the 5th Annual Symp. on Switching Theory and Logical Design, IEEE, pp. 95?110, November 1964.","DOI":"10.1109\/SWCT.1964.8"},{"key":"CR14","volume-title":"Fehlererkennungsschaltungern","author":"S. Graf","year":"1987","unstructured":"S. Graf, M. G\u00f6ssel, Fehlererkennungsschaltungern. Akademie-Verlag, Berlin, 1987."},{"key":"CR15","unstructured":"R. David, J.A. Brzozowski, H. J\u00fcrgensen, ?Testing for bounded faults in RAMs,? Research Report CS-92-30, Department of Computer Science, University of Waterloo, 1992."},{"key":"CR16","volume-title":"Finite-State Models for Logical Machines","author":"F.C. Hennie","year":"1968","unstructured":"F.C. Hennie, Finite-State Models for Logical Machines, John Wiley & Sons, New York, 1968."},{"key":"CR17","first-page":"476","volume-title":"Proc. 23rd Annual ACM Symp. on Theory of Computing","author":"M. Yannakakis","year":"1991","unstructured":"M. Yannakakis, D. Lee, ?Testing finite state machines,? Proc. 23rd Annual ACM Symp. on Theory of Computing, ACM, New York, pp. 476?485, 1991."},{"key":"CR18","volume-title":"An Introduction to Probability Theory and Its Applications","author":"W. Feller","year":"1968","unstructured":"W. Feller, An Introduction to Probability Theory and Its Applications, John Wiley & Sons, New York, 1968 (3rd edition).","edition":"3rd edition"},{"key":"CR19","volume-title":"Stochastic Process","author":"J.L. Doob","year":"1953","unstructured":"J.L. Doob, Stochastic Process, John Wiley & Sons, New York, 1953."}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00134732.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00134732\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00134732","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T17:43:55Z","timestamp":1585935835000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00134732"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,8]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1992,8]]}},"alternative-id":["BF00134732"],"URL":"https:\/\/doi.org\/10.1007\/bf00134732","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"value":"0923-8174","type":"print"},{"value":"1573-0727","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,8]]}}}