{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:15:56Z","timestamp":1772532956322,"version":"3.50.1"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/ret.2014.6908678","type":"proceedings-article","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T10:51:35Z","timestamp":1412074295000},"page":"39-46","source":"Crossref","is-referenced-by-count":10,"title":["Towards the automated generation of abstract test cases from requirements models"],"prefix":"10.1109","author":[{"given":"Maria Fernanda","family":"Granda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nelly","family":"Condori-Fernandez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tanja E.J.","family":"Vos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oscar","family":"Pastor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.22"},{"key":"17","author":"kleinberg","year":"2006","journal-title":"Algorithm Design"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.03.051"},{"key":"15","article-title":"An\ufffdlisis de Comunicaciones como un enfoque de requisitos para el desarrollo dirigido por modelos","author":"ruiz","year":"2010","journal-title":"DSDM"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2009.30"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/RCIS.2012.6240428"},{"key":"14","article-title":"Message Structures: A modelling technique for information systems analysis and design","author":"gonz\ufffdlez","year":"2011","journal-title":"WER"},{"key":"11","article-title":"Communication analysis: A requirements engineering method for information systems","author":"espa\ufffda","year":"2009","journal-title":"CAiSE"},{"key":"12","author":"pastor","year":"2007","journal-title":"Model-Driven Architecture in Practice A Software Production"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69100-6_20"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2010.02.002"},{"key":"22","first-page":"892","volume":"49","author":"pilskalns","year":"2006","journal-title":"Testing UML designs"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2005.16"},{"key":"24","first-page":"301","volume":"55","author":"lamancha","year":"2013","journal-title":"A Model Based Testing Approach for Model-Driven Development and Software Product Lines"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/EmpiRE.2014.6890115"},{"key":"26","author":"stadt de r van","year":"0","journal-title":"CyberChair"},{"key":"27","first-page":"1646","volume":"51","author":"mohagheghi","year":"2009","journal-title":"Definitions and Approaches to Model Quality in Model-based Software Development- A Review of Literature"},{"key":"3","doi-asserted-by":"crossref","first-page":"155","DOI":"10.24867\/IJIEM-2010-4-018","article-title":"Requirements-based testing process in practice","volume":"1","author":"skokovi?","year":"2010","journal-title":"IJIEM"},{"key":"2","article-title":"The cucumber book: Behaviour- driven development for testers and developers","author":"wynne","year":"2012","journal-title":"Pragmatic Programmers"},{"key":"10","author":"omg","year":"2013","journal-title":"Concrete Syntax for A UML Action Language Action Language for Foundational UML (ALF)"},{"key":"1","article-title":"Test-driven development by example","author":"beck","year":"2003","journal-title":"Pearson Education"},{"key":"7","author":"espa\ufffda","year":"2011","journal-title":"Methodological Integration of Communication Analysis into A Model-Driven"},{"key":"6","author":"istqb","year":"2012","journal-title":"Standard Glossary of Terms Used in Software Testing"},{"key":"5","article-title":"Model-driven testing with UML 2.0","author":"dai","year":"2004","journal-title":"Computer Science at Kent"},{"key":"4","first-page":"1","article-title":"A taxonomy of modelbased testing approaches","author":"utting","year":"2010","journal-title":"Softw Test Verif Reliab"},{"key":"9","author":"omg","year":"2011","journal-title":"Semantics of A Foundational Subset for Executable UML Models (FUML)"},{"key":"8","author":"oliv\ufffd","year":"2007","journal-title":"Conceptual Modeling of Information System"}],"event":{"name":"2014 IEEE 1st International Workshop on Requirements Engineering and Testing (RET)","location":"Karlskrona, Sweden","start":{"date-parts":[[2014,8,26]]},"end":{"date-parts":[[2014,8,26]]}},"container-title":["2014 IEEE 1st International Workshop on Requirements Engineering and Testing (RET)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6887462\/6908666\/06908678.pdf?arnumber=6908678","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,16]],"date-time":"2023-07-16T18:47:33Z","timestamp":1689533253000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6908678\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/ret.2014.6908678","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}