{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T14:40:49Z","timestamp":1773758449527,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642336652","type":"print"},{"value":"9783642336669","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33666-9_29","type":"book-chapter","created":{"date-parts":[[2012,9,18]],"date-time":"2012-09-18T16:50:20Z","timestamp":1347987020000},"page":"449-464","source":"Crossref","is-referenced-by-count":25,"title":["ATLTest: A White-Box Test Generation Approach for ATL Transformations"],"prefix":"10.1007","author":[{"given":"Carlos A.","family":"Gonz\u00e1lez","sequence":"first","affiliation":[]},{"given":"Jordi","family":"Cabot","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","unstructured":"Aertryck, L.V., Jensen, T.: Uml-casting: Test synthesis from uml models using constraint resolution. In: Proceedings of AFADL 2003 (Approches Formelles Dans L\u2019Assistance Au D\u00e9velopment De Logiciel) (2003)"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K., Salas, P.A.P.: Test case generation by ocl mutation and constraint solving. In: QSIC, pp. 64\u201371. IEEE Computer Society (2005)","DOI":"10.1109\/QSIC.2005.63"},{"key":"29_CR3","unstructured":"Baudry, B., Dinh-Trong, T., Mottu, J.M., Simmonds, D., France, R., Ghosh, S., Fleurey, F., Le Traon, Y.: Model transformation testing challenges. In: Proceedings of IMDT Workshop in conjunction with ECMDA 2006 (2006)"},{"issue":"6","key":"29_CR4","doi-asserted-by":"publisher","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. Commun. ACM\u00a053(6), 139\u2013143 (2010)","journal-title":"Commun. ACM"},{"key":"29_CR5","unstructured":"Beizer, B.: Software Testing Techniques, 2nd edn. Int. Thomson Computer Press (1990)"},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"Brottier, E., Fleurey, F., Steel, J., Baudry, B., Traon, Y.L.: Metamodel-based test generation for model transformations: an algorithm and a tool. In: ISSRE, pp. 85\u201394. IEEE Computer Society (2006)","DOI":"10.1109\/ISSRE.2006.27"},{"key":"29_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-642-21210-9_33","volume-title":"Models in Software Engineering","author":"A.D. Brucker","year":"2011","unstructured":"Brucker, A.D., Krieger, M.P., Longuet, D., Wolff, B.: A Specification-Based Test Case Generation Method for UML\/OCL. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol.\u00a06627, pp. 334\u2013348. Springer, Heidelberg (2011)"},{"key":"29_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-13688-7_6","volume-title":"Theory and Practice of Model Transformations","author":"C. Fiorentini","year":"2010","unstructured":"Fiorentini, C., Momigliano, A., Ornaghi, M., Poernomo, I.: A Constructive Approach to Testing Model Transformations. In: Tratt, L., Gogolla, M. (eds.) ICMT 2010. LNCS, vol.\u00a06142, pp. 77\u201392. Springer, Heidelberg (2010)"},{"key":"29_CR9","doi-asserted-by":"crossref","unstructured":"Fleurey, F., Steel, J., Baudry, B.: Validation in model-driven engineering: testing model transformations. In: Proceedings of first Int. Workshop on Model, Design and Validation, pp. 29\u201340 (November 2004)","DOI":"10.1109\/MODEVA.2004.1425846"},{"issue":"2","key":"29_CR10","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.L.: Qualifying input test data for model transformations. Software and System Modeling\u00a08(2), 185\u2013203 (2009)","journal-title":"Software and System Modeling"},{"key":"29_CR11","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":"29_CR12","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez, C.A., B\u00fcttner, F., Claris\u00f3, R., Cabot, J.: Emftocsp: A tool for the lightweight verification of emf models. In: Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA), pp. 44\u201350 (June 2012)","DOI":"10.1109\/FormSERA.2012.6229788"},{"key":"29_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-30476-7_3","volume-title":"Theory and Practice of Model Transformations","author":"E. Guerra","year":"2012","unstructured":"Guerra, E.: Specification-Driven Test Generation for Model Transformations. In: Hu, Z., de Lara, J. (eds.) ICMT 2012. LNCS, vol.\u00a07307, pp. 40\u201355. Springer, Heidelberg (2012)"},{"key":"29_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11663430_14","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"F. Jouault","year":"2006","unstructured":"Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 128\u2013138. Springer, Heidelberg (2006)"},{"key":"29_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":"29_CR16","doi-asserted-by":"crossref","unstructured":"Lamari, M.: Towards an automated test generation for the verification of model transformations. In: SAC, pp. 998\u20131005. ACM (2007)","DOI":"10.1145\/1244002.1244220"},{"key":"29_CR17","unstructured":"Mc Quillan, J.A., Power, J.F.: White-box coverage criteria for model transformations. Department of Computer Science. National University of Ireland (July 2009)"},{"issue":"4","key":"29_CR18","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/TSE.1976.233837","volume":"2","author":"T.J. McCabe","year":"1976","unstructured":"McCabe, T.J.: A complexity measure. IEEE Trans. Software Eng.\u00a02(4), 308\u2013320 (1976)","journal-title":"IEEE Trans. Software Eng."},{"key":"29_CR19","unstructured":"Myers, G.J.: The Art of Software Testing, 2nd edn. John Wiley & Sons, Inc. (2004)"},{"key":"29_CR20","doi-asserted-by":"crossref","unstructured":"Sen, S., Baudry, B., Mottu, J.M.: On combining multi-formalism knowledge to select models for model transformation testing. In: ICST, pp. 328\u2013337. IEEE Computer Society (2008)","DOI":"10.1109\/ICST.2008.62"},{"key":"29_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)"},{"key":"29_CR22","doi-asserted-by":"crossref","unstructured":"Wang, J., Kim, S.K., Carrington, D.A.: Automatic generation of test models for model transformations. In: Australian Software Engineering Conference, pp. 432\u2013440. IEEE Computer Society (2008)","DOI":"10.1109\/ASWEC.2008.4483232"},{"key":"29_CR23","doi-asserted-by":"crossref","unstructured":"Wei\u00dfleder, S., Schlingloff, B.H.: Quality of automatically generated test cases based on ocl expressions. In: ICST, pp. 517\u2013520. IEEE Computer Society (2008)","DOI":"10.1109\/ICST.2008.40"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33666-9_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:12:39Z","timestamp":1606187559000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33666-9_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336652","9783642336669"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33666-9_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}