{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:25:30Z","timestamp":1743002730880,"version":"3.40.3"},"publisher-location":"Boston, MA","reference-count":20,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781461475392"},{"type":"electronic","value":"9781461475408"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-1-4614-7540-8_14","type":"book-chapter","created":{"date-parts":[[2013,11,6]],"date-time":"2013-11-06T17:41:31Z","timestamp":1383759691000},"page":"179-191","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Improving NDT with Automatic Test Case Generation"],"prefix":"10.1007","author":[{"given":"J.","family":"Guti\u00e9rrez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. J.","family":"Escalona","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Mej\u00edas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Dom\u00ednguez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C. R.","family":"Cutilla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,10,17]]},"reference":[{"issue":"2","key":"14_CR1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt DC (2006) Guest editor\u2019s introduction: model-driven engineering. Computer 39(2):25\u201331","journal-title":"Computer"},{"issue":"3","key":"14_CR2","first-page":"370","volume":"34","author":"MJ Escalona","year":"2008","unstructured":"Escalona MJ, Arag\u00f3n G (2008) NDT. A model-driven approach for web requirements. IEEE Trans Software Eng 34(3):370\u2013390","journal-title":"IEEE Trans Software Eng"},{"key":"14_CR3","volume-title":"The art of software testing","author":"G Myers","year":"2004","unstructured":"Myers G (2004) The art of software testing, 2nd edn. Addison-Wesley, Boston, MA","edition":"2"},{"key":"14_CR4","unstructured":"Denger C, Medina M (2003) Test case derived from requirement specifications. Fraunhofer IESE Report, Germany"},{"issue":"8","key":"14_CR5","doi-asserted-by":"crossref","first-page":"1379","DOI":"10.1016\/j.jss.2011.03.051","volume":"84","author":"MJ Escalona","year":"2011","unstructured":"Escalona MJ, Guti\u00e9rrez JJ, Mej\u00edas M, Arag\u00f3n G, Ramos I, Torres J, Dom\u00ednguez FJ (2011) An overview on test generation from functional requirements. J Syst Software: Elsevier 84(8):1379\u20131393","journal-title":"J Syst Software: Elsevier"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Fr\u00f6hlich P, Link J (2000) Automated test case generation from dynamic models. ECOOP 2000, pp 472\u2013491","DOI":"10.1007\/3-540-45102-1_23"},{"key":"14_CR7","unstructured":"Naresh A (2002) Testing from use cases using path analysis technique. In: International conference on software testing analysis & review"},{"key":"14_CR8","unstructured":"Mogyorodi GE (2002). What is requirements-based testing? In: 15th Annual software technology conference, Salt Lake City, USA, 28 Apr to 1 May"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Boddu R, Guo L, Mukhopadhyay S (2004) RETNA: From requirements to testing in natural way. In: Proceedings of 12th IEEE international requirements engineering RE\u201904","DOI":"10.1109\/ICRE.2004.1335683"},{"key":"14_CR10","unstructured":"Ruder A (2004) UML-based test generation and execution. R\u00fcckblick Meeting. Berlin"},{"key":"14_CR11","volume-title":"Testing object-oriented systems","author":"RV Binder","year":"1999","unstructured":"Binder RV (1999) Testing object-oriented systems. Addison Wesley, Boston, MA"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Ibrahim R, Saringat MZ, Ibrahim N, Ismail N (2007) An automatic tool for generating test cases from the system\u2019s requirements. In: 7th International conference on computer and information technology, Fukushima, Japan","DOI":"10.1109\/CIT.2007.116"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Ostrand TJ, Balcer MJ (1988) Category-partition method. Communications of the ACM, pp 676\u2013686","DOI":"10.1145\/62959.62964"},{"key":"14_CR14","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-87875-9_6","volume":"5301","author":"JJ Guti\u00e9rrez","year":"2008","unstructured":"Guti\u00e9rrez JJ, Nebut C, Escalona MJ, Mej\u00edas M, Ramos I (2008) Visualization of use cases through automatically generated activity diagrams. Lect Notes Comput Sci 5301:83\u201396","journal-title":"Lect Notes Comput Sci"},{"key":"14_CR15","unstructured":"Supporting web www.iwt2.org\/mdetest. Last updated 15 Apr 2012"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Kapova L, Goldschmidt T, Becker S, Henss J (2010). Evaluating maintainability with code metrics for model-to-model transformations. Research into practice\u2013reality and gaps, Springer, pp 151\u2013166","DOI":"10.1007\/978-3-642-13821-8_12"},{"key":"14_CR17","unstructured":"Object Management Group (2011) Query View Transformation Specification 2.0. http:\/\/www.omg.org. Accessed 7 Jan 2012"},{"key":"14_CR18","unstructured":"Garc\u00eda-Garc\u00eda J, Cutilla CR, Escalona MJ, Alba M, Torres J (2011) NDT-Driver, a Java Tool to Support QVT Transformations for NDT. In: 20th International conference on information systems development, Edinburgh, Scotland, 24\u201326 August"},{"key":"14_CR19","unstructured":"Cutilla CR, Garc\u00eda-Garc\u00eda JA, Alba M, Escalona MJ, Rodr\u00edguez-Catal\u00e1n L (2011) Aplicaci\u00f3n del paradigma MDE para la generaci\u00f3n de pruebas funcionales. Experiencia dentro del proyecto AQUA-WS. In: Proceeding of Automating Test Case Design, Selection and Evaluation ATSE 2011, Chaves, Portugal"},{"key":"14_CR20","unstructured":"Object Management Group (2011) Unified Modeling Language 2.4. www.omg.org. Accessed 24 June 2012"}],"container-title":["Building Sustainable Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-7540-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T18:26:36Z","timestamp":1676831196000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4614-7540-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9781461475392","9781461475408"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-7540-8_14","relation":{},"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"17 October 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}