{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T08:42:17Z","timestamp":1774687337120,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":74,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,27]],"date-time":"2018-05-27T00:00:00Z","timestamp":1527379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,5,27]]},"DOI":"10.1145\/3180155.3180186","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T12:16:01Z","timestamp":1528805761000},"page":"969-980","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":41,"title":["A graph solver for the automated generation of consistent domain-specific models"],"prefix":"10.1145","author":[{"given":"Oszk\u00e1r","family":"Semer\u00e1th","sequence":"first","affiliation":[{"name":"MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Hungary and Budapest University of Technology and Economics, Hungary"}]},{"given":"Andr\u00e1s Szabolcs","family":"Nagy","sequence":"additional","affiliation":[{"name":"MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Hungary and Budapest University of Technology and Economics, Hungary"}]},{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[{"name":"MTA-BME Lend\u00fclet Cyber-Physical Systems Research Group, Hungary and Budapest University of Technology and Economics, Hungary and McGill University, Canada"}]}],"member":"320","published-online":{"date-parts":[[2018,5,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.48"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/872023.872551"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2016.2633993"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30947-2_55"},{"key":"e_1_3_2_1_5_1","first-page":"342","article-title":"Test-data generation for Xtext","author":"H\u00e4rtel J.","year":"2014","unstructured":"J. H\u00e4rtel, L. H\u00e4rtel, and R. L\u00e4mmel, \"Test-data generation for Xtext,\" in SLE, 2014, pp. 342--351.","journal-title":"SLE"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1532"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.17"},{"key":"e_1_3_2_1_8_1","volume-title":"Syst. Model.","author":"Sz\u00e1rnyas G.","year":"2017","unstructured":"G. Sz\u00e1rnyas, B. Izs\u00f3, I. R\u00e1th, and D. Varr\u00f3, \"The Train Benchmark: cross-technology performance evaluation of continuous model queries,\" Softw. Syst. Model., 2017."},{"key":"e_1_3_2_1_9_1","volume-title":"Software Considerations in Airborne Systems and Equipment Certification","author":"Special Committee 205 of RTCA, \"DO-178C","year":"2011","unstructured":"Special Committee 205 of RTCA, \"DO-178C, Software Considerations in Airborne Systems and Equipment Certification,\" 2011."},{"key":"e_1_3_2_1_10_1","unstructured":"ISO \"Road vehicles - Functional safety \" 2011."},{"key":"e_1_3_2_1_11_1","volume-title":"diverse, scalable and realistic graph models,\" in Graph Transformation, Specifications, and Nets (In Memory of Hartmut Ehrig)","author":"Varr\u00f3 D.","year":"2018","unstructured":"D. Varr\u00f3, O. Semer\u00e1th, G. Sz\u00e1rnyas, and \u00c1kos Horv\u00e1th, \"Towards the automated generation of consistent, diverse, scalable and realistic graph models,\" in Graph Transformation, Specifications, and Nets (In Memory of Hartmut Ehrig). Springer LNCS 10800, 2018."},{"key":"e_1_3_2_1_12_1","first-page":"486","volume-title":"EDBT 2017","author":"van Leeuwen W.","year":"2017","unstructured":"W. van Leeuwen, A. Bonifati, G. H. L. Fletcher, and N. Yakovets, \"Stability notions in synthetic graph generation: a preliminary study,\" in Proceedings of the 20th International Conference on Extending Database Technology, EDBT 2017, Venice, Italy, March 21--24, 2017., 2017, pp. 486--489. {Online}. Available"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976767.2976786"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0110-3"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/2394101.2394139"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/2025896.2025917"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2008.54"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_28"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-015-0485-x"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0441-1"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1763507.1763571"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818829"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_24_1","first-page":"87","volume-title":"Iterative and incremental model generation by logic solvers,\" in 19th International Conference on Fundamental Approaches to Software Engineering, ser. LNCS, no. 9633","author":"Semer\u00e1th O.","year":"2016","unstructured":"O. Semer\u00e1th, A. V\u00f6r\u00f6s, and D. Varr\u00f3, \"Iterative and incremental model generation by logic solvers,\" in 19th International Conference on Fundamental Approaches to Software Engineering, ser. LNCS, no. 9633. Springer-Verlag, 2016, pp. 87--103."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/2555754.2555765"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2015.14.3.a3"},{"key":"e_1_3_2_1_27_1","first-page":"138","volume-title":"ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17--18, 2017","author":"Semer\u00e1th O.","year":"2017","unstructured":"O. Semer\u00e1th and D. Varr\u00f3, \"Graph constraint evaluation over partial models by constraint rewriting,\" in Theory and Practice of Model Transformation - 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17--18, 2017, Proceedings, 2017, pp. 138--154."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.01.004"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.01.022"},{"key":"e_1_3_2_1_30_1","first-page":"401","volume-title":"13th European Symposium on Programming, ESOP 2004","author":"Rensink A.","year":"2004","unstructured":"A. Rensink, \"Canonical graph shapes,\" in Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, 2004, pp. 401--415."},{"key":"e_1_3_2_1_31_1","first-page":"15","volume-title":"Static program analysis via 3-valued logic,\" in International Conference on Computer Aided Verification","author":"Reps T. W.","year":"2004","unstructured":"T. W. Reps, M. Sagiv, and R. Wilhelm, \"Static program analysis via 3-valued logic,\" in International Conference on Computer Aided Verification. Springer, 2004, pp. 15--30."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-014-0163-1"},{"key":"e_1_3_2_1_33_1","unstructured":"Yakindu Statechart Tools Yakindu 2017 http:\/\/statecharts.org\/."},{"key":"e_1_3_2_1_34_1","volume-title":"Eclipse Modeling Framework","author":"Project The Eclipse","year":"2017","unstructured":"The Eclipse Project, Eclipse Modeling Framework, 2017, \/\/www.eclipse.org\/emf."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/2050655.2050722"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321737"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337290"},{"key":"e_1_3_2_1_39_1","volume-title":"Introduction to meta-mathematics. van Nostrand New York","author":"Kleene S. C.","year":"1952","unstructured":"S. C. Kleene, N. De Bruijn, J. de Groot, and A. C. Zaanen, Introduction to meta-mathematics. van Nostrand New York, 1952, vol. 483."},{"key":"e_1_3_2_1_40_1","volume-title":"v2.4","author":"Language Object Constraint","year":"2014","unstructured":"Object Constraint Language, v2.4, The Object Management Group, February 2014."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337620"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/320647"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-011-0197-9"},{"key":"e_1_3_2_1_45_1","unstructured":"\"Alloy online tutorial \" 2017. {Online}. Available: http:\/\/alloy.mit.edu\/alloy\/tutorials\/online\/"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34281-3_16"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.5555\/1870926.1871248"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0436-y"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.5555\/2663689.2663697"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0530-4"},{"key":"e_1_3_2_1_51_1","volume-title":"Iterative generation of diverse models for testing specifications of dsl tools,\" in 21st International Conference on Fundamental Approaches to Software Engineering, ser. LNCS","author":"Semer\u00e1th O.","year":"2018","unstructured":"O. Semer\u00e1th and D. Varr\u00f3, \"Iterative generation of diverse models for testing specifications of dsl tools,\" in 21st International Conference on Fundamental Approaches to Software Engineering, ser. LNCS. Springer-Verlag, 2018."},{"key":"e_1_3_2_1_52_1","unstructured":"Viatra Solver Project 2018. {Online}. Available: https:\/\/github.com\/viatra\/VIATRA-Generator"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.3233\/SAT190075"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-005-0089-y"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31491-9_19"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/1656485.1656489"},{"key":"e_1_3_2_1_57_1","volume-title":"Workshop at Federated Logic Conferences (FLoC)","author":"Beckert B.","year":"2002","unstructured":"B. Beckert, U. Keller, and P. H. Schmitt, \"Translating the Object Constraint Language into First-order Predicate Logic,\" in Proc. of the VERIFY, Workshop at Federated Logic Conferences (FLoC), Copenhagen, Denmark, 2002."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2011.09.004"},{"key":"e_1_3_2_1_59_1","volume-title":"The HOL-OCL tool","author":"Brucker A. D.","year":"2007","unstructured":"A. D. Brucker and B. Wolff, \"The HOL-OCL tool,\" 2007, http:\/\/www.brucker.ch\/."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02138-1_10"},{"key":"e_1_3_2_1_61_1","volume-title":"The ITP\/OCL tool","author":"Clavel M.","year":"2008","unstructured":"M. Clavel and M. Egea, \"The ITP\/OCL tool,\" 2008, http:\/\/maude.sip.ucm.es\/itp\/ocl\/."},{"key":"e_1_3_2_1_62_1","first-page":"133","volume-title":"A generalized formal framework for partial modeling,\" in Fundamental Approaches to Software Engineering, ser. LNCS","author":"Salay R.","year":"2015","unstructured":"R. Salay and M. Chechik, \"A generalized formal framework for partial modeling,\" in Fundamental Approaches to Software Engineering, ser. LNCS, A. Egyed and I. Schaefer, Eds. Springer Berlin Heidelberg, 2015, vol. 9033, pp. 133--148."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_16"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_41"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2006.27"},{"key":"e_1_3_2_1_66_1","first-page":"29","volume-title":"Design and Validation","author":"Fleurey F.","year":"2004","unstructured":"F. Fleurey, J. Steel, and B. Baudry, \"Validation in model-driven engineering: Testing model transformations,\" in International Workshop on Model, Design and Validation, Nov 2004, pp. 29--40."},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-015-9392-6"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_4"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.5555\/3155562.3155670"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.5555\/2023011.2023014"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.5555\/3087368.3087386"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54494-5_13"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87405-8_20"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/2997364.2997382"}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","location":"Gothenburg Sweden","acronym":"ICSE '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 40th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3180155.3180186","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3180155.3180186","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:18Z","timestamp":1750208898000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3180155.3180186"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,27]]},"references-count":74,"alternative-id":["10.1145\/3180155.3180186","10.1145\/3180155"],"URL":"https:\/\/doi.org\/10.1145\/3180155.3180186","relation":{},"subject":[],"published":{"date-parts":[[2018,5,27]]},"assertion":[{"value":"2018-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}