{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:57:44Z","timestamp":1725515864242},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642304750"},{"type":"electronic","value":"9783642304767"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30476-7_3","type":"book-chapter","created":{"date-parts":[[2012,5,25]],"date-time":"2012-05-25T11:29:43Z","timestamp":1337945383000},"page":"40-55","source":"Crossref","is-referenced-by-count":20,"title":["Specification-Driven Test Generation for Model Transformations"],"prefix":"10.1007","author":[{"given":"Esther","family":"Guerra","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/978-3-642-17322-6_11","volume-title":"Graph Transformations and Model-Driven Engineering","author":"A. Balogh","year":"2010","unstructured":"Balogh, A., Bergmann, G., Csert\u00e1n, G., G\u00f6nczy, L., Horv\u00e1th, \u00c1., Majzik, I., Pataricza, A., Polg\u00e1r, B., R\u00e1th, I., Varr\u00f3, D., Varr\u00f3, G.: Workflow-Driven Tool Integration Using Model Transformations. In: Engels, G., Lewerentz, C., Sch\u00e4fer, W., Sch\u00fcrr, A., Westfechtel, B. (eds.) Nagl Festschrift. LNCS, vol.\u00a05765, pp. 224\u2013248. Springer, Heidelberg (2010)"},{"issue":"6","key":"3_CR2","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1145\/1743546.1743583","volume":"53","author":"B. Baudry","year":"2010","unstructured":"Baudry, B., Ghosh, S., Fleurey, F., France, R.B., Traon, Y.L., Mottu, J.-M.: Barriers to systematic model transformation testing. CACM\u00a053(6), 139\u2013143 (2010)","journal-title":"CACM"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: automated testing based on Java predicates. In: ISSTA 2002, pp. 123\u2013133 (2002)","DOI":"10.1145\/566172.566191"},{"key":"3_CR4","unstructured":"BPMN, http:\/\/www.bpmn.org\/"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: UMLtoCSP: a tool for the formal verification of UML\/OCL models using constraint programming. In: ASE 2007, pp. 547\u2013548 (2007)","DOI":"10.1145\/1321631.1321737"},{"key":"3_CR6","unstructured":"Cariou, E., Marvie, R., Seinturier, L., Duchien, L.: OCL for the specification of model transformation contracts. In: ECEASST, vol.\u00a012, pp. 69\u201383 (2004)"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s10270-007-0074-8","volume":"8","author":"F. Fleurey","year":"2009","unstructured":"Fleurey, F., Baudry, B., Muller, P.-A., Traon, Y.: Qualifying input test data for model transformations. SOSYM\u00a08, 185\u2013203 (2009)","journal-title":"SOSYM"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/978-3-642-24485-8_29","volume-title":"Model Driven Engineering Languages and Systems","author":"A. Garc\u00eda-Dom\u00ednguez","year":"2011","unstructured":"Garc\u00eda-Dom\u00ednguez, A., Kolovos, D.S., Rose, L.M., Paige, R.F., Medina-Bulo, I.: EUnit: A Unit Testing Framework for Model Management Tasks. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol.\u00a06981, pp. 395\u2013409. Springer, Heidelberg (2011)"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"748","DOI":"10.1007\/978-3-642-04425-0_61","volume-title":"Model Driven Engineering Languages and Systems","author":"P. Giner","year":"2009","unstructured":"Giner, P., Pelechano, V.: Test-Driven Development of Model Transformations. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 748\u2013752. Springer, Heidelberg (2009)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-642-21470-7_16","volume-title":"Modelling Foundations and Applications","author":"M. Gogolla","year":"2011","unstructured":"Gogolla, M., Vallecillo, A.: Tractable Model Transformation Testing. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol.\u00a06698, pp. 221\u2013235. Springer, Heidelberg (2011)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Guerra, E., de Lara, J., Kolovos, D., Paige, R.: A visual specification language for model-to-model transformations. In: VL\/HCC 2010, pp. 119\u2013126 (2010)","DOI":"10.1109\/VLHCC.2010.25"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Guerra, E., de Lara, J., Kolovos, D., Paige, R., dos Santos, O.: Engineering model transformations with transML. Software and Systems Modeling (in press, 2012)","DOI":"10.1007\/s10270-011-0211-2"},{"issue":"1-2","key":"3_CR13","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F. Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: A model transformation tool. Science of Computer Programming\u00a072(1-2), 31\u201339 (2008)","journal-title":"Science of Computer Programming"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-69927-9_4","volume-title":"Theory and Practice of Model Transformations","author":"D.S. Kolovos","year":"2008","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.: The Epsilon Transformation Language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol.\u00a05063, pp. 46\u201360. Springer, Heidelberg (2008)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-540-69489-2_24","volume-title":"Models in Software Engineering","author":"J.M. K\u00fcster","year":"2007","unstructured":"K\u00fcster, J.M., Abd-El-Razik, M.: Validation of Model Transformations \u2013 First Experiences Using a White Box Approach. In: K\u00fchne, T. (ed.) MODELS 2006. LNCS, vol.\u00a04364, pp. 193\u2013204. Springer, Heidelberg (2007)"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Lin, Y., Zhang, J., Gray, J.: A framework for testing model transformations. In: Model-driven Soft. Devel. - Research and Practice in Sof. Eng. Springer (2005)","DOI":"10.1007\/3-540-28554-7_10"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/11787044_28","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"J.-M. Mottu","year":"2006","unstructured":"Mottu, J.-M., Baudry, B., Le Traon, Y.: Mutation Analysis Testing for Model Transformations. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol.\u00a04066, pp. 376\u2013390. Springer, Heidelberg (2006)"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1007\/11880240_41","volume-title":"Model Driven Engineering Languages and Systems","author":"J.-M. Mottu","year":"2006","unstructured":"Mottu, J.-M., Baudry, B., Le Traon, Y.: Reusable MDA Components: A Testing-for-Trust Approach. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 589\u2013603. Springer, Heidelberg (2006)"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Oster, S., Zorcic, I., Markert, F., Lochau, M.: MoSo-PoLiTe: tool support for pairwise and model-based software product line testing. In: VaMoS 2011. ACM International Conference Proceedings Series, pp. 79\u201382. ACM (2011)","DOI":"10.1145\/1944892.1944901"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Perrouin, G., Oster, S., Sen, S., Klein, J., Baudry, B., Traon, Y.: Pairwise testing for software product lines: a comparison of two approaches. Soft. Qual. J. (2011) (in press)","DOI":"10.1007\/s11219-011-9160-9"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-02408-5_11","volume-title":"Theory and Practice of Model Transformations","author":"S. Sen","year":"2009","unstructured":"Sen, S., Baudry, B., Mottu, J.-M.: Automatic Model Generation Strategies for Model Transformation Testing. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol.\u00a05563, pp. 148\u2013164. Springer, Heidelberg (2009)"},{"issue":"3","key":"3_CR22","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1002\/jcd.20067","volume":"14","author":"G.B. Sherwood","year":"2005","unstructured":"Sherwood, G.B., Martirosyan, S.S., Colbourn, C.: Covering arrays of higher strength from permutation vectors. J. of Combinat. Designs\u00a014(3), 202\u2013213 (2005)","journal-title":"J. of Combinat. Designs"},{"issue":"4","key":"3_CR23","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MS.2006.117","volume":"23","author":"N. Tillmann","year":"2006","unstructured":"Tillmann, N., Schulte, W.: Unit tests reloaded: Parameterized unit testing with symbolic execution. IEEE Software\u00a023(4), 38\u201347 (2006)","journal-title":"IEEE Software"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30476-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,29]],"date-time":"2019-06-29T00:10:32Z","timestamp":1561767032000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30476-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642304750","9783642304767"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30476-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}