{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:15:55Z","timestamp":1772532955151,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642356223","type":"print"},{"value":"9783642356230","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35623-0_18","type":"book-chapter","created":{"date-parts":[[2012,11,22]],"date-time":"2012-11-22T16:22:01Z","timestamp":1353601321000},"page":"176-185","source":"Crossref","is-referenced-by-count":5,"title":["Automatic Test Case Generation from Functional Requirements in NDT"],"prefix":"10.1007","author":[{"given":"Javier","family":"Guti\u00e9rrez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gustavo","family":"Arag\u00f3n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Mej\u00edas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco Jose","family":"Dom\u00ednguez Mayo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carmen M.","family":"Ruiz Cutilla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Binder, R.V.: Testing Object-Oriented Systems. Addison Wesley (1999)"},{"key":"18_CR2","unstructured":"Boddu, R., Guo, L., Mukhopadhyay, S.: RETNA: From Requirements to Testing in Natural Way. In: 12th IEEE International Requirements Engineering, RE 2004 (2004)"},{"key":"18_CR3","unstructured":"Cutilla, C.R., Garc\u00eda-Garc\u00eda, J.A., Alba, M., Escalona, M.J., Rodr\u00edguez-Catal\u00e1n, L.: Aplicaci\u00f3n del paradigma MDE para la generaci\u00f3n de pruebas funcionales. In: Experiencia Dentro del Proyecto AQUA-WS, ATSE 2011, Chaves, Portugal (2011)"},{"key":"18_CR4","unstructured":"Denger, C., Medina, M.: Test Case Derived from Requirement Specifications. Fraunhofer IESE Report, Germany (2003)"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Escalona, M.J., Guti\u00e9rrez, J.J., Mej\u00edas, M., Arag\u00f3n, G., Ramos, I., Torres, J., Dom\u00ednguez, F.J.: An Overview on Test Generation from Functional Requirements. The Journal of Systems and Software (2011)","DOI":"10.1016\/j.jss.2011.03.051"},{"issue":"3","key":"18_CR6","first-page":"370","volume":"34","author":"M.J. Escalona","year":"2008","unstructured":"Escalona, M.J., Arag\u00f3n, G.: NDT. A Model-Driven Approach for Web Requirements. IEEE Transaction on Software Engineering\u00a034(3), 370\u2013390 (2008)","journal-title":"IEEE Transaction on Software Engineering"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1007\/3-540-45102-1_23","volume-title":"ECOOP 2000 - Object-Oriented Programming","author":"P. Fr\u00f6hlich","year":"2000","unstructured":"Fr\u00f6hlich, P., Link, J.: Automated Test Case Generation from Dynamic Models. In: Bertino, E. (ed.) ECOOP 2000. LNCS, vol.\u00a01850, pp. 472\u2013491. Springer, Heidelberg (2000)"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Ibrahim, R., Saringat, M.Z., Ibrahim, N., Ismail, N.: An Automatic Tool for Generating Test Cases from the System\u2019s Requirements. In: 7th International Conference on Computer and Information Technology, Fukushima, Japan (2007)","DOI":"10.1109\/CIT.2007.116"},{"key":"18_CR9","unstructured":"Garc\u00eda-Garc\u00eda, J.A., Cutilla, C.R., Escalona, M.J., Alba, M., Torres, J.: NDT-Driver, a Java Tool to Support QVT Transformations for NDT. In: 20th International Conference on Information Systems Development, Edinburgh, Scotland, August 24-26 (2011)"},{"key":"18_CR10","unstructured":"Mogyorodi, G.E.: What Is Requirements-Based Testing? In: 15th Annual Software Technology Conference, Salt Lake City, USA, April 28-May 1"},{"key":"18_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-87875-9_6","volume-title":"Model Driven Engineering Languages and Systems","author":"J.J. Guti\u00e9rrez","year":"2008","unstructured":"Guti\u00e9rrez, J.J., Nebut, C., Escalona, M.J., Mej\u00edas, M., Ramos, I.M.: Visualization of Use Cases through Automatically Generated Activity Diagrams. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MoDELS 2008. LNCS, vol.\u00a05301, pp. 83\u201396. Springer, Heidelberg (2008)"},{"key":"18_CR12","volume-title":"The Art of Software Testing","author":"G. Myers","year":"2004","unstructured":"Myers, G.: The Art of Software Testing, 2nd edn. Addison-Wesley, USA (2004)","edition":"2"},{"key":"18_CR13","unstructured":"Naresh, A.: Testing From Use Cases Using Path Analysis Technique. In: International Conference on Software Testing Analysis & Review (2002)"},{"key":"18_CR14","unstructured":"Object Management Group, Unified Modelling Language 2.4 (2011), \n                    \n                      http:\/\/www.omg.org\n                    \n                    \n                   (last visit June 24, 2011)"},{"key":"18_CR15","unstructured":"Object Management Group. Query View Transformation Specification 1.0 (2010), \n                    \n                      http:\/\/www.omg.org\n                    \n                    \n                   (last visit June 24, 2011)"},{"key":"18_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-13821-8_12","volume-title":"Research into Practice \u2013 Reality and Gaps","author":"L. Kapov\u00e1","year":"2010","unstructured":"Kapov\u00e1, L., Goldschmidt, T., Becker, S., Henss, J.: Evaluating Maintainability with Code Metrics for Model-to-Model Transformations. In: Heineman, G.T., Kofron, J., Plasil, F. (eds.) QoSA 2010. LNCS, vol.\u00a06093, pp. 151\u2013166. Springer, Heidelberg (2010)"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Ostrand, T.J., Balcer, M.J.: Category-Partition Method. Communications of the ACM, 676\u2013686 (1988)","DOI":"10.1145\/62959.62964"},{"key":"18_CR18","unstructured":"Ruder, A.: UML-based Test Generation and Execution. R\u00fcckblick Meeting, Berlin (2004)"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Schmidt, D.C.: Guest Editor\u2019s Introduction: Model-Driven Engineering. Computer\u00a039(2) (2006)","DOI":"10.1109\/MC.2006.58"},{"key":"18_CR20","unstructured":"Supporting web, \n                    \n                      http:\/\/www.iwt2.org\/mdetest\n                    \n                    \n                   (last updated April 15, 2012)"}],"container-title":["Lecture Notes in Computer Science","Current Trends in Web Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35623-0_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:20:50Z","timestamp":1620134450000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35623-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642356223","9783642356230"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35623-0_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}