{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,8]],"date-time":"2026-03-08T23:08:54Z","timestamp":1773011334898,"version":"3.50.1"},"reference-count":91,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T00:00:00Z","timestamp":1651363200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"BME-Artificial Intelligence FIKP","award":["EMMI (BME FIKP-MI\/SC)"],"award-info":[{"award-number":["EMMI (BME FIKP-MI\/SC)"]}]},{"name":"NKFIH Hungary","award":["BME NC TKP2020"],"award-info":[{"award-number":["BME NC TKP2020"]}]},{"DOI":"10.13039\/501100012550","name":"Nemzeti Kutat\u00e1si, Fejleszt\u00e9si \u00e9s Innovaci\u00f3s Alap","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100012550","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["RGPIN-04573-16"],"award-info":[{"award-number":["RGPIN-04573-16"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2022,5,1]]},"DOI":"10.1109\/tse.2020.3025732","type":"journal-article","created":{"date-parts":[[2020,9,21]],"date-time":"2020-09-21T21:37:41Z","timestamp":1600724261000},"page":"1610-1629","source":"Crossref","is-referenced-by-count":9,"title":["Automated Generation of Consistent Graph Models With Multiplicity Reasoning"],"prefix":"10.1109","volume":"48","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9135-8256","authenticated-orcid":false,"given":"Kristof","family":"Marussy","sequence":"first","affiliation":[{"name":"Budapest University of Technology and Economics, Budapest, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3592-5105","authenticated-orcid":false,"given":"Oszkar","family":"Semerath","sequence":"additional","affiliation":[{"name":"Budapest University of Technology and Economics, Budapest, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8790-252X","authenticated-orcid":false,"given":"Daniel","family":"Varro","sequence":"additional","affiliation":[{"name":"McGill University, Montreal, Quebec, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"DO-330 sofware tool qualification considerations","year":"2011"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.48"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1023\/B:AUSE.0000038938.10589.b9"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30947-2_55"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180160"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0328-6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-015-0485-x"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75396-6_16"},{"key":"ref9","article-title":"Object Constraint Language, v2.4","year":"2014"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.05.004"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.01.004"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24485-8_48"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176896"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21952-8_21"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.03.023"},{"key":"ref18","article-title":"Practical model-driven data generation for system testing","volume-title":"CoRR","author":"Soltana","year":"2019"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115698"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-019-00530-6"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion.2019.00034"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.3233\/SAT190075"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2013.6658589"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-61473-1_10"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2017.17"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2018.00062"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-019-09446-5"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227159"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_16"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180186"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2017.7943953"},{"key":"ref34","volume-title":"Eclipse Modeling Framework","year":"2017"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1656485.1656489"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321737"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337620"},{"key":"ref38","article-title":"User manual for the GROOVE tool set","author":"Rensink","year":"2012"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_2"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33826-7_5"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44685-0_26"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.042"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0530-4"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11653-2_40"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/2814251.2814258"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2643005"},{"key":"ref47","article-title":"Isomorphism checking in GROOVE","volume-title":"Proc. 3rd Int. Workshop Graph Based Tools","author":"Rensink"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287671"},{"key":"ref49","volume-title":"Yakindu"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49665-7_6"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34281-3_16"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.4018\/IJISMD.2016070102"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-020-00271-w"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_14"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/3133876"},{"key":"ref56","volume-title":"System Modeling"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0441-1"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-005-0089-y"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2008.54"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31491-9_19"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0110-3"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457017"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63046-5_10"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/FormSERA.2012.6229788"},{"key":"ref65","first-page":"113","article-title":"Translating the Object Constraint Language into First-order Predicate Logic","volume-title":"Proc. VERIFY, Workshop Federated Logic Conf.","author":"Beckert"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2011.09.004"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02138-1_10"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75209-7_28"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46675-9_9"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2015.14.3.a3"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_41"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21292-5_3"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.77"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54494-5_13"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87405-8_20"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1145\/2997364.2997382"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.01.022"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24730-2_38"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1007\/11841883_19"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-014-0163-1"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_13"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2777830"},{"key":"ref83","article-title":"Weakly relational numerical abstract domains","author":"Min\u00e9","year":"2004"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1145\/3158143"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512770"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.001"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74061-2_26"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15769-1_6"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-008-0090-1"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_5"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_42"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/9775544\/09201551.pdf?arnumber=9201551","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T23:20:02Z","timestamp":1704842402000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9201551\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,1]]},"references-count":91,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tse.2020.3025732","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,5,1]]}}}