{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T17:46:09Z","timestamp":1762623969664,"version":"3.37.3"},"publisher-location":"Cham","reference-count":46,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319893624"},{"type":"electronic","value":"9783319893631"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-89363-1_13","type":"book-chapter","created":{"date-parts":[[2018,4,3]],"date-time":"2018-04-03T09:04:43Z","timestamp":1522746283000},"page":"227-245","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Iterative Generation of Diverse Models for Testing Specifications of DSL Tools"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3592-5105","authenticated-orcid":false,"given":"Oszk\u00e1r","family":"Semer\u00e1th","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8790-252X","authenticated-orcid":false,"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,4]]},"reference":[{"issue":"5\u20137","key":"13_CR1","doi-asserted-by":"crossref","first-page":"653","DOI":"10.1002\/stvr.1532","volume":"25","author":"V Aranega","year":"2015","unstructured":"Aranega, V., Mottu, J.-M., Etien, A., Degueule, T., Baudry, B., Dekeyser, J.-L.: Towards an automation of the mutation analysis dedicated to model transformation. Softw. Test. Verif. Reliab. 25(5\u20137), 653\u2013683 (2015)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"13_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61265-7","volume-title":"General Topolgy I: Basic Concepts and Constructions Dimension Theory","author":"A Arkhangel\u2019Skii","year":"2012","unstructured":"Arkhangel\u2019Skii, A., Fedorchuk, V.: General Topolgy I: Basic Concepts and Constructions Dimension Theory, vol. 17. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-61265-7"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Batot, E., Sahraoui, H.: A generic framework for model-set selection for the unification of testing and learning MDE tasks. In: MODELS, pp. 374\u2013384 (2016)","DOI":"10.1145\/2976767.2976785"},{"key":"13_CR4","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: Integration of Model Driven Development and Model Driven Testing (2006)"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Baudry, B., Monperrus, M., Mony, C., Chauvel, F., Fleurey, F., Clarke, S.: Diversify: ecology-inspired software evolution for diversity emergence. In: Software Maintenance, Reengineering and Reverse Engineering, pp. 395\u2013398 (2014)","DOI":"10.1109\/CSMR-WCRE.2014.6747203"},{"key":"13_CR6","unstructured":"Bordbar, B., Anastasakis, K.: UML2ALLOY: a tool for lightweight modeling of discrete event systems. In: IADIS AC, pp. 209\u2013216 (2005)"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Brottier, E., Fleurey, F., Steel, J., Baudry, B., Le Traon, Y.: Metamodel-based test generation for model transformations: an algorithm and a tool. In: 17th International Symposium on Software Reliability Engineering, pp. 85\u201394 (2006)","DOI":"10.1109\/ISSRE.2006.27"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-642-34281-3_16","volume-title":"Formal Methods and Software Engineering","author":"F B\u00fcttner","year":"2012","unstructured":"B\u00fcttner, F., Egea, M., Cabot, J., Gogolla, M.: Verification of ATL transformations using transformation models and model finders. In: Aoki, T., Taguchi, K. (eds.) ICFEM 2012. LNCS, vol. 7635, pp. 198\u2013213. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34281-3_16"},{"key":"13_CR9","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, pp. 547\u2013548 (2007)","DOI":"10.1145\/1321631.1321737"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Cabot, J., Clariso, R., Riera, D.: Verification of UML\/OCL class diagrams using constraint programming. In: ICSTW, pp. 73\u201380 (2008)","DOI":"10.1109\/ICSTW.2008.54"},{"key":"13_CR11","unstructured":"Darabos, A., Pataricza, A., Varr\u00f3, D.: Towards testing the implementation of graph transformations. In: GTVMT, ENTCS. Elsevier (2006)"},{"issue":"4","key":"13_CR12","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1007\/s10270-008-0095-y","volume":"8","author":"K Ehrig","year":"2009","unstructured":"Ehrig, K., K\u00fcster, J.M., Taentzer, G.: Generating instance models from meta models. Softw. Syst. Model. 8(4), 479\u2013500 (2009)","journal-title":"Softw. Syst. Model."},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Fleurey, F., Baudry, B., Muller, P.-A., Le Traon, Y.: Towards dependable model transformations: qualifying input test data. SoSyM, 8 (2007)","DOI":"10.1007\/s10270-007-0074-8"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-319-08789-4_3","volume-title":"Theory and Practice of Model Transformations","author":"CA Gonz\u00e1lez","year":"2014","unstructured":"Gonz\u00e1lez, C.A., Cabot, J.: Test data generation for model transformations combining partition and constraint analysis. In: Di Ruscio, D., Varr\u00f3, D. (eds.) ICMT 2014. LNCS, vol. 8568, pp. 25\u201341. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08789-4_3"},{"issue":"2","key":"13_CR15","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1007\/s10270-013-0369-x","volume":"14","author":"E Guerra","year":"2015","unstructured":"Guerra, E., Soeken, M.: Specification-driven model transformation testing. Softw. Syst. Model. 14(2), 623\u2013644 (2015)","journal-title":"Softw. Syst. Model."},{"issue":"2","key":"13_CR16","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. 11(2), 256\u2013290 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Jackson, E.K., Simko, G., Sztipanovits, J.: Diversely enumerating system-level architectures. In: International Conference on Embedded Software, p. 11 (2013)","DOI":"10.1109\/EMSOFT.2013.6658589"},{"issue":"5","key":"13_CR18","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1109\/TSE.2010.62","volume":"37","author":"Y Jia","year":"2011","unstructured":"Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. IEEE Trans. Softw. Eng. 37(5), 649\u2013678 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-642-21292-5_3","volume-title":"Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems","author":"E Kang","year":"2011","unstructured":"Kang, E., Jackson, E., Schulte, W.: An approach for effective design space exploration. In: Calinescu, R., Jackson, E. (eds.) Monterey Workshop 2010. LNCS, vol. 6662, pp. 33\u201354. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21292-5_3"},{"key":"13_CR20","first-page":"59","volume":"7","author":"D Berre Le","year":"2010","unstructured":"Le Berre, D., Parrain, A.: The sat4j library. J. Satisf. Boolean Model. Comput. 7, 59\u201364 (2010)","journal-title":"J. Satisf. Boolean Model. Comput."},{"key":"13_CR21","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1007\/978-3-642-30947-2_55","volume-title":"Agent and Multi-Agent Systems. Technologies and Applications","author":"Z Micskei","year":"2012","unstructured":"Micskei, Z., Szatm\u00e1ri, Z., Ol\u00e1h, J., Majzik, I.: A concept for testing robustness and safety of the context-aware behaviour of autonomous systems. In: Jezic, G., Kusek, M., Nguyen, N.-T., Howlett, R.J., Jain, L.C. (eds.) KES-AMSTA 2012. LNCS (LNAI), vol. 7327, pp. 504\u2013513. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-30947-2_55"},{"key":"13_CR22","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. 4066, pp. 376\u2013390. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11787044_28"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Mottu, J.-M., Simula, S.S., Cadavid, J., Baudry, B.: Discovering model transformation pre-conditions using automatically generated test models. In: ISSRE, pp. 88\u201399. IEEE, November 2015","DOI":"10.1109\/ISSRE.2015.7381802"},{"key":"13_CR24","unstructured":"The Object Management Group.: Object Constraint Language, v2.0, May 2006"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Ratiu, D., Voelter, M.: Automated testing of DSL implementations: experiences from building mbeddr. In: AST@ICSE 2016, pp. 15\u201321 (2016)","DOI":"10.1145\/2896921.2896922"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Reid, S.C.: An empirical analysis of equivalence partitioning, boundary value analysis and random testing. In: Software Metrics Symposium, pp. 64\u201373 (1997)","DOI":"10.1109\/METRIC.1997.637166"},{"key":"13_CR27","unstructured":"Rensink, A.: Isomorphism checking in GROOVE. ECEASST 1 (2006)"},{"issue":"1","key":"13_CR28","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/j.entcs.2006.01.022","volume":"157","author":"A Rensink","year":"2006","unstructured":"Rensink, A., Distefano, D.: Abstract graph transformation. Electron. Notes Theor. Comput. Sci. 157(1), 39\u201359 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"13_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-540-27813-9_2","volume-title":"Computer Aided Verification","author":"TW Reps","year":"2004","unstructured":"Reps, T.W., Sagiv, M., Wilhelm, R.: Static program analysis via 3-valued logic. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 15\u201330. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-27813-9_2"},{"key":"13_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/978-3-642-28872-2_16","volume-title":"Fundamental Approaches to Software Engineering","author":"R Salay","year":"2012","unstructured":"Salay, R., Famelis, M., Chechik, M.: Language independent refinement using partial modeling. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 224\u2013239. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28872-2_16"},{"key":"13_CR31","doi-asserted-by":"crossref","unstructured":"Schonbock, J., Kappel, G., Wimmer, M., Kusel, A., Retschitzegger, W., Schwinger, W.: TETRABox - a generic white-box testing framework for model transformations. In: APSEC, pp. 75\u201382. IEEE, December 2013","DOI":"10.1109\/APSEC.2013.21"},{"issue":"2","key":"13_CR32","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1007\/s10270-015-0485-x","volume":"16","author":"O Semer\u00e1th","year":"2017","unstructured":"Semer\u00e1th, O., Barta, \u00c1., Horv\u00e1th, \u00c1., Szatm\u00e1ri, Z., Varr\u00f3, D.: Formal validation of domain-specific languages with derived features and well-formedness constraints. Softw. Syst. Model. 16(2), 357\u2013392 (2017)","journal-title":"Softw. Syst. Model."},{"key":"13_CR33","doi-asserted-by":"crossref","unstructured":"Semer\u00e1th, O., Nagy, A.S., Varr\u00f3, D.: A graph solver for the automated generation of consistent domain-specific models. In: 40th International Conference on Software Engineering (ICSE 2018), Gothenburg, Sweden. ACM (2018)","DOI":"10.1145\/3180155.3180186"},{"key":"13_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/978-3-319-61473-1_10","volume-title":"Theory and Practice of Model Transformation","author":"O Semer\u00e1th","year":"2017","unstructured":"Semer\u00e1th, O., Varr\u00f3, D.: Graph constraint evaluation over partial models by constraint rewriting. In: Guerra, E., van den Brand, M. (eds.) ICMT 2017. LNCS, vol. 10374, pp. 138\u2013154. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61473-1_10"},{"key":"13_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-662-49665-7_6","volume-title":"Fundamental Approaches to Software Engineering","author":"O Semer\u00e1th","year":"2016","unstructured":"Semer\u00e1th, O., V\u00f6r\u00f6s, A., Varr\u00f3, D.: Iterative and incremental model generation by\u00a0logic solvers. In: Stevens, P., W\u0105sowski, A. (eds.) FASE 2016. LNCS, vol. 9633, pp. 87\u2013103. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49665-7_6"},{"key":"13_CR36","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. 5563, pp. 148\u2013164. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02408-5_11"},{"key":"13_CR37","unstructured":"The Eclipse Project.: Eclipse Modeling Framework. https:\/\/www.eclipse.org\/modeling\/emf\/"},{"key":"13_CR38","unstructured":"The Eclipse Project.: EMF DiffMerge. http:\/\/wiki.eclipse.org\/EMF_DiffMerge"},{"key":"13_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1007\/978-3-540-71209-1_49","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E Torlak","year":"2007","unstructured":"Torlak, E., Jackson, D.: Kodkod: a relational model finder. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 632\u2013647. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71209-1_49"},{"key":"13_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-642-12029-9_11","volume-title":"Fundamental Approaches to Software Engineering","author":"P Torrini","year":"2010","unstructured":"Torrini, P., Heckel, R., R\u00e1th, I.: Stochastic simulation of graph transformation systems. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol. 6013, pp. 154\u2013157. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-12029-9_11"},{"key":"13_CR41","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1016\/j.scico.2014.01.004","volume":"98","author":"Z Ujhelyi","year":"2015","unstructured":"Ujhelyi, Z., Bergmann, G., Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., Izs\u00f3, B., R\u00e1th, I., Szatm\u00e1ri, Z., Varr\u00f3, D.: EMF-IncQuery: an integrated development environment for live model queries. Sci. Comput. Program. 98, 80\u201399 (2015)","journal-title":"Sci. Comput. Program."},{"key":"13_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/978-3-642-30982-3_11","volume-title":"Formal Methods for Model-Driven Engineering","author":"A Vallecillo","year":"2012","unstructured":"Vallecillo, A., Gogolla, M., Burgue\u00f1o, L., Wimmer, M., Hamann, L.: Formal specification and testing of model transformations. In: Bernardo, M., Cortellessa, V., Pierantonio, A. (eds.) SFM 2012. LNCS, vol. 7320, pp. 399\u2013437. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-30982-3_11"},{"key":"13_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-319-75396-6_16","volume-title":"Graph Transformation, Specifications, and Nets","author":"D Varr\u00f3","year":"2018","unstructured":"Varr\u00f3, D., Semer\u00e1th, O., Sz\u00e1rnyas, G., Horv\u00e1th, \u00c1.: Towards the automated generation of consistent, diverse, scalable and realistic graph models. In: Heckel, R., Taentzer, G. (eds.) Graph Transformation, Specifications, and Nets. LNCS, vol. 10800, pp. 285\u2013312. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-75396-6_16"},{"key":"13_CR44","unstructured":"Viatra Solver Project (2018). https:\/\/github.com\/viatra\/VIATRA-Generator"},{"key":"13_CR45","doi-asserted-by":"crossref","unstructured":"Wang, J., Kim, S.-K., Carrington, D.: Verifying metamodel coverage of model transformations. In: Software Engineering Conference, p. 10 (2006)","DOI":"10.1109\/ASWEC.2006.55"},{"key":"13_CR46","unstructured":"Yakindu Statechart Tools.: Yakindu. http:\/\/statecharts.org\/"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-89363-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,13]],"date-time":"2019-10-13T20:17:15Z","timestamp":1570997835000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-89363-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319893624","9783319893631"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-89363-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}