{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T15:14:12Z","timestamp":1760800452828,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":71,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,16]],"date-time":"2020-10-16T00:00:00Z","timestamp":1602806400000},"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":[[2020,10,18]]},"DOI":"10.1145\/3365438.3410962","type":"proceedings-article","created":{"date-parts":[[2021,1,19]],"date-time":"2021-01-19T16:09:22Z","timestamp":1611072562000},"page":"187-199","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Automated generation of consistent models with structural and attribute constraints"],"prefix":"10.1145","author":[{"given":"Oszk\u00e1r","family":"Semer\u00e1th","sequence":"first","affiliation":[{"name":"Budapest University of Technology, Budapest, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aren A.","family":"Babikian","sequence":"additional","affiliation":[{"name":"McGill University, Montreal, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anqi","family":"Li","sequence":"additional","affiliation":[{"name":"McGill University, Montreal, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krist\u00f3f","family":"Marussy","sequence":"additional","affiliation":[{"name":"Budapest University of Technology, Budapest, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Varr\u00f3","sequence":"additional","affiliation":[{"name":"Budapest University of Technology, Montreal, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2997364.2997382"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/3220903.3221139"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0110-3"},{"volume-title":"Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers. In International Conference on Fundamental Approaches to Software Engineering. Springer, 441--461","year":"2020","author":"Babikian Aren A","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","unstructured":"Kacper Bak Zinovy Diskin Micha\u0142 Antkiewicz Krzysztof Czarnecki and Andrzej Wasowski. 2013. Clafer: unifying class and feature modeling. Softw. Syst. Model. (2013) 1--35.  Kacper Bak Zinovy Diskin Micha\u0142 Antkiewicz Krzysztof Czarnecki and Andrzej Wasowski. 2013. Clafer: unifying class and feature modeling. Softw. Syst. Model. (2013) 1--35."},{"volume-title":"Proc. VERIFY, Workshop at FLoC.","author":"Beckert Bernhard","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Martin Brain Vijay D'Silva Leopold Haller Alberto Griggio and Daniel Kroening. 2013. An Abstract Interpretation of DPLL(T). In Verification Model Checking and Abstract Interpretation Roberto Giacobazzi Josh Berdine and Isabella Mastroeni (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 455--475.  Martin Brain Vijay D'Silva Leopold Haller Alberto Griggio and Daniel Kroening. 2013. An Abstract Interpretation of DPLL(T). In Verification Model Checking and Abstract Interpretation Roberto Giacobazzi Josh Berdine and Isabella Mastroeni (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 455--475.","DOI":"10.1007\/978-3-642-35873-9_27"},{"key":"e_1_3_2_1_8_1","volume-title":"Lightweight String Reasoning for OCL. In ECMFA 2012 (LNCS","volume":"258","author":"B\u00fcttner Fabian","year":"2012"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Fabian B\u00fcttner Marina Egea Jordi Cabot and Martin Gogolla. 2012. Verification of ATL Transformations Using Transformation Models and Model Finders. In ICFEM. Springer 198--213.  Fabian B\u00fcttner Marina Egea Jordi Cabot and Martin Gogolla. 2012. Verification of ATL Transformations Using Transformation Models and Model Finders. In ICFEM. Springer 198--213.","DOI":"10.1007\/978-3-642-34281-3_16"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321737"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.03.023"},{"key":"e_1_3_2_1_12_1","volume-title":"14th International Conference (TACAS 2008)","volume":"340","author":"de Moura Leonardo","year":"2008"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Michalis Famelis Rick Salay and Marsha Chechik. 2012. Partial models: Towards modeling and reasoning with uncertainty. In ICSE. IEEE Computer Society 573--583.  Michalis Famelis Rick Salay and Marsha Chechik. 2012. Partial models: Towards modeling and reasoning with uncertainty. In ICSE. IEEE Computer Society 573--583.","DOI":"10.1109\/ICSE.2012.6227159"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33826-7_5"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Harald Ganzinger George Hagen Robert Nieuwenhuis Albert Oliveras and Cesare Tinelli. 2004. DPLL(T): Fast Decision Procedures. In Computer Aided Verification Rajeev Alur and Doron A. Peled (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 175--188.  Harald Ganzinger George Hagen Robert Nieuwenhuis Albert Oliveras and Cesare Tinelli. 2004. DPLL(T): Fast Decision Procedures. In Computer Aided Verification Rajeev Alur and Doron A. Peled (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 175--188.","DOI":"10.1007\/978-3-540-27813-9_14"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.013"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2017.10.001"},{"volume-title":"FormSERA","year":"2012","author":"Gonz\u00e1lez Carlos A.","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","volume-title":"Numeric Domains with Summarized Dimensions. In TACAS 2004 (LNCS","volume":"529","author":"Gopan Denis","year":"2004"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02138-1_10"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-014-0163-1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2017.7943953"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0568-3"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.40"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"volume-title":"Model Driven Engineering Languages and Systems","author":"Jackson Ethan K","key":"e_1_3_2_1_26_1"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2013.6658589"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Ethan K. Jackson and Janos Sztipanovits. 2006. Towards a Formal Foundation for Domain Specific Modeling Languages. In EMSOFT (Seoul Korea). ACM New York NY USA 53--62.  Ethan K. Jackson and Janos Sztipanovits. 2006. Towards a Formal Foundation for Domain Specific Modeling Languages. In EMSOFT (Seoul Korea). ACM New York NY USA 53--62.","DOI":"10.1145\/1176887.1176896"},{"key":"e_1_3_2_1_29_1","volume-title":"An Approach for Effective Design Space Exploration. In Monterey Workshop. LNCS","volume":"6662","author":"Kang Eunsuk","year":"2010"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21952-8_21"},{"key":"e_1_3_2_1_31_1","volume-title":"Arithmetic Strengthening for Shape Analysis. In SAS 2007 (LNCS","volume":"436","author":"Magill Stephen","year":"2007"},{"volume-title":"Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles. In 2019 ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE, 89--94","year":"2019","author":"Majzik Istv\u00e1n","key":"e_1_3_2_1_32_1"},{"key":"e_1_3_2_1_33_1","unstructured":"Krist\u00f3f Marussy Oszk\u00e1r Semer\u00e1th and D\u00e1niel Varr\u00f3. 2020. Automated Generation of Consistent Graph Models with Multiplicity Reasoning. Submitted to the IEEE for possible publication. (2020). https:\/\/inf.mit.bme.hu\/en\/research\/publications\/automated-generation-consistent-graph-models-multiplicity-reasoning  Krist\u00f3f Marussy Oszk\u00e1r Semer\u00e1th and D\u00e1niel Varr\u00f3. 2020. Automated Generation of Consistent Graph Models with Multiplicity Reasoning. Submitted to the IEEE for possible publication. (2020). https:\/\/inf.mit.bme.hu\/en\/research\/publications\/automated-generation-consistent-graph-models-multiplicity-reasoning"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15769-1_6"},{"key":"e_1_3_2_1_35_1","volume-title":"Relational Constraint Solving in SMT. In CADE 2017 (LNCS","volume":"165","author":"Meng Baoluo","year":"2017"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818829"},{"key":"e_1_3_2_1_37_1","unstructured":"Antoine Min\u00e9. 2004. Weakly Relational Numerical Abstract Domains. Ph.D. Dissertation.  Antoine Min\u00e9. 2004. Weakly Relational Numerical Abstract Domains. Ph.D. Dissertation."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/357073.357079"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217856.1217859"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87405-8_20"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2011.09.004"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"crossref","unstructured":"Arend Rensink. 2004. Canonical Graph Shapes. In ESOP. Springer 401--415.  Arend Rensink. 2004. Canonical Graph Shapes. In ESOP. Springer 401--415.","DOI":"10.1007\/978-3-540-24725-8_28"},{"key":"e_1_3_2_1_43_1","unstructured":"Arend Rensink. 2007. Isomorphism checking in GROOVE. Electronic Communications of the EASST 1 (2007).  Arend Rensink. 2007. Isomorphism checking in GROOVE. Electronic Communications of the EASST 1 (2007)."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.01.022"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_2"},{"key":"e_1_3_2_1_46_1","unstructured":"RTCA Inc. 2011. DO-330 Sofware Tool Qualification Considerations.  RTCA Inc. 2011. DO-330 Sofware Tool Qualification Considerations."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/514188.514190"},{"volume-title":"Fundamental Approaches to Software Engineering, Alexander Egyed and Ina Schaefer (Eds.). LNCS","author":"Salay Rick","key":"e_1_3_2_1_48_1"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2015.14.3.a3"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"crossref","unstructured":"Rick Salay Michalis Famelis and Marsha Chechik. 2012. Language Independent Refinement Using Partial Modeling. In FASE. Springer 224--239.  Rick Salay Michalis Famelis and Marsha Chechik. 2012. Language Independent Refinement Using Partial Modeling. In FASE. Springer 224--239.","DOI":"10.1007\/978-3-642-28872-2_16"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54494-5_13"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-018-0496-3"},{"volume-title":"VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific Models. In ICSE 2019 Demonstrations. IEEE, 43--46","year":"2019","author":"Semer\u00e1th Oszk\u00e1r","key":"e_1_3_2_1_53_1"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-015-0485-x"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-019-00530-6"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"crossref","unstructured":"Oszk\u00e1r Semer\u00e1th Andr\u00e1s Szabolcs Nagy and D\u00e1niel Varr\u00f3. 2018. A graph solver for the automated generation of consistent domain-specific models. In ICSE. ACM 969--980.  Oszk\u00e1r Semer\u00e1th Andr\u00e1s Szabolcs Nagy and D\u00e1niel Varr\u00f3. 2018. A graph solver for the automated generation of consistent domain-specific models. In ICSE. ACM 969--980.","DOI":"10.1145\/3180155.3180186"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"crossref","unstructured":"Oszk\u00e1r Semer\u00e1th and D\u00e1niel Varr\u00f3. 2017. Graph Constraint Evaluation over Partial Models by Constraint Rewriting. In ICMT. 138--154.  Oszk\u00e1r Semer\u00e1th and D\u00e1niel Varr\u00f3. 2017. Graph Constraint Evaluation over Partial Models by Constraint Rewriting. In ICMT. 138--154.","DOI":"10.1007\/978-3-319-61473-1_10"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"crossref","unstructured":"Oszk\u00e1r Semer\u00e1th and D\u00e1niel Varr\u00f3. 2018. Iterative Generation of Diverse Models for Testing Specifications of DSL Tools. In FASE. Springer 227--245.  Oszk\u00e1r Semer\u00e1th and D\u00e1niel Varr\u00f3. 2018. Iterative Generation of Diverse Models for Testing Specifications of DSL Tools. In FASE. Springer 227--245.","DOI":"10.1007\/978-3-319-89363-1_13"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"crossref","unstructured":"Oszk\u00e1r Semer\u00e1th Andr\u00e1s V\u00f6r\u00f6s and D\u00e1niel Varr\u00f3. 2016. Iterative and Incremental Model Generation by Logic Solvers. In FASE. Springer 87--103.  Oszk\u00e1r Semer\u00e1th Andr\u00e1s V\u00f6r\u00f6s and D\u00e1niel Varr\u00f3. 2016. Iterative and Incremental Model Generation by Logic Solvers. In FASE. Springer 87--103.","DOI":"10.1007\/978-3-662-49665-7_6"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/1656485.1656489"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158143"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457017"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"crossref","unstructured":"Ghanem Soltana Mehrdad Sabetzadeh and Lionel C. Briand. 2017. Synthetic data generation for statistical testing. In ASE. 872--882.  Ghanem Soltana Mehrdad Sabetzadeh and Lionel C. Briand. 2017. Synthetic data generation for statistical testing. In ASE. 872--882.","DOI":"10.1109\/ASE.2017.8115698"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3381032"},{"key":"e_1_3_2_1_65_1","unstructured":"The Eclipse Project 2019. Eclipse Modeling Framework. The Eclipse Project. http:\/\/www.eclipse.org\/emf.  The Eclipse Project 2019. Eclipse Modeling Framework. The Eclipse Project. http:\/\/www.eclipse.org\/emf."},{"key":"e_1_3_2_1_66_1","unstructured":"The Object Management Group 2014. Object Constraint Language v2.4. The Object Management Group.  The Object Management Group 2014. Object Constraint Language v2.4. The Object Management Group."},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.01.004"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0530-4"},{"volume-title":"Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig (LNCS","author":"Varr\u00f3 D\u00e1niel","key":"e_1_3_2_1_69_1"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"crossref","unstructured":"Hao Wu Rosemary Monahan and James F. Power. 2013. Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver. In TASE. 175--182.  Hao Wu Rosemary Monahan and James F. Power. 2013. Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver. In TASE. 175--182.","DOI":"10.1109\/TASE.2013.31"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491456"}],"event":{"name":"MODELS '20: ACM\/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Virtual Event Canada","acronym":"MODELS '20"},"container-title":["Proceedings of the 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365438.3410962","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3365438.3410962","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:20Z","timestamp":1750203860000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365438.3410962"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,16]]},"references-count":71,"alternative-id":["10.1145\/3365438.3410962","10.1145\/3365438"],"URL":"https:\/\/doi.org\/10.1145\/3365438.3410962","relation":{},"subject":[],"published":{"date-parts":[[2020,10,16]]},"assertion":[{"value":"2020-10-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}