{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T15:40:12Z","timestamp":1774021212900,"version":"3.50.1"},"reference-count":31,"publisher":"Oxford University Press (OUP)","issue":"8","funder":[{"DOI":"10.13039\/501100001807","name":"FAPESP","doi-asserted-by":"crossref","award":["(2008\/01938-4) and CNPq (474152\/2010-3)"],"award-info":[{"award-number":["(2008\/01938-4) and CNPq (474152\/2010-3)"]}],"id":[{"id":"10.13039\/501100001807","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Computer Journal"],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1093\/comjnl\/bxv122","type":"journal-article","created":{"date-parts":[[2016,8,30]],"date-time":"2016-08-30T13:07:17Z","timestamp":1472562437000},"page":"1129-1143","source":"Crossref","is-referenced-by-count":6,"title":["Reducing FSM-Based Test Suites with Guaranteed Fault Coverage"],"prefix":"10.1093","volume":"59","author":[{"given":"Jorge Francisco","family":"Cutigi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adenilso","family":"Simao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simone R.S.","family":"Souza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2016,1,12]]},"reference":[{"key":"2016083005472016000_59.8.1129.1","doi-asserted-by":"crossref","unstructured":"Moore E.F. (1956) Gedanken-Experiments on Sequential Machines. In Shannon, C. and McCarthy, J. (eds), Automata Studies, pp. 129\u2013153. Princeton University Press, Princeton, NJ.","DOI":"10.1515\/9781400882618-006"},{"key":"2016083005472016000_59.8.1129.2","doi-asserted-by":"crossref","unstructured":"Hennie F.C. (1964) Fault Detecting Experiments for Sequential Circuits. SWCT'64: Proc. Fifth Annual Symp. Switching Circuit Theory and Logical Design, Washington, DC, USA, pp. 95\u2013110. IEEE Computer Society.","DOI":"10.1109\/SWCT.1964.8"},{"key":"2016083005472016000_59.8.1129.3","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","article-title":"Testing software design modeled by finite-state-machines","volume":"4","author":"Chow","year":"1978","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2016083005472016000_59.8.1129.4","doi-asserted-by":"publisher","DOI":"10.1109\/32.87284"},{"key":"2016083005472016000_59.8.1129.5","unstructured":"Petrenko A. , Yevtushenko N. , Lebedev A. and Das A. (1994) Nondeterministic State Machines in Protocol Conformance Testing. Proc. IFIP TC6\/WG6.1 6th Int. Workshop on Protocol Test Systems VI, Amsterdam, The Netherlands, pp. 363\u2013378. North-Holland Publishing Co."},{"key":"2016083005472016000_59.8.1129.6","doi-asserted-by":"crossref","unstructured":"Luo G. , Petrenko A. and Bochmann G.V. (1995) Selecting Test Sequences for Partially-Specified Nondeterministic Finite State Machines. 7th IFIP WG 6.1 Int. Workshop on Protocol Test Systems, London, UK, UK IWPTS '94, pp. 95\u2013110. Chapman & Hall, Ltd.","DOI":"10.1007\/978-0-387-34883-4_6"},{"key":"2016083005472016000_59.8.1129.7","doi-asserted-by":"crossref","unstructured":"Dorofeeva R. , El-Fakih K. and Yevtushenko N. (2005) An Improved Conformance Testing Method. Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 Int. Conf., Taipei, Taiwan, October 2\u20135, 2005, Proceedings, pp. 204\u2013218.","DOI":"10.1007\/11562436_16"},{"key":"2016083005472016000_59.8.1129.8","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2004.03.003"},{"key":"2016083005472016000_59.8.1129.9","unstructured":"Yao M. , Petrenko A. and Bochmann G.v. (1993) Conformance Testing of Protocol Machines without Reset. Proc. IFIP TC6\/WG6.1 13th Int. Symp. Protocol Specification, Testing and Verification XIII, Amsterdam, The Netherlands, pp. 241\u2013256. North-Holland Publishing Co."},{"key":"2016083005472016000_59.8.1129.10","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2006.80"},{"key":"2016083005472016000_59.8.1129.11","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1109\/T-C.1970.222975","article-title":"A method for design of fault detection experiments","volume":"19","author":"Gonenc","year":"1970","journal-title":"IEEE Trans. Comput."},{"key":"2016083005472016000_59.8.1129.12","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2015.01.002"},{"key":"2016083005472016000_59.8.1129.13","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.17"},{"key":"2016083005472016000_59.8.1129.14","doi-asserted-by":"publisher","DOI":"10.1109\/12.559807"},{"key":"2016083005472016000_59.8.1129.15","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-7552(96)00019-0"},{"key":"2016083005472016000_59.8.1129.16","unstructured":"Gill A. (1962) Introduction to the Theory of Finite-State Machines. McGraw-Hill, New York."},{"key":"2016083005472016000_59.8.1129.17","doi-asserted-by":"publisher","DOI":"10.1016\/S0305-0548(00)00053-8"},{"key":"2016083005472016000_59.8.1129.18","unstructured":"Garey M.R. and Johnson D.S. (1979) Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman & Co., New York, NY, USA."},{"key":"2016083005472016000_59.8.1129.19","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen.2008.0018"},{"key":"2016083005472016000_59.8.1129.20","doi-asserted-by":"crossref","unstructured":"Simao A.S. , Petrenko A. and Yevtushenko N. (2009) Generating Reduced Tests for fsms with Extra states. In Nunez, M., Baker, P., and Merayo, M. (eds), Testing of Software and Communication Systems, Eindhoven, The Netherlands, Lecture Notes in Computer Science 5826, pp. 129\u2013145. Springer, Berlin, Heidelberg.","DOI":"10.1007\/978-3-642-05031-2_9"},{"key":"2016083005472016000_59.8.1129.21","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxp073"},{"key":"2016083005472016000_59.8.1129.22","doi-asserted-by":"crossref","unstructured":"Heerink L. , Feenstra J. and Tretmans J. (2000) Formal Test Automation: The Conference Protocol with Phact. Proc. IFIP TC6\/WG6.1 13th Int. Conf. Testing Communicating Systems: Tools and Techniques. Deventer, The Netherlands, The Netherlands TestCom'00, pp. 211\u2013220. Kluwer B.V.","DOI":"10.1007\/978-0-387-35516-0_13"},{"key":"2016083005472016000_59.8.1129.23","doi-asserted-by":"crossref","unstructured":"Tan Q.M. , Petrenko A. and Bochmann G.V. (1996) A Test Generation Tool for Specifications in the Form of State Machines. Proc. Int. Communications Conf., pp. 225\u2013229.","DOI":"10.1109\/ICC.1996.542187"},{"key":"2016083005472016000_59.8.1129.24","unstructured":"Hogrefe D. (1991) OSI formal specification case study: the INRES protocol and service. Technical Report IAM-91-012. University of Bern."},{"key":"2016083005472016000_59.8.1129.25","unstructured":"Neto L. F.M. and Simao A.S. (2008) Test Suite Minimization based on FSM Completeness Sufficient Conditions. Proc. 9th IEEE Latin-American Test Workshop, Puebla, Mexico, pp. 93\u201398. IEEE Computer Society."},{"key":"2016083005472016000_59.8.1129.26","doi-asserted-by":"publisher","DOI":"10.1007\/11754008_18"},{"key":"2016083005472016000_59.8.1129.27","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2002.1032630"},{"key":"2016083005472016000_59.8.1129.28","doi-asserted-by":"crossref","unstructured":"Chen J. , Hierons R.M. , Ural H. and Yenigun H. (2005) Eliminating Redundant Tests in a Checking Sequence. In Khendek, F. and Dssouli, R. (eds), Testing of Communicating Systems, Lecture Notes in Computer Science 3502, pp. 146\u2013158. Springer, Berlin, Heidelberg.","DOI":"10.1007\/11430230_11"},{"key":"2016083005472016000_59.8.1129.29","doi-asserted-by":"crossref","unstructured":"Simao A.S. and Petrenko A. (2008) Generating Checking Sequences for Partial Reduced Finite State Machines. TestCom\/FATES: Proc. 20th IFIP TC 6\/WG 6.1 Int. Conf. Testing of Software and Communicating Systems, pp. 153\u2013168. Springer, Berlin, Heidelberg.","DOI":"10.1007\/978-3-540-68524-1_12"},{"key":"2016083005472016000_59.8.1129.30","doi-asserted-by":"crossref","unstructured":"Dorofeeva R. , Yevtushenko N. , El-Fakih K. and Cavalli A.R. (2005) Experimental Evaluation of FSM-based Testing Methods. SEFM '05: Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods, Washington, DC, USA, pp. 23\u201332. IEEE Computer Society.","DOI":"10.1109\/SEFM.2005.17"},{"key":"2016083005472016000_59.8.1129.31","unstructured":"Ribeiro P.H. , Cutigi J.F. and Simao A.S. (2009) Geracao de sequencias de verificacao baseado em algoritmos geneticos. 3rd Brazilian Workshop on Systematic and Automated Software Testing, Gramado, RS, Brazil, pp. 61\u201370. Springer."}],"container-title":["The Computer Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/comjnl\/article-pdf\/59\/8\/1129\/8039171\/bxv122.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T02:22:01Z","timestamp":1568341321000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/comjnl\/article-lookup\/doi\/10.1093\/comjnl\/bxv122"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,12]]},"references-count":31,"journal-issue":{"issue":"8","published-online":{"date-parts":[[2016,8,30]]},"published-print":{"date-parts":[[2016,8]]}},"alternative-id":["10.1093\/comjnl\/bxv122"],"URL":"https:\/\/doi.org\/10.1093\/comjnl\/bxv122","relation":{},"ISSN":["0010-4620","1460-2067"],"issn-type":[{"value":"0010-4620","type":"print"},{"value":"1460-2067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,1,12]]}}}