Automated generation of consistent models with structural and attribute constraints. - Oszkár Semeráth; Aren A. Babikian; Anqi Li 003; Kristóf Marussy; Dániel Varró (MoDELS, 2020)

Artifacts for "Automated Generation of Consistent Models with Structural and Attribute Constraints". - Oszkár Semeráth; Aren A. Babikian; Anqi Li 003; Kristóf Marussy; Dániel Varró (Zenodo, 2020)

Automated generation of consistent models using qualitative abstractions and exploration strategies. - Aren A. Babikian; Oszkár Semeráth; Anqi Li 003; Kristóf Marussy; Dániel Varró (Softw. Syst. Model., 2022)