Towards the automated generation of consistent, diverse, scalable and realistic graph models

DOI10.1007/978-3-319-75396-6_16MaRDI QIDQ1708199zbMATH OpenOpenAlexFDO

Authors Dániel Varró, Oszkár Semeráth, Gábor Szárnyas, Ákos Horváth

Publication date 4 April 2018

Full work available at URL http://real.mtak.hu/81010/1/fmhe_model_generation_u.pdf

zbMATH Keywords

automated model generationpartial modelsrefinement

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Symbolic model generation for graph properties
• Using abstract models for the generation of test data with a complex structure
• Schema compliant consistency management via triple graph grammars and integer linear programming
• Generating instance models from meta models
• Towards automated software model checking using graph transformation systems and bogor

Cited in

(4)

• A logical approach to data-aware automated sequence generation
• Analysis of graph transformation systems: native vs translation-based techniques
• Symbolic model generation for graph properties
• Graph-based specification and automated construction of ILP problems

This page was built for publication: Towards the automated generation of consistent, diverse, scalable and realistic graph models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1708199)