Items where Author is "Semeráth, Oszkár"

Article

Semeráth, Oszkár and Farkas, Rebeka and Bergmann, Gabor and Varro, Daniel (2019) Diversity of graph models and graph generators in mutation testing. International Journal on Software Tools for Technology Transfer, 22 (1). pp. 57-78. ISSN 1433-2779

Semeráth, Oszkár and Varró, Dániel (2017) Evaluating Well-Formedness Constraints on Incomplete Models. ACTA CYBERNETICA-SZEGED. pp. 1-26. ISSN 0324-721X

Semeráth, Oszkár and Barta, Ágnes and Horváth, Ákos and Szatmári, Zoltán and Varró, Dániel (2015) Formal validation of domain-specific languages with derived features and well-formedness constraints. SOFTWARE AND SYSTEMS MODELING. pp. 1-37. ISSN 1619-1366

Book Section

Semeráth, Oszkár and Nagy, András Szabolcs and Varró, Dániel (2018) A Graph Solver for the Automated Generation of Consistent Domain-Specific Models. In: International Conference on Software Engineering. ACM Press, New York, pp. 969-980. ISBN 978-1-4503-5638-1

Varró, Dániel and Semeráth, Oszkár and Szárnyas, Gábor and Horváth, Ákos (2018) Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models. In: Graph Transformation, Specifications, and Nets. Lecture Notes in Computer Science . Springer-Verlag, Berlin; Heidelberg, pp. 285-312.

Gujgiczer, Anna and Elekes, Márton and Semeráth, Oszkár and Vörös, András (2017) Towards Model-Based Support for Regression Testing. In: Proceedings of the 24th PhD Mini-Symposium. BME MIT, Budapest, pp. 26-29. ISBN 978-963-313-243-2

Semeráth, Oszkár and Debreceni, Csaba and Horváth, Ákos and Varró, Dániel (2016) Change Propagation of View Models by Logic Synthesis using SAT solvers. In: Proceedings of the 5th International Workshop on Bidirectional Transformations, Bx 2016, co-located with The European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 8, 2016. CEUR Workshop Proceedings (1571). CEUR-WS.org, Aachen, pp. 40-44.

Semeráth, Oszkár and Debreceni, Csaba and Horváth, Ákos and Varró, Dániel (2016) Incremental Backward Change Propagation of View Models by Logic Solvers. In: MODELS '16. ACM Press, New York, pp. 306-316. ISBN 978-1-4503-4321-3

Semeráth, Oszkár and Vörös, András and Varró, Dániel (2016) Iterative and incremental model generation by logic solvers. In: Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science (9633). Springer, Berlin; Heidelberg, pp. 87-103. ISBN 978-3-662-49664-0

Conference or Workshop Item

Semeráth, Oszkár and Varró, Dániel (2018) Iterative Generation of Diverse Models for Testing Specifications of DSL Tools. In: 21st International Conference on Fundamental Approaches to Software Engineering, 2018.04.14-2018.04.20, Thessaloniki.

Semeráth, Oszkár and Varró, Dániel (2017) Graph Constraint Evaluation over Partial Models by Constraint Rewriting. In: Proceedings of the 10th International Conference on Model Transformation, 2017.07.17-2017.07.18, Marburg.

Semeráth, Oszkár (2016) Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers. In: ACM Student Research Competition at MODELS 2016, 2016.10.03-2016.10.04, Saint Malo.