/*
* SPDX-FileCopyrightText: 2024 The Refinery Authors
*
* SPDX-License-Identifier: EPL-2.0
*/
import Link from '@docusaurus/Link';
import Layout from '@theme/Layout';
import clsx from 'clsx';
import styles from './index.module.css';
import Features from '@site/src/components/Features';
import UseCases from '@site/src/components/UseCases';
import Video from '@site/src/components/Video';
function Hero() {
return (
Refinery
An efficient graph solver for generating well-formed models
K. Marussy, A. Ficsor, O. Semeráth, D. Varró: “Refinery: Graph
Solver as a Service” ICSE 2024 Demonstrations
Partial model specification language
K. Marussy, O. Semeráth, A. Babikian, D. Varró:{' '}
A Specification Language for Consistent Model Generation based on
Partial Models.
{' '}
J. Object Technol. 19(3): 3:1-22 (2020)
Diverse and realistic graph generation
O. Semeráth, R. Farkas, G. Bergmann, D. Varró:{' '}
Diversity of graph models and graph generators in mutation
testing.
{' '}
Int. J. Softw. Tools Technol. Transf. 22(1): 57-78 (2020)
O. Semeráth, A. Babikian, B. Chen, C. Li, K. Marussy, G. Szárnyas,
D. Varró:{' '}
Automated generation of consistent, diverse and structurally
realistic graph models.
{' '}
Softw. Syst. Model. 20(5): 1713-1734 (2021)
Consistent graph generation techniques
O. Semeráth, A. Nagy, D. Varró: “A graph solver for the
automated generation of consistent domain-specific models.”{' '}
ICSE 2018: 969-980
K. Marussy, O. Semeráth, D. Varró:{' '}
Automated Generation of Consistent Graph Models With Multiplicity
Reasoning.
{' '}
IEEE Trans. Softw. Eng. 48(5): 1610-1629 (2022)
A. Babikian, O. Semeráth, A. Li, K. Marussy, D. Varró:{' '}
Automated generation of consistent models using qualitative
abstractions and exploration strategies.
{' '}
Softw. Syst. Model. 21(5): 1763-1787 (2022)
Correctness proofs
D. Varró, O. Semeráth, G. Szárnyas, Á. Horváth: “Towards the
Automated Generation of Consistent, Diverse, Scalable and Realistic
Graph Models.”{' '}
Graph Transformation, Specifications, and Nets 2018:
285-312