{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T14:59:37Z","timestamp":1784300377545,"version":"3.55.0"},"reference-count":90,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2021,5,29]],"date-time":"2021-05-29T00:00:00Z","timestamp":1622246400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,5,29]],"date-time":"2021-05-29T00:00:00Z","timestamp":1622246400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100009567","name":"Budapest University of Technology and Economics","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100009567","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2021,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this paper, we present a novel technique to automatically synthesize <jats:italic>consistent, diverse and structurally realistic<\/jats:italic> domain-specific graph models. A graph model is (1) consistent if it is metamodel-compliant and it satisfies the well-formedness constraints of the domain; (2) it is diverse if local neighborhoods of nodes are highly different; and (1) it is structurally realistic if a synthetic graph is at a close distance to a representative real model according to various graph metrics used in network science, databases or software engineering. Our approach grows models by model extension operators using a hill-climbing strategy in a way that (A) ensures that there are no constraint violation in the models (for consistency reasons), while (B) more realistic candidates are selected to minimize a target metric value (wrt. the representative real model). We evaluate the effectiveness of the approach for generating realistic models using multiple metrics for guidance heuristics and compared to other model generators in the context of three case studies with a large set of real human models. We also highlight that our technique is able to generate a diverse set of models, which is a requirement in many testing scenarios.<\/jats:p>","DOI":"10.1007\/s10270-021-00884-z","type":"journal-article","created":{"date-parts":[[2021,5,29]],"date-time":"2021-05-29T06:03:38Z","timestamp":1622268218000},"page":"1713-1734","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Automated generation of consistent, diverse and structurally realistic graph models"],"prefix":"10.1007","volume":"20","author":[{"given":"Oszk\u00e1r","family":"Semer\u00e1th","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Aren A.","family":"Babikian","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Boqi","family":"Chen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Chuning","family":"Li","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Krist\u00f3f","family":"Marussy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"G\u00e1bor","family":"Sz\u00e1rnyas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,5,29]]},"reference":[{"key":"884_CR1","doi-asserted-by":"publisher","unstructured":"Abdessalem, R.B., Nejati, S., Briand, L.C., Stifter, T.: Testing vision-based control systems using learnable evolutionary algorithms. In: ICSE, pp. 1016\u20131026. ACM (2018). https:\/\/doi.org\/10.1145\/3180155.3180160","DOI":"10.1145\/3180155.3180160"},{"issue":"2","key":"884_CR2","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/s10618-009-0140-7","volume":"19","author":"L Akoglu","year":"2009","unstructured":"Akoglu, L., Faloutsos, C.: RTG: a recursive realistic graph generator using random typing. Data Min. Knowl. Discov. 19(2), 194\u2013209 (2009). https:\/\/doi.org\/10.1007\/s10618-009-0140-7","journal-title":"Data Min. Knowl. Discov."},{"key":"884_CR3","doi-asserted-by":"crossref","unstructured":"Al-Refai, M., Cazzola, W., Ghosh, S.: A fuzzy logic based approach for model-based regression test selection. In: MoDELS, pp. 55\u201362. IEEE (2017)","DOI":"10.1109\/MODELS.2017.17"},{"issue":"6","key":"884_CR4","doi-asserted-by":"publisher","first-page":"2459","DOI":"10.1007\/s10664-015-9392-6","volume":"21","author":"S Ali","year":"2016","unstructured":"Ali, S., Iqbal, M.Z., Khalid, M., Arcuri, A.: Improving the performance of OCL constraint solving with novel heuristics for logical operations: a search-based approach. Empir. Softw. Eng. 21(6), 2459\u20132502 (2016). https:\/\/doi.org\/10.1007\/s10664-015-9392-6","journal-title":"Empir. Softw. Eng."},{"key":"884_CR5","unstructured":"Arkhangel\u2019skii, A., Fedorchuk, V.: General topology I: basic concepts and constructions dimension theory, vol. 17. Springer (2012)"},{"key":"884_CR6","doi-asserted-by":"publisher","unstructured":"Armstrong, T.G., Ponnekanti, V., Borthakur, D., Callaghan, M.: Linkbench: a database benchmark based on the Facebook social graph. In: SIGMOD, pp. 1185\u20131196 (2013). https:\/\/doi.org\/10.1145\/2463676.2465296","DOI":"10.1145\/2463676.2465296"},{"key":"884_CR7","doi-asserted-by":"publisher","unstructured":"Atkinson, T., Plump, D., Stepney, S.: Evolving graphs by graph programming. In: EuroGP, pp. 35\u201351. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-319-77553-1_3","DOI":"10.1007\/978-3-319-77553-1_3"},{"key":"884_CR8","doi-asserted-by":"publisher","unstructured":"Atkinson, T., Plump, D., Stepney, S.: Evolving graphs with horizontal gene transfer. In: GECCO, pp. 968\u2013976. ACM (2019). https:\/\/doi.org\/10.1145\/3321707.3321788","DOI":"10.1145\/3321707.3321788"},{"key":"884_CR9","unstructured":"AtlanMod Team (Inria, Mines-Nantes, Lina): EMF random instantiator (2019). https:\/\/github.com\/atlanmod\/mondo-atlzoo-benchmark\/tree\/master\/fr.inria.atlanmod.instantiator"},{"issue":"4","key":"884_CR10","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1109\/TKDE.2016.2633993","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"884_CR11","doi-asserted-by":"publisher","unstructured":"Battiston, F., Nicosia, V., Latora, V.: Structural measures for multiplex networks. Phys. Rev. E 89, 032,804 (2014). https:\/\/doi.org\/10.1103\/PhysRevE.89.032804","DOI":"10.1103\/PhysRevE.89.032804"},{"issue":"5\u20136","key":"884_CR12","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1007\/s11280-012-0190-4","volume":"16","author":"M Berlingerio","year":"2013","unstructured":"Berlingerio, M., Coscia, M., Giannotti, F., Monreale, A., Pedreschi, D.: Multidimensional networks: foundations of structural analysis. World Wide Web 16(5\u20136), 567\u2013593 (2013). https:\/\/doi.org\/10.1007\/s11280-012-0190-4","journal-title":"World Wide Web"},{"key":"884_CR13","doi-asserted-by":"publisher","unstructured":"B\u00fcttner, F., Egea, M., Cabot, J., Gogolla, M.: Verification of ATL transformations using transformation models and model finders. In: ICFEM, pp. 198\u2013213. Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-34281-3_16","DOI":"10.1007\/978-3-642-34281-3_16"},{"key":"884_CR14","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.03.023","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. (2014). https:\/\/doi.org\/10.1016\/j.jss.2014.03.023","journal-title":"J. Syst. Softw."},{"key":"884_CR15","doi-asserted-by":"publisher","unstructured":"Chakrabarti, D., Zhan, Y., Faloutsos, C.: R-MAT: A recursive model for graph mining. In: SDM, pp. 442\u2013446. SIAM (2004). https:\/\/doi.org\/10.1137\/1.9781611972740.43","DOI":"10.1137\/1.9781611972740.43"},{"issue":"6","key":"884_CR16","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1109\/32.295895","volume":"20","author":"SR Chidamber","year":"1994","unstructured":"Chidamber, S.R., Kemerer, C.F.: A metrics suite for object oriented design. IEEE Trans. Softw. Eng. 20(6), 476\u2013493 (1994)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"884_CR17","doi-asserted-by":"publisher","unstructured":"Cunha, A., Macedo, N., Guimar\u00e3es, T.: Target oriented relational model finding. In: Proceedings of the 17th international conference on fundamental approaches to software engineering - Volume 8411, p. 1731. Springer-Verlag, Berlin, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54804-8_2","DOI":"10.1007\/978-3-642-54804-8_2"},{"key":"884_CR18","doi-asserted-by":"publisher","unstructured":"Edunov, S., Logothetis, D., Wang, C., Ching, A., Kabiljo, M.: Generating synthetic social graphs with darwini. In: ICDCS, pp. 567\u2013577. IEEE Computer Society (2018). https:\/\/doi.org\/10.1109\/ICDCS.2018.00062","DOI":"10.1109\/ICDCS.2018.00062"},{"key":"884_CR19","doi-asserted-by":"crossref","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: An extensible SAT-solver. In: SAT, pp. 502\u2013518. Springer (2003)","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"884_CR20","unstructured":"Erd\u0151s, P., R\u00e9nyi, A.: On the evolution of random graphs. In: Publication of the Mathematical Institute of the Hungarian Academy of Sciences, pp. 17\u201361 (1960)"},{"key":"884_CR21","doi-asserted-by":"publisher","unstructured":"Gogolla, M., Bttner, F., Richters, M.: USE: A UML-based specification environment for validating UML and OCL. Science of Computer Programming 69(1), 27 \u2013 34 (2007). https:\/\/doi.org\/10.1016\/j.scico.2007.01.013. Special issue on Experimental Software and Toolkits","DOI":"10.1016\/j.scico.2007.01.013"},{"key":"884_CR22","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez\u00a0P\u00e9rez, C.A., Buettner, 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). Zurich, Switzerland (2012). https:\/\/hal.inria.fr\/hal-00688039","DOI":"10.1109\/FormSERA.2012.6229788"},{"issue":"3","key":"884_CR23","first-page":"355","volume":"32","author":"A Gordon","year":"1983","unstructured":"Gordon, A.: The user\u2019s guide to multidimensional scaling, with special reference to the Mds (X) library of computer programs. J. Royal Stat. Soc. Series D (The Statistician) 32(3), 355\u2013356 (1983)","journal-title":"J. Royal Stat. Soc. Series D (The Statistician)"},{"key":"884_CR24","doi-asserted-by":"crossref","unstructured":"Gousios, G.: The GHTorrent dataset and tool suite. In: Proceedings of the 10th working conference on mining software repositories, MSR \u201913, pp. 233\u2013236. IEEE Press, Piscataway, NJ, USA (2013). http:\/\/dl.acm.org\/citation.cfm?id=2487085.2487132","DOI":"10.1109\/MSR.2013.6624034"},{"key":"884_CR25","doi-asserted-by":"crossref","unstructured":"Guerra, E., Cuadrado, J.S., de\u00a0Lara, J.: Towards effective mutation testing for atl. In: 2019 ACM\/IEEE 22nd International conference on model driven engineering languages and systems (MODELS), pp. 78\u201388. IEEE (2019)","DOI":"10.1109\/MODELS.2019.00-13"},{"key":"884_CR26","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.01.008","author":"P Gmez-Abajo","year":"2018","unstructured":"Gmez-Abajo, P., Guerra, E., Lara, J., Merayo, M.: A tool for domain-independent model mutation. Sci. Comput. Program. (2018). https:\/\/doi.org\/10.1016\/j.scico.2018.01.008","journal-title":"Sci. Comput. Program."},{"key":"884_CR27","unstructured":"Hao, W.: Automated metamodel instance generation satisfying quantitative constraints. Ph.D. thesis, National University of Ireland Maynooth (2013)"},{"key":"884_CR28","doi-asserted-by":"publisher","unstructured":"Hautamaki, V., Karkkainen, I., Franti, P.: Outlier detection using k-nearest neighbour graph. In: Proceedings of the 17th International conference on pattern recognition, 2004. ICPR 2004., vol.\u00a03, pp. 430\u2013433 Vol.3 (2004). https:\/\/doi.org\/10.1109\/ICPR.2004.1334558","DOI":"10.1109\/ICPR.2004.1334558"},{"issue":"4","key":"884_CR29","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1093\/bioinformatics\/btt717","volume":"30","author":"T Hocevar","year":"2014","unstructured":"Hocevar, T., Demsar, J.: A combinatorial approach to graphlet counting. Bioinformatics 30(4), 559\u2013565 (2014). https:\/\/doi.org\/10.1093\/bioinformatics\/btt717","journal-title":"Bioinformatics"},{"issue":"1","key":"884_CR30","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/s10270-013-0328-6","volume":"14","author":"MZZ Iqbal","year":"2015","unstructured":"Iqbal, M.Z.Z., Arcuri, A., Briand, L.C.: Environment modeling and simulation for automated testing of soft real-time embedded software. Softw. Syst. Model. 14(1), 483\u2013524 (2015). https:\/\/doi.org\/10.1007\/s10270-013-0328-6","journal-title":"Softw. Syst. Model."},{"key":"884_CR31","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1109\/ASE.2013.6693100","DOI":"10.1109\/ASE.2013.6693100"},{"issue":"2","key":"884_CR32","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. Trans. Softw. Eng. Methodol. 11(2), 256\u2013290 (2002). https:\/\/doi.org\/10.1145\/505145.505149","journal-title":"Trans. Softw. Eng. Methodol."},{"key":"884_CR33","doi-asserted-by":"publisher","unstructured":"Jackson, E.K., Levendovszky, T., Balasubramanian, D.: Reasoning about metamodeling with formal specifications and automatic proofs. In: MODELS, pp. 653\u2013667. Springer (2011). https:\/\/doi.org\/10.1007\/978-3-642-24485-8_48","DOI":"10.1007\/978-3-642-24485-8_48"},{"key":"884_CR34","doi-asserted-by":"crossref","unstructured":"Jackson, E.K., Levendovszky, T., Balasubramanian, D.: Reasoning about metamodeling with formal specifications and automatic proofs. In: Model driven engineering languages and systems, pp. 653\u2013667. Springer (2011)","DOI":"10.1007\/978-3-642-24485-8_48"},{"key":"884_CR35","doi-asserted-by":"crossref","unstructured":"Jackson, E.K., Simko, G., Sztipanovits, J.: Diversely enumerating system-level architectures. In: Proceedings of the 11th ACM Int. Conf. on Embedded Software, p.\u00a011. IEEE Press (2013)","DOI":"10.1109\/EMSOFT.2013.6658589"},{"key":"884_CR36","doi-asserted-by":"crossref","unstructured":"Jackson, E.K., Sztipanovits, J.: Towards a formal foundation for domain specific modeling languages. In: EMSOFT, pp. 53\u201362. ACM, New York, NY, USA (2006)","DOI":"10.1145\/1176887.1176896"},{"key":"884_CR37","doi-asserted-by":"publisher","unstructured":"Kepner, J., et\u00a0al.: Design, generation, and validation of extreme scale power-law graphs. In: GABB at IPDPS, pp. 279\u2013286 (2018). https:\/\/doi.org\/10.1109\/IPDPSW.2018.00055","DOI":"10.1109\/IPDPSW.2018.00055"},{"issue":"4","key":"884_CR38","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1023\/B:AUSE.0000038938.10589.b9","volume":"11","author":"S Khurshid","year":"2004","unstructured":"Khurshid, S., Marinov, D.: TestEra: specification-based testing of java programs using SAT. Autom. Softw. Eng. 11(4), 403\u2013434 (2004). https:\/\/doi.org\/10.1023\/B:AUSE.0000038938.10589.b9","journal-title":"Autom. Softw. Eng."},{"key":"884_CR39","unstructured":"Kipf, T.N., Welling, M.: Variational graph auto-encoders. CoRR arXiv:1611.07308 (2016)"},{"key":"884_CR40","doi-asserted-by":"publisher","DOI":"10.1137\/130914218","author":"TG Kolda","year":"2014","unstructured":"Kolda, T.G., Pinar, A., Plantenga, T.D., Seshadhri, C.: A scalable generative graph model with community structure. SIAM J. Sci. Comput. (2014). https:\/\/doi.org\/10.1137\/130914218","journal-title":"SIAM J. Sci. Comput."},{"key":"884_CR41","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-030-51372-6_14","volume-title":"Graph Transormation","author":"J Kosiol","year":"2020","unstructured":"Kosiol, J., Str\u00fcber, D., Taentzer, G., Zschaler, S.: Graph consistency as a graduated property. In: Gadducci, F., Kehrer, T. (eds.) Graph Transormation, pp. 239\u2013256. Springer International Publishing, Cham (2020)"},{"key":"884_CR42","doi-asserted-by":"crossref","unstructured":"Le\u00a0Berre, D., Parrain, A.: The Sat4j library, release 2.2. Journal on Satisfiability, Boolean Modeling and Computation (2-3), 59\u201364 (2010)","DOI":"10.3233\/SAT190075"},{"key":"884_CR43","doi-asserted-by":"publisher","unstructured":"Leskovec, J., Chakrabarti, D., Kleinberg, J.M., Faloutsos, C.: Realistic, mathematically tractable graph generation and evolution, using kronecker multiplication. In: KDD, pp. 133\u2013145 (2005). https:\/\/doi.org\/10.1007\/11564126_17","DOI":"10.1007\/11564126_17"},{"key":"884_CR44","first-page":"985","volume":"11","author":"J Leskovec","year":"2010","unstructured":"Leskovec, J., Chakrabarti, D., Kleinberg, J.M., Faloutsos, C., Ghahramani, Z.: Kronecker graphs: an approach to modeling networks. J. Mach. Learn. Res. 11, 985\u20131042 (2010)","journal-title":"J. Mach. Learn. Res."},{"key":"884_CR45","doi-asserted-by":"publisher","unstructured":"Leskovec, J., Faloutsos, C.: Sampling from large graphs. In: T.\u00a0Eliassi-Rad, L.H. Ungar, M.\u00a0Craven, D.\u00a0Gunopulos (eds.) Proceedings of the Twelfth ACM SIGKDD International conference on knowledge discovery and data mining, pp. 631\u2013636. ACM (2006). https:\/\/doi.org\/10.1145\/1150402.1150479","DOI":"10.1145\/1150402.1150479"},{"key":"884_CR46","unstructured":"Li, Y., Vinyals, O., Dyer, C., Pascanu, R., Battaglia, P.W.: Learning deep generative models of graphs. CoRR arXiv:1803.03324 (2018)"},{"key":"884_CR47","doi-asserted-by":"publisher","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: KES-AMSTA, pp. 504\u2013513. Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-30947-2_55","DOI":"10.1007\/978-3-642-30947-2_55"},{"key":"884_CR48","doi-asserted-by":"publisher","unstructured":"Milicevic, A., Misailovic, S., Marinov, D., Khurshid, S.: Korat: A tool for generating structurally complex test inputs. In: ICSE, pp. 771\u2013774. IEEE Computer Society (2007). https:\/\/doi.org\/10.1109\/ICSE.2007.48","DOI":"10.1109\/ICSE.2007.48"},{"key":"884_CR49","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-019-09360-6","author":"JF Miller","year":"2019","unstructured":"Miller, J.F.: Cartesian genetic programming: its status and future. Genet. Program. Evol. Mach. (2019). https:\/\/doi.org\/10.1007\/s10710-019-09360-6","journal-title":"Genet. Program. Evol. Mach."},{"key":"884_CR50","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/11787044_28","volume-title":"Model driven architecture - foundations and applications","author":"JM Mottu","year":"2006","unstructured":"Mottu, J.M., Baudry, B., Le Traon, Y.: Mutation analysis testing for model transformations. In: Rensink, A., Warmer, J. (eds.) Model driven architecture - foundations and applications, pp. 376\u2013390. Springer, Berlin Heidelberg, Berlin, Heidelberg (2006)"},{"key":"884_CR51","doi-asserted-by":"crossref","unstructured":"de\u00a0Moura, L., Bj\u00f8rner, N.: Z3: An efficient SMT solver. In: TACAS, pp. 337\u2013340. Springer (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"884_CR52","doi-asserted-by":"publisher","unstructured":"de\u00a0Moura, L.M., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: TACAS, pp. 337\u2013340 (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"884_CR53","doi-asserted-by":"publisher","unstructured":"Nassar, N., Kosiol, J., Kehrer, T., Taentzer, G.: Generating large EMF models efficiently: A rule-based, configurable approach. In: Lecture notes in computer science (including subseries Lecture Notes in artificial intelligence and lecture notes in bioinformatics), vol. 12076 LNCS, pp. 224\u2013244. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-45234-6_11","DOI":"10.1007\/978-3-030-45234-6_11"},{"key":"884_CR54","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.92.032805","author":"V Nicosia","year":"2015","unstructured":"Nicosia, V., Latora, V.: Measuring and modeling correlations in multiplex networks. Phys. Rev. E (2015). https:\/\/doi.org\/10.1103\/PhysRevE.92.032805","journal-title":"Phys. Rev. E"},{"key":"884_CR55","unstructured":"The object management group: object constraint language, v2.4 (2014)"},{"key":"884_CR56","doi-asserted-by":"publisher","unstructured":"Pham, M., Boncz, P.A., Erling, O.: S3G2: A scalable structure-correlated social graph generator. In: TPCTC, pp. 156\u2013172. Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-36727-4_11","DOI":"10.1007\/978-3-642-36727-4_11"},{"key":"884_CR57","doi-asserted-by":"publisher","unstructured":"Prat-P\u00e9rez, A., Guisado-G\u00e1mez, J., Salas, X.F., Koupy, P., Depner, S., Bartolini, D.B.: Towards a property graph generator for benchmarking. In: GRADES at SIGMOD, pp. 6:1\u20136:6 (2017). https:\/\/doi.org\/10.1145\/3078447.3078453","DOI":"10.1145\/3078447.3078453"},{"key":"884_CR58","doi-asserted-by":"publisher","unstructured":"Rensink, A.: Canonical graph shapes. In: ESOP, pp. 401\u2013415. Springer (2004). https:\/\/doi.org\/10.1007\/978-3-540-24725-8_28","DOI":"10.1007\/978-3-540-24725-8_28"},{"key":"884_CR59","doi-asserted-by":"publisher","DOI":"10.14279\/tuj.eceasst.1.77","author":"A Rensink","year":"2006","unstructured":"Rensink, A.: Isomorphism checking in GROOVE. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2006). https:\/\/doi.org\/10.14279\/tuj.eceasst.1.77","journal-title":"Electron. Commun. Eur. Assoc. Softw. Sci. Technol."},{"issue":"1","key":"884_CR60","doi-asserted-by":"publisher","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 Theor. Comput. Sci. 157(1), 39\u201359 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"884_CR61","doi-asserted-by":"crossref","unstructured":"Reps, T.W., Sagiv, M., Wilhelm, R.: Static program analysis via 3-valued logic. In: International Conference on Computer Aided Verification, pp. 15\u201330 (2004)","DOI":"10.1007\/978-3-540-27813-9_2"},{"key":"884_CR62","doi-asserted-by":"crossref","unstructured":"Sathanur, A.V., Choudhury, S., Joslyn, C., Purohit, S.: When labels fall short: Property graph simulation via blending of network structure and vertex attributes. CoRR arXiv:1709.02339 (2017)","DOI":"10.1145\/3132847.3133065"},{"issue":"6","key":"884_CR63","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1007\/s10009-018-0496-3","volume":"20","author":"S Schneider","year":"2018","unstructured":"Schneider, S., Lambers, L., Orejas, F.: Automated reasoning for attributed graph properties. STTT 20(6), 705\u2013737 (2018). https:\/\/doi.org\/10.1007\/s10009-018-0496-3","journal-title":"STTT"},{"key":"884_CR64","doi-asserted-by":"crossref","unstructured":"Semer\u00e1th, O., Babikian, A.A., Li, A., Marussy, K., Varr\u00f3, D.: Automated generation of consistent models with structural and attribute constraints. In: Proceedings of the 23rd ACM\/IEEE International conference on model driven engineering languages and systems, pp. 187\u2013199 (2020)","DOI":"10.1145\/3365438.3410962"},{"key":"884_CR65","doi-asserted-by":"crossref","unstructured":"Semer\u00e1th, O., Babikian, A.A., Pilarski, S., Varr\u00f3, D.: VIATRA Solver: a framework for the automated generation of consistent domain-specific models. In: ICSE, pp. 43\u201346 (2019)","DOI":"10.1109\/ICSE-Companion.2019.00034"},{"key":"884_CR66","doi-asserted-by":"publisher","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. Software and systems modeling pp. 357\u2013392 (2017). https:\/\/doi.org\/10.1016\/j.entcs.2008.04.038","DOI":"10.1016\/j.entcs.2008.04.038"},{"key":"884_CR67","doi-asserted-by":"publisher","unstructured":"Semer\u00e1th, O., Nagy, A.S., Varr\u00f3, D.: A graph solver for the automated generation of consistent domain-specific models. In: ICSE, pp. 969\u2013980. ACM (2018). https:\/\/doi.org\/10.1145\/3180155.3180186","DOI":"10.1145\/3180155.3180186"},{"key":"884_CR68","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-019-00530-6","author":"O Semer\u00e1th","year":"2019","unstructured":"Semer\u00e1th, O., Rebeka, F., Bergmann, G., Varr\u00f3, D.: Diversity of graph models and graph generators in mutation testing. Int. J. Softw. Tools Technol. Trans. (2019). https:\/\/doi.org\/10.1007\/s10009-019-00530-6","journal-title":"Int. J. Softw. Tools Technol. Trans."},{"key":"884_CR69","doi-asserted-by":"publisher","unstructured":"Semer\u00e1th, O., Varr\u00f3, D.: Graph Constraint Evaluation over Partial Models by Constraint Rewriting. In: ICMT, pp. 138\u2013154 (2017). https:\/\/doi.org\/10.1007\/978-3-319-61473-1_10","DOI":"10.1007\/978-3-319-61473-1_10"},{"key":"884_CR70","doi-asserted-by":"publisher","unstructured":"Semer\u00e1th, O., Varr\u00f3, D.: Iterative generation of diverse models for testing specifications of DSL tools. In: FASE, pp. 227\u2013245. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-319-89363-1_13","DOI":"10.1007\/978-3-319-89363-1_13"},{"key":"884_CR71","doi-asserted-by":"crossref","unstructured":"Seshadhri, C., Kolda, T.G., Pinar, A.: Community structure and scale-free collections of Erd\u0151s-R\u00e9nyi graphs. CoRR arXiv:1112.3644 (2011)","DOI":"10.1103\/PhysRevE.85.056109"},{"key":"884_CR72","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1016\/j.jss.2016.05.010","volume":"118","author":"H Shariat Yazdi","year":"2016","unstructured":"Shariat Yazdi, H., Angelis, L., Kehrer, T., Kelter, U.: A framework for capturing, statistically modeling and analyzing the evolution of software models. J. Syst. Softw. 118, 176\u2013207 (2016). https:\/\/doi.org\/10.1016\/j.jss.2016.05.010","journal-title":"J. Syst. Softw."},{"issue":"3\u20134","key":"884_CR73","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/s00450-014-0255-y","volume":"30","author":"H Shariat Yazdi","year":"2015","unstructured":"Shariat Yazdi, H., Pietsch, P., Kehrer, T., Kelter, U.: Synthesizing realistic test models. Comput. Sci. Res. Dev. 30(3\u20134), 231\u2013253 (2015). https:\/\/doi.org\/10.1007\/s00450-014-0255-y","journal-title":"Comput. Sci. Res. Dev."},{"key":"884_CR74","doi-asserted-by":"publisher","unstructured":"Simonovsky, M., Komodakis, N.: GraphVAE: Towards generation of small graphs using variational autoencoders. In: ICANN, pp. 412\u2013422. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-030-01418-6_41","DOI":"10.1007\/978-3-030-01418-6_41"},{"key":"884_CR75","doi-asserted-by":"publisher","unstructured":"Soltana, G., Sabetzadeh, M., Briand, L.C.: Synthetic data generation for statistical testing. In: ASE, pp. 872\u2013882 (2017). https:\/\/doi.org\/10.1109\/ASE.2017.8115698","DOI":"10.1109\/ASE.2017.8115698"},{"key":"884_CR76","unstructured":"Soltana, G., Sabetzadeh, M., Briand, L.C.: Practical model-driven data generation for system testing. CoRR arXiv:1902.00397 (2019)"},{"issue":"1","key":"884_CR77","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s41109-017-0054-z","volume":"2","author":"CL Staudt","year":"2017","unstructured":"Staudt, C.L., Hamann, M., Gutfraind, A., Safro, I., Meyerhenke, H.: Generating realistic scaled complex networks. Appl. Netw. Sci. 2(1), 1\u201329 (2017). https:\/\/doi.org\/10.1007\/s41109-017-0054-z","journal-title":"Appl. Netw. Sci."},{"key":"884_CR78","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, pp. 87\u201394. ACM (2016)","DOI":"10.1145\/2976767.2976786"},{"key":"884_CR79","unstructured":"The Eclipse Project: Eclipse Modeling Framework (2019). http:\/\/www.eclipse.org\/emf"},{"key":"884_CR80","doi-asserted-by":"publisher","unstructured":"Torlak, E., Jackson, D.: Kodkod: A relational model finder. In: TACAS, pp. 632\u2013647. Springer (2007). https:\/\/doi.org\/10.1007\/978-3-540-71209-1_49","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"884_CR81","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1016\/j.scico.2014.01.004","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"884_CR82","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1016\/j.scico.2007.05.004","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"884_CR83","doi-asserted-by":"publisher","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."},{"key":"884_CR84","doi-asserted-by":"publisher","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: Graph transformation, specifications, and nets - In Memory of Hartmut Ehrig, pp. 285\u2013312. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-319-75396-6_16","DOI":"10.1007\/978-3-319-75396-6_16"},{"key":"884_CR85","doi-asserted-by":"crossref","unstructured":"Wang, J., Kim, S., Carrington, D.A.: Verifying metamodel coverage of model transformations. In: ASWEC, pp. 270\u2013282. IEEE (2006)","DOI":"10.1109\/ASWEC.2006.55"},{"issue":"3","key":"884_CR86","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3386252","volume":"53","author":"Y Wang","year":"2020","unstructured":"Wang, Y., Yao, Q., Kwok, J.T., Ni, L.M.: Generalizing from a few examples: a survey on few-shot learning. ACM Comput. Surv. (CSUR) 53(3), 1\u201334 (2020)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"884_CR87","doi-asserted-by":"publisher","unstructured":"Wu, H., Monahan, R., Power, J.F.: Exploiting attributed type graphs to generate metamodel instances using an SMT solver. In: TASE, pp. 175\u2013182 (2013). https:\/\/doi.org\/10.1109\/TASE.2013.31","DOI":"10.1109\/TASE.2013.31"},{"key":"884_CR88","unstructured":"Yakindu Statechart Tools: Yakindu (2019). http:\/\/statecharts.org\/"},{"key":"884_CR89","unstructured":"You, J., Ying, R., Ren, X., Hamilton, W.L., Leskovec, J.: GraphRNN: Generating realistic graphs with deep auto-regressive models. In: ICML, pp. 5694\u20135703 (2018)"},{"key":"884_CR90","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":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-021-00884-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-021-00884-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-021-00884-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,15]],"date-time":"2021-10-15T06:53:12Z","timestamp":1634280792000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-021-00884-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,29]]},"references-count":90,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2021,10]]}},"alternative-id":["884"],"URL":"https:\/\/doi.org\/10.1007\/s10270-021-00884-z","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,5,29]]},"assertion":[{"value":"26 January 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 November 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 February 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 May 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}