{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:03:45Z","timestamp":1725642225161},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642233906"},{"type":"electronic","value":"9783642233913"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23391-3_14","type":"book-chapter","created":{"date-parts":[[2011,12,12]],"date-time":"2011-12-12T11:51:14Z","timestamp":1323690674000},"page":"193-208","source":"Crossref","is-referenced-by-count":1,"title":["A Model Based Testing Approach for Model-Driven Development and Software Product Lines"],"prefix":"10.1007","author":[{"given":"Beatriz","family":"P\u00e9rez Lamancha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Macario","family":"Polo Usaola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Piattini Velthius","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Dalai, S., et al.: Model-based testing in practice. In: ICSE (1999)","DOI":"10.1145\/302405.302640"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Trujillo, S., Batory, D., Diaz, O.: Feature oriented model driven development: A case study for portlets. In: ICSE (2007)","DOI":"10.1109\/ICSE.2007.36"},{"key":"14_CR3","unstructured":"Deelstra, S., et al.: Model driven architecture as approach to manage variability in software product families. In: MDAFA (2003)"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., et al.: Model-driven software product lines. In: OOPLSLA (2005)","DOI":"10.1145\/1094855.1094896"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Mens, T., Van Corp, P.: A Taxonomy of Model Transformation. Electronic Notes in Theoretical Computer Sciences (2006)","DOI":"10.1016\/j.entcs.2005.10.021"},{"key":"14_CR6","unstructured":"Miller, J., Mukerji, J.: MDA Guide Version 1.0. 1. In: OMG (ed.) (2003)"},{"key":"14_CR7","unstructured":"OMG, UML testing profile Version 1.0. In: OMG (ed.) (2005)"},{"key":"14_CR8","volume-title":"Model-Driven Testing: Using the UML Testing Profile","author":"P. Baker","year":"2007","unstructured":"Baker, P., et al.: Model-Driven Testing: Using the UML Testing Profile. Springer, Heidelberg (2007)"},{"key":"14_CR9","volume-title":"Software Product Lines - Practices and Patterns","author":"P. Clements","year":"2001","unstructured":"Clements, P., Northrop, L.: Software Product Lines - Practices and Patterns. Addison Wesley, Reading (2001)"},{"key":"14_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles, and Techniques","author":"K. Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., Van Der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Heidelberg (2005)"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"P\u00e9rez Lamancha, B., Polo Usaola, M., Piattini, M.: Towards an Automated Testing Framework to Manage Variability Using the UML Testing Profile. In: AST, Canada (2009)","DOI":"10.1109\/IWAST.2009.5069036"},{"key":"14_CR12","unstructured":"Dai, Z.: Model-Driven Testing with UML 2.0. In: EWMDA, Canterbury, England (2004)"},{"key":"14_CR13","unstructured":"OMG, Unified Modeling Language, Superestructure specification. In: OMG (ed.) (2007)"},{"key":"14_CR14","unstructured":"OMG, MOF Query\/View\/Transformation Specification. In: OMG (ed.) (2007)"},{"key":"14_CR15","unstructured":"OMG, Meta Object Facility Specification. In: OMG (ed.) (2002)"},{"key":"14_CR16","unstructured":"OMG, Object Constraint Language, Version 2.0. In: OMG (ed.) (2006)"},{"key":"14_CR17","unstructured":"OMG, MOF Model to Text Transformation Language. In: OMG (ed.). OMG (2008)"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"P\u00e9rez Lamancha, B., et al.: Automated Model-based Testing using the UML Testing Profile and QVT. In: MODEVVA, USA (2009)","DOI":"10.1145\/1656485.1656491"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"P\u00e9rez Lamancha, B., Polo Usaola, M., Garc\u00eda Rodriguez de Guzm\u00e1n, I.: Model-Driven Testing in Software Product Lines. In: ICSM, Canad\u00e1 (2009)","DOI":"10.1109\/ICSM.2009.5306324"},{"key":"14_CR20","unstructured":"P\u00e9rez Lamancha, B., Polo Usaola, M., Piattini, M.: Software Product Line Testing, A systematic review. In: ICSOFT, Bulgaria (2009)"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Nebut, C., et al.: Automated requirements-based generation of test cases for product families. In: ASE (2003)","DOI":"10.1109\/ASE.2003.1240317"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Gnesi, S., di Pisa, A.: PLUTO: A Test Methodology for Product Families. In: PFE (2004)","DOI":"10.1007\/978-3-540-24667-1_14"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Kang, S., et al.: Towards a Formal Framework for Product Line Test Development. In: CIT (2007)","DOI":"10.1109\/CIT.2007.40"},{"key":"14_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/11431855_36","volume-title":"Advanced Information Systems Engineering","author":"A. Reuys","year":"2005","unstructured":"Reuys, A., et al.: Model-based System Testing of Software Product Families. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J., et al. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 519\u2013534. Springer, Heidelberg (2005)"},{"key":"14_CR25","unstructured":"Olimpiew, E., Gomaa, H.: Customizable Requirements-based Test Models for Software Product Lines. In: SPLiT (2006)"},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"Naslavsky, L., Ziv, H., Richardson, D.J.: Towards traceability of model-based testing artifacts. In: A-MOST, United Kingdom (2007)","DOI":"10.1145\/1291535.1291546"},{"key":"14_CR27","doi-asserted-by":"crossref","unstructured":"Javed, A., Strooper, P., Watson, G.: Automated generation of test cases using model-driven architecture. In: AST (2007)","DOI":"10.1109\/AST.2007.2"}],"container-title":["Communications in Computer and Information Science","Evaluation of Novel Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23391-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T19:57:41Z","timestamp":1561060661000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23391-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642233906","9783642233913"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23391-3_14","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}