Leveraging software product lines engineering in the development of external dsls: A systematic literature review
The use of domain-specific languages (DSLs) has become a successful technique in the
development of complex systems. Consequently, nowadays we can find a large variety of …
development of complex systems. Consequently, nowadays we can find a large variety of …
Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework
The current release of VIATRA provides open-source tool support for an event-driven,
reactive model transformation engine built on top of highly scalable incremental graph …
reactive model transformation engine built on top of highly scalable incremental graph …
The LDBC social network benchmark
The Linked Data Benchmark Council's Social Network Benchmark (LDBC SNB) is an effort
intended to test various functionalities of systems used for graph-like data management. For …
intended to test various functionalities of systems used for graph-like data management. For …
A graph solver for the automated generation of consistent domain-specific models
O Semeráth, AS Nagy, D Varró - … of the 40th international conference on …, 2018 - dl.acm.org
Many testing and benchmarking scenarios in software and systems engineering depend on
the systematic generation of graph models. For instance, tool qualification necessitated by …
the systematic generation of graph models. For instance, tool qualification necessitated by …
Towards the automated generation of consistent, diverse, scalable and realistic graph models
Automated model generation can be highly beneficial for various application scenarios
including software tool certification, validation of cyber-physical systems or benchmarking …
including software tool certification, validation of cyber-physical systems or benchmarking …
The LDBC Financial Benchmark
S Qi, H Lin, Z Guo, G Szárnyas, B Tong, Y Zhou… - arXiv preprint arXiv …, 2023 - arxiv.org
The Linked Data Benchmark Council's Financial Benchmark (LDBC FinBench) is a new
effort that defines a graph database benchmark targeting financial scenarios such as anti …
effort that defines a graph database benchmark targeting financial scenarios such as anti …
Iterative and incremental model generation by logic solvers
The generation of sample instance models of Domain-Specific Language (DSL)
specifications has become an active research line due to its increasing industrial relevance …
specifications has become an active research line due to its increasing industrial relevance …
Graph constraint evaluation over partial models by constraint rewriting
O Semeráth, D Varró - Theory and Practice of Model Transformation: 10th …, 2017 - Springer
In the early stages of model driven development, models are frequently incomplete and
partial. Partial models represent multiple possible concrete models, and thus, they are able …
partial. Partial models represent multiple possible concrete models, and thus, they are able …
Viatra solver: a framework for the automated generation of consistent domain-specific models
Viatra Solver [1] is a novel open source software tool to automatically synthesize consistent
and diverse domain-specific graph models to be used as a test suite for the systematic …
and diverse domain-specific graph models to be used as a test suite for the systematic …
Diversity of graph models and graph generators in mutation testing
When custom modeling tools are used for designing complex safety-critical systems (eg,
critical cyber-physical systems), the tools themselves need to be validated by systematic …
critical cyber-physical systems), the tools themselves need to be validated by systematic …