Loading…
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search
Babikian, Aren A., Semerath, Oszkar, Varro, Daniel
Published in IEEE transactions on software engineering (01.01.2024)
Published in IEEE transactions on software engineering (01.01.2024)
Get full text
Journal Article
Loading…
Diversity of graph models and graph generators in mutation testing
Semeráth, Oszkár, Farkas, Rebeka, Bergmann, Gábor, Varró, Dániel
Published in International journal on software tools for technology transfer (01.02.2020)
Published in International journal on software tools for technology transfer (01.02.2020)
Get full text
Journal Article
Loading…
Automated generation of consistent models using qualitative abstractions and exploration strategies
Babikian, Aren A., Semeráth, Oszkár, Li, Anqi, Marussy, Kristóf, Varró, Dániel
Published in Software and systems modeling (01.10.2022)
Published in Software and systems modeling (01.10.2022)
Get full text
Journal Article
Loading…
A graph solver for the automated generation of consistent domain-specific models
Semeráth, Oszkár, Nagy, András Szabolcs, Varró, Dániel
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) (27.05.2018)
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) (27.05.2018)
Get full text
Conference Proceeding
Loading…
Automated generation of consistent, diverse and structurally realistic graph models
Semeráth, Oszkár, Babikian, Aren A., Chen, Boqi, Li, Chuning, Marussy, Kristóf, Szárnyas, Gábor, Varró, Dániel
Published in Software and systems modeling (01.10.2021)
Published in Software and systems modeling (01.10.2021)
Get full text
Journal Article
Loading…
Refinery: Graph Solver as a Service Refinement-based Generation and Analysis of Consistent Models
Marussy, Kristof, Ficsor, Attila, Semerath, Oszkar, Varro, Daniel
Published in Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) (14.04.2024)
Published in Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) (14.04.2024)
Get full text
Conference Proceeding
Loading…
Formal validation of domain-specific languages with derived features and well-formedness constraints
Semerath, Oszkar, Barta, Agnes, Horvath, Akos, Szatmari, Zoltan, Varro, Daniel
Published in Software and systems modeling (01.05.2017)
Published in Software and systems modeling (01.05.2017)
Get full text
Journal Article
Loading…
Loading…
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools
Published in Fundamental Approaches to Software Engineering
(2018)
Get full text
Book Chapter
Loading…
Loading…
Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers
Published in Fundamental Approaches to Software Engineering
(01.01.2020)
Get full text
Book Chapter
Loading…
Iterative and Incremental Model Generation by Logic Solvers
Semeráth, Oszkár, Vörös, András, Varró, Dániel
Published in Fundamental Approaches to Software Engineering (2016)
Published in Fundamental Approaches to Software Engineering (2016)
Get full text
Book Chapter
Loading…
VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific Models
Semerath, Oszkar, Babikian, Aren A., Pilarski, Sebastian, Varro, Daniel
Published in Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) (01.05.2019)
Published in Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) (01.05.2019)
Get full text
Conference Proceeding
Loading…
Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles
Majzik, Istvan, Semerath, Oszkar, Hajdu, Csaba, Marussy, Kristof, Szatmari, Zoltan, Micskei, Zoltan, Voros, Andras, Babikian, Aren A., Varro, Daniel
Published in 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS) (01.09.2019)
Published in 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS) (01.09.2019)
Get full text
Conference Proceeding
Loading…
Loading…
Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation
Chen, Boqi, Marussy, Kristóf, Semeráth, Oszkár, Mussbacher, Gunter, Varró, Dániel
Year of Publication 14.05.2024
Year of Publication 14.05.2024
Get full text
Journal Article
Loading…
Automated and Complete Generation of Traffic Scenarios at Road Junctions Using a Multi-level Danger Definition
Babikian, Aren A, Ficsor, Attila, Semeráth, Oszkár, Mussbacher, Gunter, Varró, Dániel
Year of Publication 09.10.2024
Year of Publication 09.10.2024
Get full text
Journal Article