{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T02:36:37Z","timestamp":1784342197533,"version":"3.55.0"},"publisher-location":"Cham","reference-count":102,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319753959","type":"print"},{"value":"9783319753966","type":"electronic"}],"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:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-75396-6_16","type":"book-chapter","created":{"date-parts":[[2018,2,5]],"date-time":"2018-02-05T21:33:53Z","timestamp":1517866433000},"page":"285-312","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":22,"title":["Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8790-252X","authenticated-orcid":false,"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3592-5105","authenticated-orcid":false,"given":"Oszk\u00e1r","family":"Semer\u00e1th","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8233-4431","authenticated-orcid":false,"given":"G\u00e1bor","family":"Sz\u00e1rnyas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3545-3694","authenticated-orcid":false,"given":"\u00c1kos","family":"Horv\u00e1th","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,2,7]]},"reference":[{"key":"16_CR1","unstructured":"Choco. http:\/\/www.emn.fr\/z-info\/choco-solverp"},{"key":"16_CR2","unstructured":"Complete measurement setup and results of the paper (2017). https:\/\/github.com\/FTSRG\/publication-pages\/wiki\/Towards-the-Automated-Generation-of-Consistent,-Diverse,-Scalable,-and-Realistic-Graph-Models\/"},{"key":"16_CR3","unstructured":"Al-Sibahi, A.S., Dimovski, A.S., Wasowski, A.: Symbolic execution of high-level transformations. In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, 31 October\u20131 November 2016, pp. 207\u2013220 (2016). http:\/\/dl.acm.org\/citation.cfm?id=2997382"},{"issue":"10","key":"16_CR4","doi-asserted-by":"crossref","first-page":"1376","DOI":"10.1109\/TSE.2013.17","volume":"39","author":"S Ali","year":"2013","unstructured":"Ali, S., Iqbal, M.Z.Z., Arcuri, A., Briand, L.C.: Generating test data from OCL constraints with search techniques. IEEE Trans. Softw. Eng. 39(10), 1376\u20131402 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"16_CR5","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/s10270-008-0110-3","volume":"9","author":"K Anastasakis","year":"2010","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Softw. Syst. Model. 9(1), 69\u201386 (2010)","journal-title":"Softw. Syst. Model."},{"issue":"5\u20137","key":"16_CR6","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."},{"issue":"4","key":"16_CR7","doi-asserted-by":"crossref","first-page":"856","DOI":"10.1109\/TKDE.2016.2633993","volume":"29","author":"G Bagan","year":"2017","unstructured":"Bagan, G., Bonifati, A., Ciucanu, R., Fletcher, G.H.L., Lemay, A., Advokaat, N.: gMark: schema-driven generation of graphs and queries. IEEE Trans. Knowl. Data Eng. 29(4), 856\u2013869 (2017)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"3","key":"16_CR8","doi-asserted-by":"crossref","first-page":"811","DOI":"10.1007\/s10270-014-0441-1","volume":"15","author":"K Bak","year":"2016","unstructured":"Bak, K., Diskin, Z., Antkiewicz, M., Czarnecki, K., Wasowski, A.: Clafer: unifying class and feature modeling. Softw. Syst. Model. 15(3), 811\u2013845 (2016)","journal-title":"Softw. Syst. Model."},{"key":"16_CR9","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. ACM Press (2016)","DOI":"10.1145\/2976767.2976785"},{"issue":"3","key":"16_CR10","doi-asserted-by":"crossref","first-page":"032804","DOI":"10.1103\/PhysRevE.89.032804","volume":"89","author":"F Battiston","year":"2014","unstructured":"Battiston, F., Nicosia, V., Latora, V.: Structural measures for multiplex networks. Phys. Rev. E Stat. Nonlin. Soft Matter Phys. 89(3), 032804 (2014)","journal-title":"Phys. Rev. E Stat. Nonlin. Soft Matter Phys."},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-21732-6_12","volume-title":"Theory and Practice of Model Transformations","author":"G Bergmann","year":"2011","unstructured":"Bergmann, G., Ujhelyi, Z., R\u00e1th, I., Varr\u00f3, D.: A graph query language for EMF models. In: Cabot, J., Visser, E. (eds.) ICMT 2011. LNCS, vol. 6707, pp. 167\u2013182. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21732-6_12"},{"issue":"5\u20136","key":"16_CR12","doi-asserted-by":"crossref","first-page":"567","DOI":"10.1007\/s11280-012-0190-4","volume":"16","author":"M Berlingerio","year":"2013","unstructured":"Berlingerio, M., et al.: Multidimensional networks: foundations of structural analysis. World Wide Web 16(5\u20136), 567\u2013593 (2013)","journal-title":"World Wide Web"},{"issue":"2","key":"16_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/jswis.2009040101","volume":"5","author":"C Bizer","year":"2009","unstructured":"Bizer, C., Schultz, A.: The Berlin SPARQL benchmark. Int. J. Sem. Web Inf. Syst. 5(2), 1\u201324 (2009)","journal-title":"Int. J. Sem. Web Inf. Syst."},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: automated testing based on Java predicates. In: International Symposium on Software Testing and Analysis (ISSTA), pp. 123\u2013133. ACM Press (2002)","DOI":"10.1145\/566172.566191"},{"key":"16_CR15","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: ISSRE, pp. 85\u201394, November 2006","DOI":"10.1109\/ISSRE.2006.27"},{"issue":"6","key":"16_CR16","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/2830719.2830736","volume":"40","author":"T Bures","year":"2015","unstructured":"Bures, T., et al.: Software engineering for smart cyber-physical systems - towards a research agenda. ACM SIGSOFT Softw. Eng. Notes 40(6), 28\u201332 (2015)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"16_CR17","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":"16_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.jss.2014.03.023","volume":"93","author":"J Cabot","year":"2014","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: On the verification of UML\/OCL class diagrams using constraint programming. J. Syst. Softw. 93, 1\u201323 (2014)","journal-title":"J. Syst. Softw."},{"issue":"9","key":"16_CR19","doi-asserted-by":"crossref","first-page":"1459","DOI":"10.1016\/j.jss.2009.03.009","volume":"82","author":"J Cabot","year":"2009","unstructured":"Cabot, J., Teniente, E.: Incremental integrity checking of UML\/OCL conceptual schemas. J. Syst. Softw. 82(9), 1459\u20131478 (2009)","journal-title":"J. Syst. Softw."},{"key":"16_CR20","unstructured":"Clavel, M., Egea, M., de Dios, M.A.G.: Checking unsatisfiability for OCL constraints. ECEASST, vol. 24 (2009)"},{"key":"16_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-319-61470-0_5","volume-title":"Graph Transformation","author":"A Corradini","year":"2017","unstructured":"Corradini, A., K\u00f6nig, B., Nolte, D.: Specifying graph languages with type graphs. In: de Lara, J., Plump, D. (eds.) ICGT 2017. LNCS, vol. 10373, pp. 73\u201389. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61470-0_5"},{"key":"16_CR22","unstructured":"Csardi, G., Nepusz, T.: The igraph software package for complex network research. InterJournal Complex Syst. 1695 (2006). http:\/\/igraph.sf.net"},{"issue":"1","key":"16_CR23","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10270-013-0353-5","volume":"14","author":"A Cunha","year":"2015","unstructured":"Cunha, A., Garis, A., Riesco, D.: Translating between alloy specifications and UML class diagrams annotated with OCL. Softw. Syst. Model. 14(1), 5\u201325 (2015)","journal-title":"Softw. Syst. Model."},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Czarnecki, K., Pietroszek, K.: Verifying feature-based model templates against well-formedness OCL constraints. In: 5th International Conference on Generative Programming and Component Engineering, GPCE 2006, pp. 211\u2013220. ACM (2006)","DOI":"10.1145\/1173706.1173738"},{"key":"16_CR25","unstructured":"Darabos, A., Pataricza, A., Varr\u00f3, D.: Towards testing the implementation of graph transformations. In: GTVMT. ENTCS. Elsevier (2006)"},{"key":"16_CR26","unstructured":"DeWitt, D.J.: The Wisconsin benchmark: past, present, and future. In: The Benchmark Handbook, pp. 119\u2013165 (1991)"},{"issue":"4\u20135","key":"16_CR27","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1017\/S0963548304006315","volume":"13","author":"P Duchon","year":"2004","unstructured":"Duchon, P., Flajolet, P., Louchard, G., Schaeffer, G.: Boltzmann samplers for the random generation of combinatorial structures. Comb. Probab. Comput. 13(4\u20135), 577\u2013625 (2004)","journal-title":"Comb. Probab. Comput."},{"key":"16_CR28","series-title":"Monographs in Theoretical Computer Science. An EATCS Series","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-31188-2","volume-title":"Fundamentals of Algebraic Graph Transformation","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/3-540-31188-2"},{"issue":"4","key":"16_CR29","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":"16_CR30","doi-asserted-by":"crossref","unstructured":"Erling, O., et al.: The LDBC social network benchmark: interactive workload. In: SIGMOD, pp. 619\u2013630 (2015)","DOI":"10.1145\/2723372.2742786"},{"key":"16_CR31","doi-asserted-by":"crossref","unstructured":"Famelis, M., Salay, R., Chechik, M.: Partial models: towards modeling and reasoning with uncertainty. In: ICSE, pp. 573\u2013583. IEEE Press (2012)","DOI":"10.1109\/ICSE.2012.6227159"},{"key":"16_CR32","doi-asserted-by":"crossref","unstructured":"Famelis, M., Salay, R., Chechik, M.: The semantics of partial model transformations. In: MiSE at ICSE, pp. 64\u201369. IEEE Press (2012)","DOI":"10.1109\/MISE.2012.6226016"},{"key":"16_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1007\/978-3-642-41533-3_41","volume-title":"Model-Driven Engineering Languages and Systems","author":"M Famelis","year":"2013","unstructured":"Famelis, M., Salay, R., Di Sandro, A., Chechik, M.: Transformation of models containing uncertainty. In: Moreira, A., Sch\u00e4tz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 673\u2013689. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-41533-3_41"},{"key":"16_CR34","unstructured":"Fleurey, F., Baudry, B., Muller, P.A., Le Traon, Y.: Towards dependable model transformations: qualifying input test data, appears to be published only in a technical report by INRIA (2007). https:\/\/hal.inria.fr\/inria-00477567"},{"issue":"1\u20133","key":"16_CR35","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/j.scico.2007.01.013","volume":"69","author":"M Gogolla","year":"2007","unstructured":"Gogolla, M., B\u00fcttner, F., Richters, M.: USE: a UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69(1\u20133), 27\u201334 (2007)","journal-title":"Sci. Comput. Program."},{"key":"16_CR36","doi-asserted-by":"crossref","unstructured":"Goldberg, A.P., Chew, Y.H., Karr, J.R.: Toward scalable whole-cell modeling of human cells. In: SIGSIM-PADS, pp. 259\u2013262. ACM Press (2016)","DOI":"10.1145\/2901378.2901402"},{"key":"16_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/978-3-642-33666-9_29","volume-title":"Model Driven Engineering Languages and Systems","author":"CA Gonz\u00e1lez","year":"2012","unstructured":"Gonz\u00e1lez, C.A., Cabot, J.: ATLTest: a white-box test generation approach for ATL transformations. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 449\u2013464. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33666-9_29"},{"key":"16_CR38","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":"16_CR39","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."},{"key":"16_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-540-31847-7_17","volume-title":"Formal Methods in Software and Systems Modeling","author":"A Habel","year":"2005","unstructured":"Habel, A., Pennemann, K.-H.: Nested constraints and application conditions for high-level structures. In: Kreowski, H.-J., Montanari, U., Orejas, F., Rozenberg, G., Taentzer, G. (eds.) Formal Methods in Software and Systems Modeling. LNCS, vol. 3393, pp. 293\u2013308. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31847-7_17"},{"issue":"2","key":"16_CR41","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1017\/S0960129508007202","volume":"19","author":"A Habel","year":"2009","unstructured":"Habel, A., Pennemann, K.: Correctness of high-level transformation systems relative to nested conditions. Math. Struct. Comput. Sci. 19(2), 245\u2013296 (2009)","journal-title":"Math. Struct. Comput. Sci."},{"key":"16_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-319-11245-9_19","volume-title":"Software Language Engineering","author":"J H\u00e4rtel","year":"2014","unstructured":"H\u00e4rtel, J., H\u00e4rtel, L., L\u00e4mmel, R.: Test-data generation for Xtext. In: Combemale, B., Pearce, D.J., Barais, O., Vinju, J.J. (eds.) SLE 2014. LNCS, vol. 8706, pp. 342\u2013351. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11245-9_19"},{"key":"16_CR43","unstructured":"ISO: Road vehicles - functional safety (ISO 26262) (2011)"},{"key":"16_CR44","doi-asserted-by":"crossref","unstructured":"Izs\u00f3, B., Szatm\u00e1ri, Z., Bergmann, G., Horv\u00e1th, \u00c1., R\u00e1th, I.: Towards precise metrics for predicting graph query performance. In: ASE, pp. 421\u2013431 (2013)","DOI":"10.1109\/ASE.2013.6693100"},{"issue":"2","key":"16_CR45","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."},{"issue":"1","key":"16_CR46","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/s10270-013-0315-y","volume":"14","author":"EK Jackson","year":"2015","unstructured":"Jackson, E.K., Levendovszky, T., Balasubramanian, D.: Automatically reasoning about metamodeling. Softw. Syst. Model. 14(1), 271\u2013285 (2015)","journal-title":"Softw. Syst. Model."},{"key":"16_CR47","doi-asserted-by":"crossref","unstructured":"Jackson, E.K., Simko, G., Sztipanovits, J.: Diversely enumerating system-level architectures. In: EMSOFT, p. 11. IEEE Press (2013)","DOI":"10.1109\/EMSOFT.2013.6658589"},{"key":"16_CR48","volume-title":"Introduction to Metamathematics","author":"SC Kleene","year":"1952","unstructured":"Kleene, S.C., De Bruijn, N., de Groot, J., Zaanen, A.C.: Introduction to Metamathematics, vol. 483. van Nostrand, New York (1952)"},{"key":"16_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-642-11447-2_13","volume-title":"Rigorous Methods for Software Construction and Analysis","author":"DS Kolovos","year":"2009","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: On the evolution of OCL for capturing structural constraints in modelling languages. In: Abrial, J.-R., Gl\u00e4sser, U. (eds.) Rigorous Methods for Software Construction and Analysis. LNCS, vol. 5115, pp. 204\u2013218. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-11447-2_13"},{"key":"16_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/978-3-642-33666-9_27","volume-title":"Model Driven Engineering Languages and Systems","author":"M Kuhlmann","year":"2012","unstructured":"Kuhlmann, M., Gogolla, M.: From UML and OCL to relational logic and back. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 415\u2013431. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33666-9_27"},{"key":"16_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-31491-9_5","volume-title":"Modelling Foundations and Applications","author":"M Kuhlmann","year":"2012","unstructured":"Kuhlmann, M., Gogolla, M.: Strengthening SAT-based validation of UML\/OCL models by representing collections as relations. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., St\u00f6rrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol. 7349, pp. 32\u201348. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31491-9_5"},{"key":"16_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-642-21952-8_21","volume-title":"Objects, Models, Components, Patterns","author":"M Kuhlmann","year":"2011","unstructured":"Kuhlmann, M., Hamann, L., Gogolla, M.: Extensive validation of OCL models by integrating SAT solving into USE. In: Bishop, J., Vallecillo, A. (eds.) TOOLS 2011. LNCS, vol. 6705, pp. 290\u2013306. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21952-8_21"},{"key":"16_CR53","first-page":"59","volume":"7","author":"D Berre Le","year":"2010","unstructured":"Le Berre, D., Parrain, A.: The Sat4j library, release 2.2. J. Satisf. Boolean Model. Comput. 7, 59\u201364 (2010)","journal-title":"J. Satisf. Boolean Model. Comput."},{"issue":"3","key":"16_CR54","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/MDAT.2014.2314600","volume":"31","author":"EA Lee","year":"2014","unstructured":"Lee, E.A., et al.: The swarm at the edge of the cloud. IEEE Des. Test 31(3), 8\u201320 (2014)","journal-title":"IEEE Des. Test"},{"key":"16_CR55","volume-title":"Nonparametrics: Statistical Methods Based on Ranks","author":"EL Lehmann","year":"2006","unstructured":"Lehmann, E.L., D\u2019Abrera, H.J.: Nonparametrics: Statistical Methods Based on Ranks. Springer, New York (2006)"},{"key":"16_CR56","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1016\/j.is.2016.06.008","volume":"62","author":"JJ L\u00f3pez-Fern\u00e1ndez","year":"2016","unstructured":"L\u00f3pez-Fern\u00e1ndez, J.J., Guerra, E., de Lara, J.: Combining unit and specification-based testing for meta-model validation and verification. Inf. Syst. 62, 104\u2013135 (2016)","journal-title":"Inf. Syst."},{"issue":"10","key":"16_CR57","doi-asserted-by":"crossref","first-page":"2340","DOI":"10.1016\/j.jss.2012.04.056","volume":"85","author":"I Meedeniya","year":"2012","unstructured":"Meedeniya, I., Aleti, A., Grunske, L.: Architecture-driven reliability optimization with uncertain model parameters. J. Syst. Softw. 85(10), 2340\u20132355 (2012)","journal-title":"J. Syst. Softw."},{"key":"16_CR58","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":"16_CR59","doi-asserted-by":"crossref","unstructured":"Misailovic, S., Milicevic, A., Petrovic, N., Khurshid, S., Marinov, D.: Parallel test generation and execution with Korat. In: ESEC-FSE 2007, pp. 135\u2013144. ACM (2007)","DOI":"10.1145\/1287624.1287645"},{"key":"16_CR60","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"454","DOI":"10.1007\/978-3-642-25073-6_29","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"M Morsey","year":"2011","unstructured":"Morsey, M., Lehmann, J., Auer, S., Ngonga Ngomo, A.-C.: DBpedia SPARQL benchmark \u2013 performance assessment with real queries on real data. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011. LNCS, vol. 7031, pp. 454\u2013469. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25073-6_29"},{"key":"16_CR61","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":"16_CR62","doi-asserted-by":"crossref","unstructured":"Mottu, J.M., Sen, S., Tisi, M., Cabot, J.: Static analysis of model transformations for effective test generation. In: ISSRE, pp. 291\u2013300. IEEE, November 2012","DOI":"10.1109\/ISSRE.2012.7"},{"key":"16_CR63","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":"16_CR64","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-642-02674-4_10","volume-title":"Model Driven Architecture - Foundations and Applications","author":"A Mougenot","year":"2009","unstructured":"Mougenot, A., Darrasse, A., Blanc, X., Soria, M.: Uniform random generation of huge metamodel instances. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol. 5562, pp. 130\u2013145. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02674-4_10"},{"key":"16_CR65","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"key":"16_CR66","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-540-45212-6_19","volume-title":"Embedded Software","author":"S Neema","year":"2003","unstructured":"Neema, S., Sztipanovits, J., Karsai, G., Butts, K.: Constraint-based design-space exploration and model synthesis. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol. 2855, pp. 290\u2013305. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-45212-6_19"},{"key":"16_CR67","doi-asserted-by":"crossref","unstructured":"Nickel, U., Niere, J., Z\u00fcndorf, A.: The FUJABA environment. In: ICSE, pp. 742\u2013745. ACM (2000)","DOI":"10.1145\/337180.337620"},{"key":"16_CR68","doi-asserted-by":"crossref","first-page":"032805","DOI":"10.1103\/PhysRevE.92.032805","volume":"92","author":"V Nicosia","year":"2015","unstructured":"Nicosia, V., Latora, V.: Measuring and modeling correlations in multiplex networks. Phys. Rev. E 92, 032805 (2015)","journal-title":"Phys. Rev. E"},{"issue":"2","key":"16_CR69","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/2794381","volume":"48","author":"CB Nielsen","year":"2015","unstructured":"Nielsen, C.B., Larsen, P.G., Fitzgerald, J.S., Woodcock, J., Peleska, J.: Systems of systems engineering: basic concepts, model-based techniques, and research directions. ACM Comput. Surv. 48(2), 18 (2015)","journal-title":"ACM Comput. Surv."},{"key":"16_CR70","unstructured":"The Object Management Group: Object Constraint Language, v2.0, May 2006"},{"key":"16_CR71","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-540-87405-8_20","volume-title":"Graph Transformations","author":"K-H Pennemann","year":"2008","unstructured":"Pennemann, K.-H.: Resolution-like theorem proving for high-level conditions. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 289\u2013304. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-87405-8_20"},{"key":"16_CR72","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-642-36727-4_11","volume-title":"Selected Topics in Performance Evaluation and Benchmarking","author":"M-D Pham","year":"2013","unstructured":"Pham, M.-D., Boncz, P., Erling, O.: S3G2: a scalable structure-correlated social graph generator. In: Nambiar, R., Poess, M. (eds.) TPCTC 2012. LNCS, vol. 7755, pp. 156\u2013172. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36727-4_11"},{"key":"16_CR73","unstructured":"Przigoda, N., Hilken, F., Peters, J., Wille, R., Gogolla, M., Drechsler, R.: Integrating an SMT-based ModelFinder into USE. In: Model-Driven Engineering, Verification and Validation (MoDeVVa) at MODELS, vol. 1713, pp. 40\u201345 (2016)"},{"key":"16_CR74","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.datak.2011.09.004","volume":"73","author":"A Queralt","year":"2012","unstructured":"Queralt, A., Artale, A., Calvanese, D., Teniente, E.: OCL-Lite: finite reasoning on UML\/OCL conceptual schemas. Data Knowl. Eng. 73, 1\u201322 (2012)","journal-title":"Data Knowl. Eng."},{"issue":"1","key":"16_CR75","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. Electr. Notes in Theoret. Comp. Sci. 157(1), 39\u201359 (2006)","journal-title":"Electr. Notes in Theoret. Comp. Sci."},{"key":"16_CR76","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"},{"issue":"3","key":"16_CR77","doi-asserted-by":"crossref","first-page":"3:1","DOI":"10.5381\/jot.2015.14.3.a3","volume":"14","author":"R Salay","year":"2015","unstructured":"Salay, R., Chechik, M., Famelis, M., Gorzny, J.: A methodology for verifying refinements of partial models. J. Object Technol. 14(3), 3:1\u20133:31 (2015)","journal-title":"J. Object Technol."},{"key":"16_CR78","doi-asserted-by":"crossref","unstructured":"Salay, R., Chechik, M., Gorzny, J.: Towards a methodology for verifying partial model refinements. In: ICST, pp. 938\u2013945. IEEE (2012)","DOI":"10.1109\/ICST.2012.199"},{"key":"16_CR79","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":"16_CR80","doi-asserted-by":"crossref","unstructured":"Schmidt, M., Hornung, T., Lausen, G., Pinkel, C.: SP2Bench: a SPARQL performance benchmark. In: ICDE, pp. 222\u2013233. IEEE (2009)","DOI":"10.1007\/978-3-642-04329-1_16"},{"key":"16_CR81","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-662-54494-5_13","volume-title":"Fundamental Approaches to Software Engineering","author":"S Schneider","year":"2017","unstructured":"Schneider, S., Lambers, L., Orejas, F.: Symbolic model generation for graph properties. In: Huisman, M., Rubin, J. (eds.) FASE 2017. LNCS, vol. 10202, pp. 226\u2013243. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54494-5_13"},{"key":"16_CR82","doi-asserted-by":"crossref","unstructured":"Sch\u00f6lzel, H., Ehrig, H., Maximova, M., Gabriel, K., Hermann, F.: Satisfaction, restriction and amalgamation of constraints in the framework of M-adhesive categories. In: Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, ACCAT 2012, Tallinn, 1 April 2012. EPTCS, vol. 93, pp. 83\u2013104 (2012)","DOI":"10.4204\/EPTCS.93.5"},{"key":"16_CR83","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"},{"key":"16_CR84","doi-asserted-by":"crossref","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)","DOI":"10.1007\/s10270-015-0485-x"},{"key":"16_CR85","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":"16_CR86","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":"16_CR87","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 (2008)","DOI":"10.1109\/ICST.2008.62"},{"key":"16_CR88","unstructured":"Spasic, M., Jovanovik, M., Prat-P\u00e9rez, A.: An RDF dataset generator for the social network benchmark with real-world coherence. In: BLINK (2016)"},{"key":"16_CR89","unstructured":"RTCA: DO-178C, software considerations in airborne systems and equipment certification (2012). Technical report"},{"key":"16_CR90","volume-title":"EMF: Eclipse Modeling Framework 2.0","author":"D Steinberg","year":"2009","unstructured":"Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework 2.0, 2nd edn. Addison-Wesley Professional, Reading (2009)","edition":"2"},{"key":"16_CR91","doi-asserted-by":"crossref","unstructured":"Sz\u00e1rnyas, G., K\u0151v\u00e1ri, Z., Sal\u00e1nki, \u00c1., Varr\u00f3, D.: Towards the characterization of realistic models: evaluation of multidisciplinary graph metrics. In: MODELS, 87\u201394 (2016)","DOI":"10.1145\/2976767.2976786"},{"key":"16_CR92","doi-asserted-by":"crossref","unstructured":"Sz\u00e1rnyas, G., Izs\u00f3, B., R\u00e1th, I., Varr\u00f3, D.: The train benchmark: cross-technology performance evaluation of continuous model queries. Softw. Syst. Model. (2017). https:\/\/doi.org\/10.1007\/s10270-016-0571-8","DOI":"10.1007\/s10270-016-0571-8"},{"issue":"1","key":"16_CR93","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/JPROC.2011.2161529","volume":"100","author":"J Sztipanovits","year":"2012","unstructured":"Sztipanovits, J., Koutsoukos, X., Karsai, G., Kottenstette, N., Antsaklis, P., Gupta, V., Goodwine, B., Baras, J.: Toward a science of cyber-physical system integration. Proc. IEEE 100(1), 29\u201344 (2012)","journal-title":"Proc. IEEE"},{"key":"16_CR94","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":"16_CR95","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":"16_CR96","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."},{"issue":"3","key":"16_CR97","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1007\/s10270-016-0530-4","volume":"15","author":"D Varr\u00f3","year":"2016","unstructured":"Varr\u00f3, D., Bergmann, G., Heged\u00fcs, \u00c1., Horv\u00e1th, \u00c1., R\u00e1th, I., Ujhelyi, Z.: Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework. Softw. Syst. Model. 15(3), 609\u2013629 (2016)","journal-title":"Softw. Syst. Model."},{"issue":"3","key":"16_CR98","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1016\/j.scico.2007.05.004","volume":"68","author":"D Varr\u00f3","year":"2007","unstructured":"Varr\u00f3, D., Balogh, A.: The model transformation language of the VIATRA2 framework. Sci. Comput. Program. 68(3), 214\u2013234 (2007)","journal-title":"Sci. Comput. Program."},{"issue":"10","key":"16_CR99","doi-asserted-by":"crossref","first-page":"2007","DOI":"10.1109\/TBME.2016.2560762","volume":"63","author":"D Waltemath","year":"2016","unstructured":"Waltemath, D., et al.: Toward community standards and software for whole-cell modeling. IEEE Trans. Bio-med. Eng. 63(10), 2007\u20132014 (2016)","journal-title":"IEEE Trans. Bio-med. Eng."},{"key":"16_CR100","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/j.entcs.2008.04.038","volume":"211","author":"J Winkelmann","year":"2008","unstructured":"Winkelmann, J., Taentzer, G., Ehrig, K., K\u00fcster, J.M.: Translation of restricted OCL constraints into graph constraints for generating meta model instances by graph grammars. Electr. Notes Theor. Comput. Sci. 211, 159\u2013170 (2008)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"16_CR101","unstructured":"Yakindu Statechart Tools: Yakindu. http:\/\/statecharts.org\/"},{"key":"16_CR102","doi-asserted-by":"publisher","unstructured":"Zhang, J.W., Tay, Y.C.: GSCALER: synthetically scaling a given graph. In: EDBT, pp. 53\u201364 (2016). https:\/\/doi.org\/10.5441\/002\/edbt.2016.08","DOI":"10.5441\/002\/edbt.2016.08"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation, Specifications, and Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-75396-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T05:18:37Z","timestamp":1570684717000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-75396-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319753959","9783319753966"],"references-count":102,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-75396-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}