Oszkár Semeráth

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

Oszkár Semeráth, András Nagy, Dániel Varró · 2018 · 52 citations · Full text

Engineering, Software Engineering, Computer-aided Design +25

Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles

István Majzik, Oszkár Semeráth, Csaba Hajdu et al. · 2019 · 39 citations

Engineering, Verification, Safety Science +23

Formal validation of domain-specific languages with derived features and well-formedness constraints

Oszkár Semeráth, Ágnes Barta, Ákos Horváth et al. · Software & Systems Modeling · 2015 · 36 citations

Engineering, Verification, Semantics +17

Diversity of graph models and graph generators in mutation testing

Oszkár Semeráth, Rebeka Farkas, Gábor Bergmann et al. · International Journal on Software Tools for Technology Transfer · 2019 · 22 citations · Full text

Software Maintenance, Engineering, Mutation Testing +30

VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific Models

Oszkár Semeráth, Aren A. Babikian, Sebastian Pilarski et al. · 2019 · 15 citations

Software Maintenance, Viatra Solver, Engineering +27