{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T16:58:49Z","timestamp":1776445129276,"version":"3.51.2"},"reference-count":82,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2015,12,14]],"date-time":"2015-12-14T00:00:00Z","timestamp":1450051200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1007\/s11219-015-9300-8","type":"journal-article","created":{"date-parts":[[2015,12,14]],"date-time":"2015-12-14T15:53:14Z","timestamp":1450108394000},"page":"373-405","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["H-Switch Cover: a new test criterion to generate test case from finite state machines"],"prefix":"10.1007","volume":"25","author":[{"given":"\u00c9rica Ferreira de","family":"Souza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valdivino Alexandre de","family":"Santiago J\u00fanior","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nandamudi Lankalapalli","family":"Vijaykumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,14]]},"reference":[{"key":"9300_CR1","doi-asserted-by":"crossref","unstructured":"Andrade, J., Ares, J., Mart\u00ednez, M., Pazos, J., Rodr\u00edguez, S., Romera, J., et al. (2013). An architectural model for software testing lesson learned systems. Information and Software Technology, 55, 18\u201334).","DOI":"10.1016\/j.infsof.2012.03.003"},{"key":"9300_CR2","doi-asserted-by":"crossref","unstructured":"Antoniol, G., Briand, L. C., Di Penta, M., & Labiche, Y. (2002). A case study using the round-trip path strategy for state-based class testing. In the 13th International symposium on software reliability engineering. Annapolis, MD, USA, pp. 269\u2013279.","DOI":"10.1109\/ISSRE.2002.1173268"},{"issue":"3","key":"9300_CR3","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1007\/s10270-004-0077-7","volume":"4","author":"AA Andrews","year":"2005","unstructured":"Andrews, A. A., Offutt, J., & Alexander, R. T. (2005). Testing web applications by modeling with FSMs. Software and System Modeling, 4(3), 326\u2013345.","journal-title":"Software and System Modeling"},{"key":"9300_CR4","doi-asserted-by":"crossref","unstructured":"Arantes, A. O., Vijaykumar, N. L., Santiago, V., & Guimaraes, D. (2008). Test case generation for critical systems through a collaborative web-based tool. In International conference on inovation in software engineering (ISE2008). Viena, A\u00fastria, pp. 163\u2013168.","DOI":"10.1109\/CIMCA.2008.143"},{"issue":"1","key":"9300_CR5","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1504\/IJWET.2014.063041","volume":"9","author":"A Arantes","year":"2014","unstructured":"Arantes, A., Santiago J\u00fanior, V. A., Vijaykumar, N. L., & Souza, E. F. (2014). Tool support for generating model-based test cases via web. International Journal of Web Engineering and Technology, 9(1), 62\u201396.","journal-title":"International Journal of Web Engineering and Technology"},{"key":"9300_CR6","doi-asserted-by":"crossref","unstructured":"Arantes, A. (2008). WEB-PerformCharts: A web-based test case generator from statecharts modeling. Master (Master at post graduation course in applied computing)\u2014National Institute for Space Research, S\u00e3o Jos\u00e9 dos Campos, Brazil.","DOI":"10.1145\/1497308.1497375"},{"key":"9300_CR7","unstructured":"Aho, A. V., Dahbura, A. T., Lee, D., & Uyar, M. U. (1988). An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours. In 8th Symposium on protocol specification, testing, and verification, IFIP, pp. 75\u201386."},{"key":"9300_CR8","unstructured":"Amaral, A. S. M. S. (2005). Gera\u00e7\u00e3o de casos de testes para sistemas especificados em Statecharts. In Master (Master at post graduation course in applied computing)\u2014National Institute for Space Research, S\u00e3o Jos\u00e9 dos Campos, Brazil."},{"key":"9300_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84800-998-1","volume-title":"Digraphs: Theory, algorithms and applications","author":"J Bang-Jensen","year":"2009","unstructured":"Bang-Jensen, J., & Gutin, G. Z. (2009). Digraphs: Theory, algorithms and applications (2nd ed.). New York: Springer.","edition":"2"},{"key":"9300_CR11","volume-title":"Testing object-oriented systems models, patterns, and tools","author":"RV Binder","year":"2005","unstructured":"Binder, R. V. (2005). Testing object-oriented systems models, patterns, and tools (6th ed.). San Diego: Addison Wesley.","edition":"6"},{"key":"9300_CR12","volume-title":"Graduate texts in mathematics: Graph theory","author":"JA Bondy","year":"2008","unstructured":"Bondy, J. A., & Murty, U. S. R. (2008). Graduate texts in mathematics: Graph theory. Editorial Board, USA: Springer."},{"key":"9300_CR13","doi-asserted-by":"crossref","unstructured":"Briand, L. C., Labiche, Y., & Wang, Y. (2004). Using simulation to empirically investigate test coverage criteria based on statechart. In 26th International conference on software engineering. Edinburgh\/Scotland:IEEE, pp. 86\u201395.","DOI":"10.1109\/ICSE.2004.1317431"},{"key":"9300_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/b137241","volume-title":"Model-based testing of reactive systems","author":"M Broy","year":"2005","unstructured":"Broy, M., Jonsson, B., Katoen, J. P., Leucker, M., & Pretschner, A. (2005). Model-based testing of reactive systems. New York: Springer."},{"issue":"2","key":"9300_CR15","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1016\/S1571-0661(04)80403-1","volume":"66","author":"JC Burguillo","year":"2002","unstructured":"Burguillo, J. C., Llamas, M., Fern\u00e1ndez, M. J., & Robles, T. (2002). Heuristic-driven techniques for test case selection. Electronic Notes in Theoretical Computer Science, 66(2), 50\u201365.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"3","key":"9300_CR16","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"TS Chow","year":"1978","unstructured":"Chow, T. S. (1978). Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering, Piscataway, USA, NJ, 4(3), 178\u2013187.","journal-title":"IEEE Transactions on Software Engineering, Piscataway, USA, NJ"},{"key":"9300_CR17","first-page":"758","volume":"49","author":"NG Bruijn De","year":"1946","unstructured":"De Bruijn, N. G. (1946). A combinatorial problem. Koninklijke Nederlandse Akademie v. Wetenschappen, 49, 758\u2013764.","journal-title":"Koninklijke Nederlandse Akademie v. Wetenschappen"},{"key":"9300_CR18","doi-asserted-by":"crossref","unstructured":"Dorofeeva, R., El-Fakih, K., & Yevtushenko, N. (2005). An improved conformance testing method. In IFIP international conference on formal techniques for networked and distributed systems (FORTE), pp. 204\u2013218.","DOI":"10.1007\/11562436_16"},{"issue":"12","key":"9300_CR19","doi-asserted-by":"crossref","first-page":"1286","DOI":"10.1016\/j.infsof.2010.07.001","volume":"52","author":"R Dorofeeva","year":"2010","unstructured":"Dorofeeva, R., El-Fakih, K., Maag, S., Cavalli, A. R., & Yevtushenko, N. (2010). FSM-based conformance testing methods: A survey annotated with experimental evaluation. Information and Software Technology, 52(12), 1286\u20131297.","journal-title":"Information and Software Technology"},{"key":"9300_CR20","volume-title":"Encyclopedia of software engineering","author":"IK El-Far","year":"2001","unstructured":"El-Far, I. K., & Whittaker, J. A. (2001). Model-based software testing. In J. J. Marciniak (Ed.), Encyclopedia of software engineering. USA: Wiley."},{"key":"9300_CR21","doi-asserted-by":"crossref","unstructured":"El-Fakih, A., Simao, A., Jadoon, N., & Maldonado, J. C. (2014). On studying the effectiveness of extended finite state machine based test selection criteria. In International conference on software testing, verification, and validation workshops, Cleveland, OH, pp. 222\u2013229.","DOI":"10.1109\/ICSTW.2014.25"},{"key":"9300_CR22","doi-asserted-by":"crossref","unstructured":"Endo, A. T., Linschulte, M., Simao, A., & Souza, S. R. S. (2010). Event- and coverage-based testing of web services. In Fourth international conference on secure software integration and reliability improvement companion (SSIRI-C), pp. 62\u201369.","DOI":"10.1109\/SSIRI-C.2010.24"},{"key":"9300_CR23","doi-asserted-by":"crossref","unstructured":"Endo, A. T. & Simao, A. (2011). Model-based testing of service-oriented applications via state models. In IEEE international conference on services computing (SCC), pp. 432\u2013439.","DOI":"10.1109\/SCC.2011.77"},{"key":"9300_CR24","doi-asserted-by":"crossref","unstructured":"Endo, A. T. & Simao, A. (2012). Experimental comparison of test case generation methods for finite state machines. In Fifth international conference on software testing, verification and validation. Montreal, QC, pp. 549\u2013558.","DOI":"10.1109\/ICST.2012.140"},{"issue":"6","key":"9300_CR25","doi-asserted-by":"crossref","first-page":"1045","DOI":"10.1016\/j.infsof.2013.01.001","volume":"55","author":"AT Endo","year":"2013","unstructured":"Endo, A. T., & Simao, A. (2013). Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods. Information and Software Technology, 55(6), 1045\u20131062.","journal-title":"Information and Software Technology"},{"key":"9300_CR9","unstructured":"European Space Agency (ESA). (2015). Ariane-5: Learning from ight 501 and preparing for 502. Paris, France, 1997. ESA bulletin Nr. 89. http:\/\/www.esa.int\/esapub\/bulletin\/bullet89\/dalma89.htm . Accessed March 2015."},{"issue":"6","key":"9300_CR26","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1109\/32.87284","volume":"17","author":"S Fujiwara","year":"1991","unstructured":"Fujiwara, S., Bochmann, G. V., Khendek, F., Amalou, M., & Ghedamsi, A. (1991). Test selection based on finite state models. IEEE Transactions on Software Engineering, 17(6), 591\u2013603.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"9300_CR27","doi-asserted-by":"crossref","first-page":"454","DOI":"10.1109\/32.90448","volume":"17","author":"MD Fraser","year":"1991","unstructured":"Fraser, M. D., Kumar, K., & Vaishnavi, V. K. (1991). Informal and formal requirements specification languages: Bridging the gap. IEEE Transactions on Software Engineering, 17(5), 454\u2013466.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9300_CR28","doi-asserted-by":"crossref","unstructured":"Fraser, G., & Gargantini, A. (2009). Experiments on the test case length in specification based test case generation. In ICSE Workshop on Automation of Software Test (AST), IEEE, (pp. 18\u201326).","DOI":"10.1109\/IWAST.2009.5069037"},{"key":"9300_CR29","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-3-540-71289-3_23","volume":"4422","author":"G Fraser","year":"2007","unstructured":"Fraser, G., & Wotawa, A. (2007). Redundancy based test-suite reduction. Fundamental Approaches to Software Engineering Lecture Notes in Computer Science., 4422, 291\u2013305.","journal-title":"Fundamental Approaches to Software Engineering Lecture Notes in Computer Science."},{"key":"9300_CR30","volume-title":"Introduction to the theory of finite-state machines","author":"A Gill","year":"1962","unstructured":"Gill, A. (1962). Introduction to the theory of finite-state machines. New York: McGraw-Hill."},{"issue":"6","key":"9300_CR31","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1109\/T-C.1970.222975","volume":"19","author":"G Gonnenc","year":"1970","unstructured":"Gonnenc, G. (1970). A method for the design of fault detection experiments. IEEE Transactions on Computers, 19(6), 551\u2013558.","journal-title":"IEEE Transactions on Computers"},{"issue":"1","key":"9300_CR32","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1002\/stvr.427","volume":"5","author":"W Grieskamp","year":"2011","unstructured":"Grieskamp, W., Kicillof, N., Stobie, K., & Braberman, V. (2011). Model-based quality assurance of protocol documentation: Tools and Methodology. Software Testing, Verification and Reliability, 5(1), 55\u201371.","journal-title":"Software Testing, Verification and Reliability"},{"key":"9300_CR33","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D. (1987). Statecharts: S visual formalism for complex systems. Science of Computer Programming North-Holland, 8, 231\u2013274.","journal-title":"Science of Computer Programming North-Holland"},{"issue":"1","key":"9300_CR34","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1002\/(SICI)1099-1689(199703)7:1<19::AID-STVR124>3.0.CO;2-N","volume":"7","author":"RM Hierons","year":"1997","unstructured":"Hierons, R. M. (1997). Testing from a Z specification. The Journal of Software Testing, Verification and Reliability, 7(1), 19\u201333.","journal-title":"The Journal of Software Testing, Verification and Reliability"},{"issue":"2","key":"9300_CR35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1459352.1459354","volume":"41","author":"RM Hierons","year":"2009","unstructured":"Hierons, R. M., Bogdanov, K., Bowen, J. P., Cleaveland, R., Derrick, J., Dick, J., et al. (2009). Using formal specifications to support testing. ACM Computing Surveys (CSUR) North-Holland, 41(2), 1\u201376.","journal-title":"ACM Computing Surveys (CSUR) North-Holland"},{"key":"9300_CR36","unstructured":"IEEE Std 829. (1998). IEEE standard for software test documentation. New York, NY, USA."},{"issue":"5","key":"9300_CR37","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1109\/TSE.2010.62","volume":"37","author":"Yue Jia","year":"2011","unstructured":"Jia, Yue, & Harman, M. (2011). An analysis and survey of the development of mutation testing. IEEE Transactions on Software Engineering, 37(5), 649\u2013678.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"8","key":"9300_CR38","doi-asserted-by":"crossref","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D Lee","year":"2001","unstructured":"Lee, D., & Yannakakis, M. (2001). Principles and methods of testing finite state machines\u2014A survey. Proceedings of the IEEE, 84(8), 1090\u20131123.","journal-title":"Proceedings of the IEEE"},{"key":"9300_CR39","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/MC.1993.274940","volume":"26","author":"NG Leveson","year":"1993","unstructured":"Leveson, N. G., & Turner, C. S. (1993). An investigation of the Therac-25 accidents. Computer, 26, 18\u201341.","journal-title":"Computer"},{"key":"9300_CR40","volume-title":"Matematica discreta","author":"S Lipschutz","year":"1997","unstructured":"Lipschutz, S., & Lipson, M. (1997). Matematica discreta (2nd ed.). Porto Alegre, RS: Bookman-Cole\u00e7\u00e3o Schaum.","edition":"2"},{"key":"9300_CR41","doi-asserted-by":"crossref","unstructured":"Luo, G., Petrenko, A. V., & Bochmann, G. (1995) Selecting test sequences for partially-specified nondeterministic finite state machines. In International Workshop on Protocol Test Systems, Chapman & Hall, Ltd., (pp. 95\u2013110), London, UK, UK: ACM.","DOI":"10.1007\/978-0-387-34883-4_6"},{"key":"9300_CR42","unstructured":"Martins, E., Sabi\u00e3o, S. B., & Ambrosio, A. M. (1999). Condata: A tool for automating specification-based test case generation for communication systems. In International conference on system sciences (pp. 303\u2013319). Hawaii, USA."},{"key":"9300_CR43","unstructured":"Mathur, A. P. (2008). Foundations of software testing. Delhi, India: Dorling Kindersley (India), Pearson Education in South Asia."},{"key":"9300_CR44","unstructured":"NASA jet propulsion laboratory. (2014). Technical report, Cape Canaveral Air Force Station, Florida. http:\/\/www.jpl.nasa.gov\/missions\/mars-climate-orbiter\/ . Accessed March 2015."},{"key":"9300_CR45","unstructured":"Naito, S., & Tsunoyama, M. (1981). Fault detection for sequential machines by transition tours. In Proceedings of the 11th IEEE fault tolerant computing conference (FTCS 1981), pp. 238\u2013243."},{"key":"9300_CR46","doi-asserted-by":"crossref","unstructured":"Neumann, F. (2004). Expected runtimes of evolutionary algorithms for the Eulerian cycle problem. In Congress on evolutionary computation, CEC2004, pp. 904\u2013910.","DOI":"10.1109\/CEC.2004.1330957"},{"key":"9300_CR47","doi-asserted-by":"crossref","unstructured":"Nguyen, C. D., Marchetto, A., & Tonella, P. (2012). Combining model-based and combinatorial testing for effective test case generation. In (International symposium on software testing and analysis (ISSTA)) (pp. 15\u201320). Minneapolis, MN, USA.","DOI":"10.1145\/2338965.2336765"},{"key":"9300_CR48","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/151257.151258","volume":"2","author":"AJ Offutt","year":"1993","unstructured":"Offutt, A. J. (1993). Experimental results from an automatic test case generator. ACM Transactions on Software Engineering Methodology, 2, 109\u2013127.","journal-title":"ACM Transactions on Software Engineering Methodology"},{"key":"9300_CR49","unstructured":"Oishi, M., Tomlin C, & Degani, A. (2003). Discrete abstractions of hybrid systems: Verification of safety and application to user-interface design. NASA\/TM-2003-212803. http:\/\/goo.gl\/AJCl1K . Accessed March 2015."},{"issue":"3","key":"9300_CR50","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"JL Peterson","year":"1977","unstructured":"Peterson, J. L. (1977). Petri nets. ACM Computing Surveys, 9(3), 223\u2013252.","journal-title":"ACM Computing Surveys"},{"key":"9300_CR51","doi-asserted-by":"crossref","unstructured":"Petrenko, A., & Yevtushenko, N. (2005). Testing from partial deterministic FSM specifications (Vol. 54, No. 4, pp. 1154\u20131165). Washington, DC, USA.","DOI":"10.1109\/TC.2005.152"},{"key":"9300_CR52","unstructured":"Pretschner, A., Prenninger, W., Wagner, S., Kuhnel, C., Baumgartner, M., Sostawa, B., et al. (2005). One evaluation of model based testing and its automation. In 27th International conference on software engineering (ICSE), St Louis, USA, (pp. 392\u2013401)."},{"key":"9300_CR53","unstructured":"Pimont, S., & Rault, J. (1976). A software reliability assessment based on a structural and behavioral analysis of programs. In International conference on software engineering (ICSE) (pp. 486\u2013491). CA: IEEE."},{"issue":"4","key":"9300_CR54","doi-asserted-by":"crossref","first-page":"447","DOI":"10.5028\/jatm.v6i4.369","volume":"6","author":"AC Pinheiro","year":"2014","unstructured":"Pinheiro, A. C., Sim\u00e3o, A., & Ambrosio, A. M. (2014). FSM-based test case generation methods applied to test the communication software on board the ITASAT University Satellite: A Case Study. Journal of Aerospace Technology and Management, 6(4), 447\u2013461.","journal-title":"Journal of Aerospace Technology and Management"},{"key":"9300_CR55","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/s10664-012-9215-y","volume":"19","author":"RP Pontes","year":"2014","unstructured":"Pontes, R. P., V\u00e9ras, P. C., Ambrosio, A. M., & Villani, E. (2014). Contributions of model checking and CoFI methodology to the development of space embedded software. Empirical Software Engineering, 19, 39\u201368.","journal-title":"Empirical Software Engineering"},{"key":"9300_CR56","unstructured":"Robinson-Mallett, C., & Liggesmeyer P. (2006). State Identification and verification using a model checker, Software Engineering, pp. 131\u2013142."},{"issue":"4","key":"9300_CR58","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0169-7552(88)90064-5","volume":"15","author":"KK Sabnani","year":"1988","unstructured":"Sabnani, K. K., & Dahbura, A. (1988). A protocol test generation procedure. Computer NetWorks and ISDN Systems, 15(4), 285\u2013297.","journal-title":"Computer NetWorks and ISDN Systems"},{"key":"9300_CR62","doi-asserted-by":"crossref","unstructured":"Santiago, V., Amaral, A. S. M., Vijaykumar, N. L., Matiello-Francisco, M. F., Martins, E., & Lopes, O. C. (2006). A practical approach for automated test case generation using Statecharts. In Annual international computer software & applications conference (COMPSAC)\u2014International Workshop on Testing and Quality Assurance for Component - Based Systems (TQACBS), 30. Chicago, IL, USA, pp. 183\u2013188.","DOI":"10.1109\/COMPSAC.2006.100"},{"key":"9300_CR63","unstructured":"Santiago, V., Mattiello, F., Costa, R., Silva, W. P., & Ambr\u00f3sio, A. M. (2007). QSEE project: An experience in outsourcing software development for space. In International conference on software engineering and knowledge engineering (SEKE\u201907) (pp. 183\u2013188). Boston, USA."},{"key":"9300_CR57","unstructured":"Santiago, V., Vijaykumar, N. L., Guimar\u00e3es, D., Amaral, A. S., & Souza, E. F. (2008). An environment for automated test case generation from statechart-based and finite state machine-based behavioral models. In 4th A-MOST (2008), first IEEE international conferente on software testing verification and validation (ICST2008) (pp. 63\u201372). Lillehammer: IEEE."},{"key":"9300_CR60","unstructured":"Santiago J\u00fanior, V. A. (2011). SOLIMVA: A methodology for generating model-based test cases from natural language requirements and detecting incompleteness in software specifications, 264 p. Thesis (Doctorate at Post Graduation Course in Applied Computing)\u2014National Institute for Space Research, S\u00e3o Jos\u00e9 dos Campos, SP, Brazil."},{"key":"9300_CR64","unstructured":"Santiago J\u00fanior, V. A., Cristi\u00e1, M., & Vijaykumar, N. L. (2010). Model-based test case generation using Statecharts and Z: A comparison and a combined approach, 72 p. (INPE-16677-RPQ\/850)."},{"key":"9300_CR61","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/s11219-011-9155-6","volume":"20","author":"VA Santiago J\u00fanior","year":"2012","unstructured":"Santiago J\u00fanior, V. A., & Vijaykumar, N. L. (2012). Generating model-based test cases from natural language requirements for space application software. Software Quality Journal, 20, 77\u2013143.","journal-title":"Software Quality Journal"},{"key":"9300_CR59","unstructured":"Santiago J\u00fanior, V. A., Vijaykumar, N. L., Souza, E. F., Guimar\u00e3es, D., & Costa, R. C. (2012). GTSC: Automated model-based test case generation from statecharts and finite state machines. In Tools session of the III the Brazilian conference on software: Theory and oractice, Natal-RN, pp. 25\u201330."},{"key":"9300_CR65","unstructured":"Sidhu, D. P., & Leung, T. (1989). Formal methods for protocol testing: A detailed study. Transactions on software engineering. IEEE Computer Society Department of Computer Science (Vol. 13, No. 4, pp. 413\u2013426). Baltimore, MD: Maryland University."},{"key":"9300_CR67","doi-asserted-by":"crossref","first-page":"1508","DOI":"10.1093\/comjnl\/bxp073","volume":"53","author":"A Sim\u00e3o","year":"2010","unstructured":"Sim\u00e3o, A., & Petrenko, A. (2010). Fault coverage-driven incremental test generation. Computer Journal, 53, 1508\u20131522.","journal-title":"Computer Journal"},{"issue":"2","key":"9300_CR68","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1049\/iet-sen.2008.0018","volume":"3","author":"A Sim\u00e3o","year":"2009","unstructured":"Sim\u00e3o, A., Petrenko, A., & Maldonado, J. C. (2009). Comparing finite state machine test coverage criteria. IET Software, 3(2), 91\u2013105.","journal-title":"IET Software"},{"key":"9300_CR69","doi-asserted-by":"crossref","unstructured":"Shen, X., & Li, G. (1992). A new protocol conformance test generation method and experimental results. ACM\/SIGAPP symposium on applied computing (pp. 75\u201384). New York, NY, USA: ACM.","DOI":"10.1145\/143559.143591"},{"key":"9300_CR70","unstructured":"Shen, X., Scoggins, S., & Tang, A. (1991). An improved rcp-method for protocol test generation using backward UIO sequences. In Symposium on Applied Computing (pp. 284\u2013293). New York: ACM."},{"key":"9300_CR71","unstructured":"Shen, Y. N., Lombardi, F., & Dahbura, A. T. (1984). Protocol conformance testing using multiple UIO sequences. In International symposium on protocol specification, testing and verification IX (pp. 131\u2013143). Amsterdam, The Netherlands: North-Holland Publishing Co."},{"key":"9300_CR72","doi-asserted-by":"crossref","unstructured":"Shirole, M., Suthar, A., & Kumar, R. (2011). Generation of improved test cases from UML state diagram using genetic algorithm. In 4th India software engineering conference (ISEC), (pp. 23\u201327). Thiruvananthapuram, Kerala, India.","DOI":"10.1145\/1953355.1953374"},{"key":"9300_CR73","doi-asserted-by":"crossref","unstructured":"Schur, M., Roth, A., & Zeller, A. (2014). ProCrawl: Mining test models from multi-user web applications. In International symposium on software testing and analysis (ISSTA) (pp. 413\u2013416). San Jose, CA.","DOI":"10.1145\/2610384.2628051"},{"key":"9300_CR74","unstructured":"Soucha, M. (2014). Finite state machine state identification sequences.Open informatics\u2014computer and information science. Faculty of Electrical Engineering. Department of Cybernetics."},{"key":"9300_CR75","unstructured":"Souza, S. R. S. (2000). Valida\u00e7\u00e3o de especifica\u00e7\u00f5es de sistemas reativos: Defini\u00e7\u00e3o e an\u00e1lise de crit\u00e9rios de teste. Thesis (PhD in computational physics)\u2014Institute of Physics of S\u00e3o Carlos (IFSC\/USP)."},{"key":"9300_CR76","unstructured":"Souza, E. F., Santiago, V., Guimaraes, D., & Vijaykumar, N. L. (2008). Evaluation of test criteria for space application software modeling in statecharts. In International conference on inovation in software engineering (ISE. (2008). IEEE computer society (pp. 157\u2013162). Viena: A\u00fastria."},{"key":"9300_CR77","unstructured":"Souza, E. F. (2010). Gera\u00e7\u00e3o de casos de teste para sistemas da \u00e1rea espacial usando crit\u00e9rios de teste para m\u00e1quinas de estados finitos. (INPE-16682-TDI\/1627). Dissertation (Master in Applied Computing)\u2014National Institute for Space Research (INPE), S\u00e3o Jos\u00e9 dos Campos, SP, Brazil. http:\/\/urlib.net\/8JMKD3MGP7W\/36T9LLB . Accessed March 2015."},{"key":"9300_CR78","unstructured":"Sun, H., Gaol M., & Lian, A. (2001). Study on UIO sequence generation for sequential machine\u2019s functional test. In International conference (pp. 628\u2013632). Shanghai."},{"key":"9300_CR79","volume-title":"Practical model-based testing: A tools approach","author":"M Utting","year":"2006","unstructured":"Utting, M., & Legeard, B. (2006). Practical model-based testing: A tools approach. Waltham, MA, USA: Morgan Kaufmann Publishers Inc."},{"key":"9300_CR82","doi-asserted-by":"crossref","unstructured":"Wu, C., & Huang, C. (2013). The web services composition testing based on extended finite state machine and UML model. In 5th International conference on service science and innovation (ICSSI) (pp. 29\u201331). Kaohsiung.","DOI":"10.1109\/ICSSI.2013.46"},{"issue":"4","key":"9300_CR83","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1145\/99517.99543","volume":"20","author":"B Yang","year":"1990","unstructured":"Yang, B., & Ural, H. (1990). Protocol conformance test generation using multiple UIO sequences with overlapping. SIGCOMM Computer Communication Review, 20(4), 118\u2013125.","journal-title":"SIGCOMM Computer Communication Review"},{"key":"9300_CR81","volume-title":"Model-based testing for embedded systems (computational analysis, synthesis, and design of dynamic systems)","author":"J Zander","year":"2011","unstructured":"Zander, J., Schieferdecker, I., & Mosterman, P. (2011). Model-based testing for embedded systems (computational analysis, synthesis, and design of dynamic systems). New York: Taylor & Francis Group."},{"issue":"3","key":"9300_CR80","doi-asserted-by":"crossref","first-page":"447","DOI":"10.15388\/Informatica.2011.336","volume":"22","author":"Xinchang Zhang","year":"2011","unstructured":"Zhang, Xinchang, Yang, Meihong, Geng, Guanggang, & Luo, Wanming. (2011). A DFSM-based protocol conformance testing and diagnosing method. Informatica, 22(3), 447\u2013469.","journal-title":"Informatica"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-015-9300-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-015-9300-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-015-9300-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-015-9300-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,12]],"date-time":"2020-09-12T17:02:55Z","timestamp":1599930175000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-015-9300-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,14]]},"references-count":82,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,6]]}},"alternative-id":["9300"],"URL":"https:\/\/doi.org\/10.1007\/s11219-015-9300-8","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12,14]]}}}