A graph solver for the automated generation of consistent domain-specific models-Reference-Cited by-同舟云学术

A graph solver for the automated generation of consistent domain-specific models

Published:2018-05-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 40th International Conference on Software Engineering
language:
Short-container-title:

Author:

Semeráth Oszkár¹,Nagy András Szabolcs¹,Varró Dániel²

Affiliation:

1. MTA-BME Lendület Cyber-Physical Systems Research Group, Hungary and Budapest University of Technology and Economics, Hungary

2. MTA-BME Lendület Cyber-Physical Systems Research Group, Hungary and Budapest University of Technology and Economics, Hungary and McGill University, Canada

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3180155.3180186

Reference74 articles.

1. Korat: A Tool for Generating Structurally Complex Test Inputs

2. gMark: Schema-Driven Generation of Graphs and Queries

3. A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems

4. Test-data generation for Xtext;Härtel J.;SLE,2014

Cited by 42 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Ant-colony optimization for automating test model generation in model transformation testing;Journal of Systems and Software;2024-02

2. Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search;IEEE Transactions on Software Engineering;2024-01

3. Evaluation diversity for graph conditions;Journal of Logical and Algebraic Methods in Programming;2023-06

4. Graph Solver as a Service;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05

5. Generating Structurally Realistic Models With Deep Autoregressive Networks;IEEE Transactions on Software Engineering;2023-04-01