@article{MTMT:37445853,
	title = {Integration test generation for state-based components in the Gamma framework},
	url = {https://m2.mtmt.hu/api/publication/37445853},
	author = {Graics, Bence and Molnár, Vince and Majzik, István},
	doi = {10.1007/s11334-026-00643-7},
	journal-iso = {INNOV SYST SOFTW ENG (NASA)},
	journal = {INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING: A NASA JOURNAL},
	volume = {22},
	unique-id = {37445853},
	issn = {1614-5046},
	abstract = {Nowadays, the design of complex reactive systems, e.g., control systems in the railway and aerospace industries, is generally based on the integration of components. Components (subsystems) may come from various parties and operate according to different execution and interaction semantics. Analyzing the joint behavior of such integrated components is a tedious task. This paper introduces a model-based approach in our Gamma Statechart Composition Framework for integration test generation on the basis of collaborating state-based models. Test generation is supported by test coverage criteria and the automatic transformation of composite models into different model checker back-ends. The diagnostic traces returned by the model checkers are automatically mapped into test cases. As novelty, our tool is based on precise composition semantics (synchronous and asynchronous) and relies on model queries to support the modular and flexible specification of element coverage according to various model-based criteria: dataflow, component interactions and static model elements. The tool utilizes model reduction and slicing techniques during the transformations to ease test generation complexity using query-dependent model processing. We demonstrate the applicability of our tool on three industrial subsystems, including an aerospace (NASA) and two railway applications.},
	year = {2026},
	eissn = {1614-5054},
	orcid-numbers = {Graics, Bence/0000-0001-5546-5970; Molnár, Vince/0000-0002-8204-7595}
}

@article{MTMT:35730361,
	title = {Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations},
	url = {https://m2.mtmt.hu/api/publication/35730361},
	author = {Graics, Bence and Mondok, Milán and Molnár, Vince and Majzik, István},
	doi = {10.1016/j.scico.2025.103265},
	journal-iso = {SCI COMPUT PROGRAM},
	journal = {SCIENCE OF COMPUTER PROGRAMMING},
	volume = {242},
	unique-id = {35730361},
	issn = {0167-6423},
	year = {2025},
	eissn = {1872-7964},
	orcid-numbers = {Graics, Bence/0000-0001-5546-5970; Mondok, Milán/0000-0001-5396-2172; Molnár, Vince/0000-0002-8204-7595}
}

@article{MTMT:34504488,
	title = {Model-Based Testing of Asynchronously Communicating Distributed Controllers},
	url = {https://m2.mtmt.hu/api/publication/34504488},
	author = {Graics, Bence and Mondok, Milán and Molnár, Vince and Majzik, István},
	doi = {10.1007/978-3-031-52183-6_2},
	journal-iso = {LNCS},
	journal = {LECTURE NOTES IN COMPUTER SCIENCE},
	volume = {14485},
	unique-id = {34504488},
	issn = {0302-9743},
	year = {2024},
	eissn = {1611-3349},
	pages = {23-44},
	orcid-numbers = {Graics, Bence/0000-0001-5546-5970; Mondok, Milán/0000-0001-5396-2172; Molnár, Vince/0000-0002-8204-7595}
}

@inproceedings{MTMT:35500643,
	title = {Towards the Formal Verification of SysML v2 Models},
	url = {https://m2.mtmt.hu/api/publication/35500643},
	author = {Molnár, Vince and Graics, Bence and Vörös, András and Tonetta, Stefano and Cristoforetti, Luca and Kimberly, Greg and Dyer, Pamela and Giammarco, Kristin and Koethe, Manfred and Hester, John and Smith, Jamie and Grimm, Christoph},
	booktitle = {MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems},
	doi = {10.1145/3652620.3687820},
	unique-id = {35500643},
	year = {2024},
	pages = {1086-1095},
	orcid-numbers = {Molnár, Vince/0000-0002-8204-7595; Graics, Bence/0000-0001-5546-5970; Tonetta, Stefano/0000-0001-9091-7899; Cristoforetti, Luca/0000-0002-8519-6342; Kimberly, Greg/0009-0008-2192-4276; Dyer, Pamela/0009-0004-7603-4327; Giammarco, Kristin/0000-0002-8859-8320; Koethe, Manfred/0009-0003-1223-3530; Hester, John/0009-0007-7032-0340; Smith, Jamie/0009-0009-3945-5639; Grimm, Christoph/0000-0002-5930-7563}
}

@inproceedings{MTMT:33689503,
	title = {Integration Test Generation and Formal Verification for Distributed Controllers},
	url = {https://m2.mtmt.hu/api/publication/33689503},
	author = {Graics, Bence and Majzik, István},
	booktitle = {30th Minisymposium of the Department of Measurement and Information Systems},
	unique-id = {33689503},
	year = {2023},
	pages = {1-4},
	orcid-numbers = {Graics, Bence/0000-0001-5546-5970}
}

@article{MTMT:33739468,
	title = {Component‐based specification, design and verification of adaptive systems},
	url = {https://m2.mtmt.hu/api/publication/33739468},
	author = {Graics, Bence and Molnár, Vince and Majzik, István},
	doi = {10.1002/sys.21675},
	journal-iso = {SYSTEMS ENG},
	journal = {SYSTEMS ENGINEERING},
	volume = {26},
	unique-id = {33739468},
	issn = {1098-1241},
	year = {2023},
	eissn = {1520-6858},
	pages = {567-589},
	orcid-numbers = {Graics, Bence/0000-0001-5546-5970; Molnár, Vince/0000-0002-8204-7595}
}

@article{MTMT:34144059,
	title = {Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers},
	url = {https://m2.mtmt.hu/api/publication/34144059},
	author = {Graics, Bence and Molnár, Vince and Majzik, István},
	doi = {10.1007/978-3-031-43681-9_5},
	journal-iso = {LNCS},
	journal = {LECTURE NOTES IN COMPUTER SCIENCE},
	volume = {14290},
	unique-id = {34144059},
	issn = {0302-9743},
	year = {2023},
	eissn = {1611-3349},
	pages = {76-95},
	orcid-numbers = {Graics, Bence/0000-0001-5546-5970; Molnár, Vince/0000-0002-8204-7595}
}

@mastersthesis{MTMT:35433228,
	title = {Formal modeling, verification and test generation for component-based reactive systems},
	url = {https://m2.mtmt.hu/api/publication/35433228},
	author = {Graics, Bence},
	publisher = {Budapest University of Technology and Economics},
	unique-id = {35433228},
	year = {2023},
	orcid-numbers = {Graics, Bence/0000-0001-5546-5970}
}

@article{MTMT:33809830,
	title = {Pragmatic verification and validation of industrial executable SysML models},
	url = {https://m2.mtmt.hu/api/publication/33809830},
	author = {Horváth, Benedek and Molnár, Vince and Graics, Bence and Hajdu, Ákos and Ráth, István Zoltán and Horváth, Ákos and Karban, Robert and Trancho, Gelys and Micskei, Zoltán Imre},
	doi = {10.1002/sys.21679},
	journal-iso = {SYSTEMS ENG},
	journal = {SYSTEMS ENGINEERING},
	volume = {26},
	unique-id = {33809830},
	issn = {1098-1241},
	year = {2023},
	eissn = {1520-6858},
	pages = {693-714},
	orcid-numbers = {Horváth, Benedek/0000-0002-9805-1580; Molnár, Vince/0000-0002-8204-7595; Graics, Bence/0000-0001-5546-5970; Hajdu, Ákos/0000-0001-8001-8865; Micskei, Zoltán Imre/0000-0003-1846-261X}
}

@inproceedings{MTMT:31868691,
	title = {Model-Driven Development of Heterogeneous Cyber-Physical Systems},
	url = {https://m2.mtmt.hu/api/publication/31868691},
	author = {Csuvarszki, János Csanád and Graics, Bence and Vörös, András},
	booktitle = {Proceedings of the 28th PhD Mini-Symposium},
	unique-id = {31868691},
	abstract = {Cyber-physical systems (CPS) are becoming more prevalent for the reliable execution of critical tasks, e.g., in the aerospace and medical fields. The development of such systems is challenging, due to the heterogeneity of the components ranging from sensors and embedded controllers to cloud solutions. Model-driven approaches can provide a high-level abstraction to combat the challenges. This paper proposes a model-driven development approach supporting the precise modeling of CPS and the automatic derivation of implementation from the resulting models. The approach introduces a composition semantics tailored to heterogeneous architectures for the precise description of component interactions. Automated code generators allow the execution of standalone software components on real-time controllers and support the synthesis of standalone hardware components, enabling both the derivation of embedded software and the description of logical circuit behavior. Component interactions are supported by multiple communication solutions generally used in critical, real-time embedded systems. The approach is implemented in the Gamma framework and its applicability is demonstrated in two case studies.},
	year = {2021},
	pages = {24-27},
	orcid-numbers = {Graics, Bence/0000-0001-5546-5970}
}