{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T04:05:30Z","timestamp":1781064330280,"version":"3.54.1"},"reference-count":78,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,7,31]],"date-time":"2011-07-31T00:00:00Z","timestamp":1312070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1007\/s11219-011-9155-6","type":"journal-article","created":{"date-parts":[[2011,7,30]],"date-time":"2011-07-30T14:18:13Z","timestamp":1312035493000},"page":"77-143","source":"Crossref","is-referenced-by-count":37,"title":["Generating model-based test cases from natural language requirements for space application software"],"prefix":"10.1007","volume":"20","author":[{"given":"Valdivino Alexandre de","family":"Santiago J\u00fanior","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nandamudi Lankalapalli","family":"Vijaykumar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2011,7,31]]},"reference":[{"key":"9155_CR1","unstructured":"Abrial, J. R. (2006). Formal methods in industry: Achievements, problems, future. In Proceedings of the 28th international conference on software engineering (ICSE) (pp. 761\u2013768). New York, NY: ACM."},{"key":"9155_CR2","unstructured":"Ambriola V., & Gervasi V. (1997). Processing natural language requirements. In Proceedings of the 12th international conference on automated software engineering (ASE) (pp. 36\u201345). Washington, DC: IEEE Computer Society."},{"issue":"1","key":"9155_CR3","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/s10515-006-5468-2","volume":"13","author":"V. Ambriola","year":"2006","unstructured":"Ambriola, V., & Gervasi, V. (2006). On the systematic analysis of natural language requirements with CIRCE. Automated Software Engineering, 13(1), 107\u2013167.","journal-title":"Automated Software Engineering"},{"key":"9155_CR4","unstructured":"Ambr\u00f3sio, A. M., Mattiello-Francisco, F., Santiago, V. A., Silva, W. P., & Martins, E. (2007). Designing fault injection experiments using state-based model to test a space software. In Dependable computing (LNCS, Vol. 4746, pp. 170\u2013178). Berlin\/Heidelberg, Germany: Springer."},{"key":"9155_CR5","unstructured":"Antoniol, G., Briand, L. C., Di Penta, M., & Labiche, Y. (2002). A case study using the round-trip strategy for state-based class testing. In Proceedings of the 13th IEEE international symposium on software reliability engineering (ISSRE) (pp. 269\u2013279). Washington, DC: IEEE Computer Society."},{"key":"9155_CR6","volume-title":"Principles of model checking","author":"C. Baier","year":"2008","unstructured":"Baier, C., & Katoen, J. P. (2008). Principles of model checking. Cambridge, MA: The MIT Press."},{"issue":"8","key":"9155_CR7","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1145\/75309.75332","volume":"14","author":"M. Balcer","year":"1989","unstructured":"Balcer, M., Hasling, W., & Ostrand, T. (1989). Automatic generation of test scripts from formal test specifications. ACM SIGSOFT Software Engeneering Notes, 14(8), 210\u2013218.","journal-title":"ACM SIGSOFT Software Engeneering Notes"},{"issue":"2","key":"9155_CR8","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF00368702","volume":"1","author":"V. R. Basili","year":"1996","unstructured":"Basili, V. R., Green, S., Laitenberger, O., Lanubile, F., Shull, F., S\u00f8rumg\u00e5rd, S., et\u00a0al. (1996). The empirical investigation of perspective-based reading. Empirical Software Engineering Journal, 1(2), 133\u2013164.","journal-title":"Empirical Software Engineering Journal"},{"issue":"5","key":"9155_CR9","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1145\/949952.940120","volume":"28","author":"A. Bertolino","year":"2003","unstructured":"Bertolino, A., & Gnesi, S. (2003). Use case-based testing of product lines. ACM SIGSOFT Software Engineering Notes, 28(5), 355\u2013358.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"9155_CR10","volume-title":"Testing object-oriented systems","author":"R. V. Binder","year":"1999","unstructured":"Binder, R. V. (1999). Testing object-oriented systems. USA: Addison-Wesley."},{"issue":"3","key":"9155_CR11","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/B:AGNT.0000018806.20944.ef","volume":"8","author":"P. Bresciani","year":"2004","unstructured":"Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., & Mylopoulos, J. (2004). Tropos: An agent-oriented software development methodology. Autonomous Agents and Multi-Agent Systems, 8(3), 203\u2013236.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"1","key":"9155_CR12","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1007\/s10270-002-0004-8","volume":"1","author":"L. C. Briand","year":"2002","unstructured":"Briand, L. C., & Labiche, Y. (2002). A UML-based approach to system testing. Journal of Software and Systems Modeling, 1(1), 10\u201342.","journal-title":"Journal of Software and Systems Modeling"},{"key":"9155_CR13","unstructured":"Briand, L. C., Labiche. Y., & Wang, Y. (2004). Using simulation to empirically investigate test coverage criteria based on Statechart. In Proceedings of the 26th international conference on software engineering (ICSE) (pp. 86\u201395). Washington, DC: IEEE Computer Society."},{"issue":"3","key":"9155_CR14","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"SE-4","author":"T. S. Chow","year":"1978","unstructured":"Chow, T. S. (1978). Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering, SE-4(3), 178\u2013187.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"9155_CR15","first-page":"639","volume":"13","author":"E. M. Clarke","year":"2007","unstructured":"Clarke, E. M., & Lerda, F. (2007). Model checking: Software and beyond. Journal of Universal Computer Science, 13(5), 639\u2013649.","journal-title":"Journal of Universal Computer Science"},{"key":"9155_CR16","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-3-642-10373-5_9","volume-title":"Formal methods and software engineering, LNCS, Vol. 5885","author":"M. Cristi\u00e1","year":"2009","unstructured":"Cristi\u00e1, M., & Monetti, P. (2009). Implementing and applying the Stocks\u2013Carrington framework for model-based testing. In K. Breitman, & A. Cavalcanti (Eds.), Formal methods and software engineering (LNCS, Vol. 5885, pp. 167\u2013185). Berlin\/Heidelberg, Germany: Springer."},{"key":"9155_CR17","unstructured":"Cristi\u00e1, M., Santiago, V., & Vijaykumar, N. L. (2010). On comparing and complementing two MBT approaches. In Proceedings of the 11th Latin\u2013American test workshop (LATW) (pp. 1\u20136). Washington, DC: IEEE Computer Society."},{"key":"9155_CR18","volume-title":"ECSS-S-ST-00C: ECSS system\u2014description, implementation and general requirements","author":"ECSS","year":"2008","unstructured":"ECSS. (2008). ECSS-S-ST-00C: ECSS system\u2014description, implementation and general requirements. Noordwijk, The Netherlands: European Cooperation for Space Standardization (ECSS)."},{"key":"9155_CR19","volume-title":"ECSS-E-ST-10-06C: ECSS space engineering\u2014technical requirements specification","author":"ECSS","year":"2009","unstructured":"ECSS. (2009). ECSS-E-ST-10-06C: ECSS space engineering\u2014technical requirements specification. Noordwijk, The Netherlands: European Cooperation for Space Standardization (ECSS)."},{"key":"9155_CR20","volume-title":"Encyclopedia of software engineering.","author":"I. K. 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."},{"issue":"3","key":"9155_CR22","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/s00766-003-0174-0","volume":"8","author":"A. Fantechi","year":"2003","unstructured":"Fantechi, A., Gnesi, S., Lami, G., & Maccari, A. (2003). Applications of linguistic techniques for use case analysis. Requirements Engineering, 8(3), 161\u2013170.","journal-title":"Requirements Engineering"},{"key":"9155_CR21","unstructured":"Fantechi, A., & Spinicci, E. (2005). A content analysis technique for inconsistency detection in software requirements documents. In Proceedings of the VIII workshop on requirements engineering (WER) (pp. 245\u2013256)."},{"issue":"5","key":"9155_CR23","doi-asserted-by":"crossref","first-page":"454","DOI":"10.1109\/32.90448","volume":"17","author":"M. D. 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":"9155_CR24","unstructured":"Frohlich, P., & Link, J. (2000). Automated test case generation from dynamic models. In ECOOP 2000: Object-oriented programming (LNCS, Vol. 1850, pp. 472\u2013491). Berlin\/Heidelberg, Germany: Springer."},{"key":"9155_CR25","unstructured":"Fuchs, N. E., Schwertel, U., & Schwitter, R. (1999). Attempto Controlled English\u2014not just another logic specification language. In Logic-based program synthesis and transformation (LNCS, Vol. 1559, pp. 1\u201320). Berlin\/Heidelberg, Germany: Springer."},{"issue":"2","key":"9155_CR26","first-page":"199","volume":"1","author":"N. E. Fuchs","year":"2000","unstructured":"Fuchs, N. E., Schwertel, U., & Torge, S. (2000). A natural language front-end to model generation. Journal of Language and Computation, 1(2), 199\u2013214.","journal-title":"Journal of Language and Computation"},{"issue":"3","key":"9155_CR27","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1145\/1072997.1072999","volume":"14","author":"V. Gervasi","year":"2005","unstructured":"Gervasi, V., & Zowghi, D. (2005). Reasoning about inconsistencies in natural language requirements. ACM Transactions on Software Engineering and Methodology, 14(3), 277\u2013330.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"9155_CR28","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: A visual formalism for complex systems. Science of Computer Programming, 8, 231\u2013274.","journal-title":"Science of Computer Programming"},{"key":"9155_CR29","unstructured":"Harel, D., Pnueli, A., Schmidt, J. P., & Sherman, R. (1987). On the formal semantics of Statecharts (extended abstract). In Proceedings of the 2nd IEEE symposium on logic in computer science (LICS) (pp. 54\u201364). Washington, DC: IEEE Computer Society."},{"issue":"1","key":"9155_CR30","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":"R. M. 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":"9155_CR31","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1459352.1459354","volume":"41","author":"R. M. Hierons","year":"2009","unstructured":"Hierons, R. M., Bogdanov, K., Bowen, J. P., Cleaveland, R., Derrick, J., Dick, J., et\u00a0al. (2009). Using formal specifications to support testing. ACM Computing Surveys, 41(2), 1\u201376.","journal-title":"ACM Computing Surveys"},{"key":"9155_CR32","volume-title":"Communicating sequential processes","author":"C. A. R. Hoare","year":"1985","unstructured":"Hoare, C. A. R. (1985). Communicating sequential processes. Englewood Cliffs, NJ: Prentice-Hall."},{"key":"9155_CR33","volume-title":"Introduction to automata theory, languages, and computation","author":"J. E. Hopcroft","year":"1979","unstructured":"Hopcroft, J. E., & Ullman, J. D. (1979). Introduction to automata theory, languages, and computation. Reading, MA: Addison Wesley."},{"issue":"3","key":"9155_CR34","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1109\/TSE.1976.233816","volume":"SE-2","author":"W. E. Howden","year":"1976","unstructured":"Howden, W. E. (1976). Reliability of the path analysis testing strategy. IEEE Transactions on Software Engineering, SE-2(3), 208\u2013215.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9155_CR35","volume-title":"IEEE Std 610.12-1990: IEEE standard glossary of software engineering terminology","author":"IEEE","year":"1990","unstructured":"IEEE. (1990). IEEE Std 610.12-1990: IEEE standard glossary of software engineering terminology. New York, NY: The Institute of Electrical and Electronics Engineers (IEEE)."},{"key":"9155_CR36","unstructured":"Jiang, J. J., & Conrath, D. W. (1997). Semantic similarity based on corpus statistics and lexical taxonomy. In Proceedings of the 10th international conference research on computational linguistics (ROCLING) (pp. 19\u201333)."},{"issue":"3","key":"9155_CR37","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1023\/B:SQJO.0000034710.86897.16","volume":"12","author":"H. Y. Kim","year":"2004","unstructured":"Kim, H. Y., & Sheldon, F. T. (2004). Testing software requirements with Z and Statecharts applied to an embedded control system. Software Quality Journal, 12(3), 231\u2013264.","journal-title":"Software Quality Journal"},{"key":"9155_CR38","doi-asserted-by":"crossref","first-page":"265","DOI":"10.7551\/mitpress\/7287.003.0018","volume-title":"WordNet: An electronic lexical database chap 11","author":"C. Leacock","year":"1998","unstructured":"Leacock, C., & Chodorow, M. (1998). Combining local context and WordNet similarity for word sense identification. In C. Fellbaum (Ed.), WordNet: An electronic lexical database, chap 11 (pp. 265\u2013283). Cambridge, MA: The MIT Press."},{"key":"9155_CR39","doi-asserted-by":"crossref","unstructured":"Lee, D., & Yannakakis, M. (1996). Principles and methods of testing finite state machines: A survey. Proceedings of the IEEE, 84(8), 1090\u20131123.","DOI":"10.1109\/5.533956"},{"key":"9155_CR41","unstructured":"Lei, Y., Kacker, R., Kuhn, D. R., Okun, V., & Lawrence, J. (2007). IPOG: A general strategy for t-way software testing. In Proceedings of the 14th annual IEEE international conference and workshops on the engineering of computer-based systems (ECBS) (pp. 549\u2013556). Washington, DC: IEEE Computer Society."},{"key":"9155_CR40","unstructured":"Lei, Y., & Tai, K. C. (1998). In-parameter-order: A test generation strategy for pairwise testing. In Proceedings of the 3rd IEEE international symposium on high-assurance systems engineering (HASE) (pp. 254\u2013261). Washington, DC: IEEE Computer Society."},{"key":"9155_CR42","unstructured":"Lesk, M. (1986). Automatic sense disambiguation using machine readable dictionaries: How to tell a pine cone from an ice cream cone. In Proceedings of the 5th international conference on systems documentation (SIGDOC) (pp. 24\u201326). New York, NY: ACM."},{"key":"9155_CR43","unstructured":"Liang, J., & Palmer, J. D. (1994). A pattern matching and clustering based approach for supporting requirements transformation. In Proceedings of the 1st IEEE international conference on requirements engineering (ICRE) (pp. 180\u2013183). Washington, DC: IEEE Computer Society."},{"key":"9155_CR44","unstructured":"Lu, C. W., Chang, C. H., Chu, W. C., Cheng, Y. W., & Chang, H.C. (2008). A requirement tool to support model-based requirement engineering. In Proceedings of the 32nd annual IEEE international computer software and applications conference (COMPSAC) (pp. 712\u2013717). Washington, DC: IEEE Computer Society."},{"issue":"2","key":"9155_CR45","first-page":"313","volume":"19","author":"M. P. Marcus","year":"1993","unstructured":"Marcus, M. P., Marcinkiewicz, M. A., & Santorini, B. (1993). Building a large annotated corpus of English: The Penn Treebank. Computational Linguistics, 19(2), 313\u2013330.","journal-title":"Computational Linguistics"},{"issue":"10","key":"9155_CR46","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1016\/0950-5849(94)90021-3","volume":"36","author":"P. C. Masiero","year":"1994","unstructured":"Masiero, P. C., Maldonado, J. C., & Boaventura, I. G. (1994). A reachability tree for statecharts and analysis of some properties. Information and Software Technology, 36(10), 615\u2013624.","journal-title":"Information and Software Technology"},{"key":"9155_CR47","volume-title":"Foundations of software testing","author":"A. P. Mathur","year":"2008","unstructured":"Mathur, A. P. (2008). Foundations of software testing. Delhi, India: Dorling Kindersley (India) Pearson Education in South Asia."},{"issue":"2","key":"9155_CR48","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1017\/S1351324996001337","volume":"2","author":"L. Mich","year":"1996","unstructured":"Mich, L. (1996). NL-OOPS: From natural language to object oriented requirements using the natural language processing system LOLITA. Natural Language Engineering, 2(2), 161\u2013187.","journal-title":"Natural Language Engineering"},{"issue":"1","key":"9155_CR49","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/s00766-003-0179-8","volume":"9","author":"L. Mich","year":"2004","unstructured":"Mich, L., Franch, M., & Inverardi, P. (2004). Market research for requirements analysis using linguistic tools. Requirements Engineering Journal, 9(1), 40\u201356.","journal-title":"Requirements Engineering Journal"},{"key":"9155_CR50","doi-asserted-by":"crossref","first-page":"23","DOI":"10.7551\/mitpress\/7287.003.0006","volume-title":"WordNet: an electronic lexical database, chap 1","author":"G. A. Miller","year":"1998","unstructured":"Miller, G. A. (1998). Nouns in WordNet. In C. Fellbaum (Ed.), WordNet: An electronic lexical database, chap 1 (pp. 23\u201346). Cambridge, MA: The MIT Press."},{"key":"9155_CR51","unstructured":"Miller, G. A., Leacock, C., Tengi, R., & Bunker, R. T. (1993). A semantic concordance. In Proceedings of the workshop on human language technology (HLT) (pp. 303\u2013308). Morristown, NJ: Association for Computational Linguistics."},{"key":"9155_CR52","doi-asserted-by":"crossref","unstructured":"Morgan, R., Garigliano, R., Callaghan, P., Poria, S., Smith, M., Urbanowicz, A., et\u00a0al. (1995). University of Durham: Description of the LOLITA system as used in MUC-6. In Proceedings of the 6th message understanding conference (MUC-6) (pp. 71\u201385).","DOI":"10.3115\/1072399.1072408"},{"issue":"2","key":"9155_CR53","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1459352.1459355","volume":"41","author":"R. Navigli","year":"2009","unstructured":"Navigli, R. (2009). Word sense disambiguation: A survey. ACM Computing Surveys, 41(2), 1\u201369.","journal-title":"ACM Computing Surveys"},{"key":"9155_CR54","unstructured":"Offutt, J., & Abdurazik, A. (1999). Generating tests from UML specifications. In UML\u201999: The unified modeling language (LNCS, Vol. 1723, pp 416\u2013429). Berlin\/Heidelberg, Germany: Springer."},{"key":"9155_CR55","volume-title":"OMG unified modeling language (OMG UML), Superstructure, V2.1.2","author":"OMG","year":"2007","unstructured":"OMG. (2007). OMG unified modeling language (OMG UML), Superstructure, V2.1.2. Needham, MA: The Object Management Group (OMG)."},{"issue":"6","key":"9155_CR56","doi-asserted-by":"crossref","first-page":"676","DOI":"10.1145\/62959.62964","volume":"31","author":"T. J. Ostrand","year":"1988","unstructured":"Ostrand, T. J., & Balcer, M. J. (1988). The category-partition method for specifying and generating functional tests. Communications of the ACM, 31(6), 676\u2013686.","journal-title":"Communications of the ACM"},{"key":"9155_CR57","unstructured":"Paradkar, A. (2003). Towards model-based generation of self-priming and self-checking conformance tests for interactive systems. In Proceedings of the 18th ACM symposium on applied computing (SAC) (pp. 1110\u20131117). New York, NY: ACM."},{"key":"9155_CR58","unstructured":"Pedersen, T., Patwardhan, S., & Michelizzi, J. (2004). WordNet::Similarity: Measuring the relatedness of concepts. In Proceedings of the 5th annual conference of the North American chapter of the association for computational linguistics (NAACL) (pp. 38\u201341). Morristown, NJ: Association for Computational Linguistics."},{"issue":"9","key":"9155_CR59","doi-asserted-by":"crossref","first-page":"1154","DOI":"10.1109\/TC.2005.152","volume":"54","author":"A. Petrenko","year":"2005","unstructured":"Petrenko, A., & Yevtushenko, N. (2005). Testing from partial deterministic FSM specifications. IEEE Transactions on Computers, 54(9), 1154\u20131165.","journal-title":"IEEE Transactions on Computers"},{"key":"9155_CR60","unstructured":"Pimont, S., & Rault, J. C. (1976). A software reliability assessment based on a structural and behavioral analysis of programs. In Proceedings of the 2nd international conference on software engineering (ICSE) (pp. 486\u2013491). New York, NY: ACM."},{"key":"9155_CR61","volume-title":"Software Engineering: A practitioner\u2019s approach","author":"R. S. Pressman","year":"2001","unstructured":"Pressman, R. S. (2001). Software Engineering: A practitioner\u2019s approach (5th ed.). New York, NY: McGraw-Hill.","edition":"5"},{"key":"9155_CR62","unstructured":"Santiago, V., Amaral, A. S. M., Vijaykumar, N. L., Mattiello-Francisco, M. F., Martins, E., & Lopes, O. C. (2006). A practical approach for automated test case generation using statecharts. In Proceedings of the 30th annual international computer software and applications conference (COMPSAC)\u2014international workshop on testing and quality assurance for component-based systems (TQACBS) (pp. 183\u2013188). Los Alamitos, CA: IEEE Computer Society."},{"key":"9155_CR63","unstructured":"Santiago, V., Mattiello-Francisco, F., Costa, R., Silva, W. P., & Ambrosio, A. M. (2007). QSEE project: An experience in outsourcing software development for space applications. In Proceedings of the 19th international conference on software engineering and knowledge engineering (SEKE) (pp. 51\u201356). Skokie, IL: Knowledge Systems Institute Graduate School."},{"key":"9155_CR64","doi-asserted-by":"crossref","unstructured":"Santiago, V., Silva, W. P., & Vijaykumar, N. L. (2008a). Shortening test case execution time for embedded software. In Proceedings of the 2nd IEEE international conference on secure system integration and reliability improvement (SSIRI) (pp.81\u201388). Washington, DC: IEEE Computer Society.","DOI":"10.1109\/SSIRI.2008.49"},{"key":"9155_CR65","doi-asserted-by":"crossref","unstructured":"Santiago, V., Vijaykumar, N. L., Guimaraes, D., Amaral, A. S., & Ferreira, E. (2008b). An environment for automated test case generation from statechart-based and finite state machine-based behavioral models. In Proceedings of the 1st international conference on software testing, verification and validation (ICST)\u2014workshop on advances in model based testing (A-MOST) (pp. 63\u201372). Washington, DC: IEEE Computer Society.","DOI":"10.1109\/ICSTW.2008.7"},{"key":"9155_CR66","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. INPE, S\u00e3o Jos\u00e9 dos Campos, http:\/\/www.urlib.net\/sid.inpe.br\/mtc-m19@80\/2010\/02.26.14.05 , (INPE-16677-RPQ\/850)"},{"issue":"2","key":"9155_CR67","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1016\/j.infsof.2008.05.002","volume":"51","author":"M. Sarma","year":"2009","unstructured":"Sarma, M., & Mall, R. (2009). Automatic generation of test specifications for coverage of system state transitions. Information and Software Technology, 51(2), 418\u2013432.","journal-title":"Information and Software Technology"},{"issue":"4","key":"9155_CR68","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1109\/32.16602","volume":"15","author":"D. P. Sidhu","year":"1989","unstructured":"Sidhu, D. P., & Leung, T. K. (1989). Formal methods for protocol testing: A detailed study. IEEE Transactions on Software Engineering, 15(4), 413\u2013426.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9155_CR69","unstructured":"Sinha, R., & Mihalcea, R. (2007). Unsupervised graph-based word sense disambiguation using measures of word semantic similarity. In Proceedings of the international conference on semantic computing (ICSC) (pp. 363\u2013369). Washington, DC: IEEE Computer Society."},{"key":"9155_CR70","unstructured":"Sleator, D. D., & Temperley, D. (1993). Parsing English with a link grammar. In Proceedings of the 3rd international workshop on parsing technologies (pp. 277\u2013292)."},{"key":"9155_CR71","unstructured":"Sneed, H. M. (2007). Testing against natural language requirements. In Proceedings of the 7th international conference on quality software (QSIC) (pp. 380\u2013387). Washington, DC: IEEE Computer Society."},{"key":"9155_CR72","unstructured":"Souza, \u00c9. 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. Master Dissertation (133\u00a0p.). Instituto Nacional de Pesquisas Espaciais, S\u00e3o Jos\u00e9 dos Campos, SP."},{"key":"9155_CR73","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. PhD Thesis (264 p.). Universidade de S\u00e3o Paulo, S\u00e3o Carlos, SP."},{"key":"9155_CR74","volume-title":"The Z notation: A reference manual","author":"J. M. Spivey","year":"1989","unstructured":"Spivey, J. M. (1989). The Z notation: a reference manual. Upper Saddle River, NJ: Prentice-Hall"},{"key":"9155_CR75","doi-asserted-by":"crossref","unstructured":"Toutanova, K., Klein, D., Manning, C. D., & Singer, Y. (2003). Feature-rich part-of-speech tagging with a cyclic dependency network. In Proceedings of the conference of the North American chapter of the association for computational linguistics on human language technology (pp. 173\u2013180).","DOI":"10.3115\/1073445.1073478"},{"key":"9155_CR76","unstructured":"University of Ottawa. (2008). Alan Williams\u2019 page. Available from: http:\/\/www.site.uottawa.ca\/~awilliam\/ . Accessed in July 22, 2010."},{"key":"9155_CR77","unstructured":"University of Sussex. (2010). David Hope\u2019s page. Available from: http:\/\/www.cogs.susx.ac.uk\/users\/drh21\/ . Accessed in July 22, 2010."},{"key":"9155_CR78","unstructured":"Vijaykumar, N. L., Carvalho, S. V., Franc\u00eas, C. R. L., Abdurahiman, V., & Amaral, A. S. M. (2006). Performance evaluation from statecharts representation of complex systems: Markov approach. In Anais do XXVI Congresso da Sociedade Brasileira de Computa\u00e7\u00e3o (CSBC)\u2014Workshop em Desempenho de Sistemas Computacionais e de Comunica\u00e7\u00e3o (pp. 183\u2013202). Porto Alegre, RS: Sociedade Brasileira de Computa\u00e7\u00e3o."}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-011-9155-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-011-9155-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-011-9155-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,7]],"date-time":"2025-03-07T23:23:26Z","timestamp":1741389806000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-011-9155-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7,31]]},"references-count":78,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["9155"],"URL":"https:\/\/doi.org\/10.1007\/s11219-011-9155-6","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,7,31]]}}}