https://m2.mtmt.hu/ hun 2026-10-23 11:43 JournalArticle 37445853 VALIDATED true This work was partially supported by the ÚNKP-20-3 New National Excellence Program of the Ministry for Innovation and Technology. Open access funding provided by Budapest University of Technology and Economics. 0 false 2026-10-20T12:44:22.266+0000 2026-10-17T19:27:00.243+0000 2026-08-16T13:58:33.184+0000 true 10068239 Graics Bence /api/author/10068239 Author Graics Bence (informatika) true 2026-10-20T12:42:14.792+0000 2026-08-31T15:38:38.672+0000 true 10072271 Andódy Katalin /api/admin/10072271 Admin Andódy Katalin (BME admin4) true 2026-10-17T19:27:00.225+0000 true 521 Szuper Admin /api/admin/521 Admin Szuper Admin (admin) true true false true 24 24 /api/publicationtype/24 PublicationType Folyóiratcikk 1 true 24 JournalArticle true 10000059 Article true 24 24 /api/publicationtype/24 PublicationType Folyóiratcikk 1 true 24 JournalArticle /api/subtype/10000059 Szakcikk SubType Szakcikk (Folyóiratcikk) 101 true 10000059 true 1 /api/category/1 Category Tudományos true 1 Graics, Bence true true /api/journal/10030307 REVIEWED INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING: A NASA JOURNAL 1614-5046 1614-5054 true false 10030307 false 10030307 true 1614-5046 1614-5054 Journal FOREIGN 22 2 25 25 34 2026 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. true true NATIONAL 2026 true true true false true false GOLD 2026-10-20 true https://doi.org/10.1007/s11334-026-00643-7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 5 Q3 false false false false 2026-08-30T15:38:38.474+0000 Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 3 9 1 3 0 true Language 10002 /api/language/10002 Angol Angol English true 2 true PersonAuthorship 141180810 /api/authorship/141180810 Graics, Bence ✉ [Graics, Bence (informatika), szerző] Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 1 0.333 true false true Author 10068239 /api/author/10068239 Graics Bence (informatika) Graics Bence true true Graics Bence true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 141180811 /api/authorship/141180811 Molnár, Vince** [Molnár, Vince (informatika), szerző] Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 2 0.333 false true false Author 10049620 /api/author/10049620 Molnár Vince (informatika) Molnár Vince true 10049620 true Molnár Vince true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PersonAuthorship 141180812 /api/authorship/141180812 Majzik, István [Majzik, István (Műszaki informatika), szerző] Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 3 0.333 false true false Author 10001448 /api/author/10001448 Majzik István (Műszaki informatika) Majzik István true 10001448 true Majzik István true false false AuthorshipType 1 /api/authorshiptype/1 Szerző 0 true 0 true false true PublicationIdentifier 32803624 /api/publicationidentifier/32803624 DOI: 10.1007/s11334-026-00643-7 PlainSource 6 /api/publicationsource/6 DOI PublicationSourceType 10001 /api/publicationsourcetype/10001 DOI true true true DOI DOI https://doi.org/@@@ true true 6 true GOLD true IDENTICAL 10.1007/s11334-026-00643-7 https://doi.org/10.1007/s11334-026-00643-7 false true PublicationIdentifier 32909046 /api/publicationidentifier/32909046 WoS: 001850147900001 PlainSource 1 /api/publicationsource/1 WoS PublicationSourceType 10003 /api/publicationsourcetype/10003 Indexelő adatbázis false true true WoS WoS https://www.webofscience.com/wos/woscc/full-record/@@@ true true 1 true IDENTICAL 001850147900001 https://www.webofscience.com/wos/woscc/full-record/001850147900001 false true PublicationIdentifier 32914957 /api/publicationidentifier/32914957 Scopus: 105047535380 PlainSource 3 /api/publicationsource/3 Scopus PublicationSourceType 10003 /api/publicationsourcetype/10003 Indexelő adatbázis false true true Scopus Scopus http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@ true true 3 true IDENTICAL 105047535380 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-105047535380 false true PublicationIdentifier 32803625 /api/publicationidentifier/32803625 Egyéb URL: https://link.springer.com/10.1007/s11334-026-00643-7 PlainSource 40 /api/publicationsource/40 Egyéb URL PublicationSourceType 10006 /api/publicationsourcetype/10006 Link true true true Egyéb URL Other URL @@@ true true 40 true https://link.springer.com/10.1007/s11334-026-00643-7 https://link.springer.com/10.1007/s11334-026-00643-7 false true SjrRating 11680542 /api/sjrrating/11680542 sjr:Q3 (2026) Scopus - Software INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING: A NASA JOURNAL 1614-5046 1614-5054 229 0.74 journal RatingType 10002 /api/ratingtype/10002 sjr sjr true true ClassificationExternal 1712 /api/classificationexternal/1712 Scopus - Software true 1712 true Q3 FROM_LAST_YEAR true true Reference 77396848 /api/reference/77396848 1. Heineman GT, Councill WT (2001) Component-based software engineering. Putting the pieces together. Addison Wesley 1 false true Reference 77396849 /api/reference/77396849 2. Sztipanovits J, Bapty T, Neema S, Howard L, Jackson E (2014) OpenMETA: a model- and component-based design tool chain for cyber-physical systems. In: Bensalem S, Lakhnech Y, Legay A (eds) From programs to systems. The systems perspective in computing. Springer, pp 235–248, DOI: 10.1007/978-3-642-54848-2_16 2 10.1007/978-3-642-54848-2_16 false true Reference 77396850 /api/reference/77396850 3. Basu A, Bensalem B, Bozga M, Combaz J, Jaber M, Nguyen T-H, Sifakis J (2011) Rigorous component-based system design using the BIP framework. IEEE Softw 28(3):41–48, DOI: 10.1109/MS.2011.27 3 10.1109/MS.2011.27 false true Reference 77396851 /api/reference/77396851 4. Bensalem S, Bozga M, Legay A, Nguyen T-H, Sifakis J, Yan R (2016) Component-based verification using incremental design and invariants. Softw Syst Model 15(2):427–451, DOI: 10.1007/s10270-014-0410-8 4 10.1007/s10270-014-0410-8 false true Reference 77396852 /api/reference/77396852 5. Childs A, Greenwald J, Jung G, Hoosier M, Hatcliff J (2006) CALM and Cadena: metamodeling for component-based product-line development. IEEE Comput 39(2):42–50, DOI: 10.1109/MC.2006.51 5 10.1109/MC.2006.51 false true Reference 77396853 /api/reference/77396853 6. Ke X, Sierszecki K, Angelov C (2007) COMDES-II: a component-based framework for generative development of distributed real-time control systems. In: 13th IEEE international conference on embedded and real-time computing systems and applications (RTCSA), Aug 2007, pp 199–208, DOI: 10.1109/RTCSA.2007.29 6 10.1109/RTCSA.2007.29 false true Reference 77396854 /api/reference/77396854 7. Li W, Le Gall F, Spaseski N (2018) A survey on model-based testing tools for test case generation. In: Itsykson V, Scedrov A, Zakharov V (eds) Tools and methods of program analysis. Springer, Cham, pp 77–89, DOI: 10.1007/978-3-319-71734-0_7 7 10.1007/978-3-319-71734-0_7 false true Reference 77396855 /api/reference/77396855 8. Belinfante A, Frantzen L, Schallhart C (2005) Tools for test case generation. In: Broy M, Jonsson B, Katoen JP, Leucker M, Pretschner A (eds) Model-based testing of reactive systems. Springer, pp 391–438, DOI: 10.1007/11498490_18 8 10.1007/11498490_18 false true Reference 77396856 /api/reference/77396856 9. Saglietti F, Pinte F (2010) Automated unit and integration testing for component-based software systems. In: Proceedings of the international workshop on security and dependability for resource constrained embedded systems, pp 1–6, DOI: 10.1145/1868433.1868440 9 10.1145/1868433.1868440 false true Reference 77396857 /api/reference/77396857 10. Molnár V, Graics B, Vörös A, Majzik I, Varró D (2018) The Gamma statechart composition framework. In: 40th international conference on software engineering (ICSE). ACM, Gothenburg, Sweden, pp 113–116, DOI: 10.1145/3183440.3183489 10 10.1145/3183440.3183489 false true Reference 77396858 /api/reference/77396858 11. Graics B, Molnár V, Vörös A, Majzik I, Varró D (2020) Mixed-semantics composition of statecharts for the component-based design of reactive systems. Softw Syst Model 19(6):1483–1517, DOI: 10.1007/s10270-020-00806-5 11 10.1007/s10270-020-00806-5 false true Reference 77396859 /api/reference/77396859 12. Graics B, Molnár V, Majzik I (2023) Component-based specification, design and verification of adaptive systems. Syst Eng 26(5):567–589, DOI: 10.1002/sys.21675 12 10.1002/sys.21675 false true Reference 77396860 /api/reference/77396860 13. (2026) Systems Modeling Language Version 2 (SysML v2). Standard, Object Management Group (OMG) 13 false true Reference 77396861 /api/reference/77396861 14. Molnár V, Graics B, Vörös A, Tonetta S, Cristoforetti L, Kimberly G, Dyer P, Giammarco K, Koethe M, Hester J, Smith J, Grimm C (2024) Towards the formal verification of SysML v2 models. In: Proceedings of the ACM/IEEE 27th international conference on model driven engineering languages and systems, MODELS companion ’24. Association for Computing Machinery, New York, NY, USA, pp 1086–1095, DOI: 10.1145/3652620.3687820 14 10.1145/3652620.3687820 false true Reference 77396862 /api/reference/77396862 15. Zavada Á (2021) Formal modeling and verification of process models in component-based reactive systems. Budapest Univ. of Technology and Economics, Dept. of Measurement and Information Systems,(Technical report) 15 false true Reference 77396863 /api/reference/77396863 16. Emerson EA, Halpern JY (1986) “Sometimes’’ and “not never’’ revisited: on branching versus linear time temporal logic. J ACM 33(1):151–178, DOI: 10.1145/4904.4999 16 10.1145/4904.4999 false true Reference 77396864 /api/reference/77396864 17. Graics B (2023) Formal modeling, verification and test generation for component-based reactive systems. Budapest University of Technology and Economics (BME,(PhD thesis) 17 false true Reference 77396865 /api/reference/77396865 18. Graics B, Majzik I (2023) Integration test generation and formal verification for distributed controllers. In: Renczes B (ed) Proceedings of the 30th PhD Minisymposium. Budapest Univ. of Technology and Economics, Department of Measurement and Information Systems, pp 1–4, DOI: 10.3311/minisy2023-001 18 10.3311/minisy2023-001 false true Reference 77396866 /api/reference/77396866 19. Ciardo G, Siminiceanu R (2003) Structural symbolic CTL model checking of asynchronous systems. In: Hunt WA, Somenzi F (eds) Computer aided verification. Springer, pp 40–53, DOI: 10.1007/978-3-540-45069-6_4 19 10.1007/978-3-540-45069-6_4 false true Reference 77396867 /api/reference/77396867 20. Ciardo G, Lüttgen G, Siminiceanu R (2000) Efficient symbolic state-space construction for asynchronous systems. In: Nielsen M, Simpson D (eds) Application and theory of petri nets. Springer, pp 103–122 20 false true Reference 77396868 /api/reference/77396868 21. Clarke EM, Henzinger TA, Veith H (2018) Introduction to model checking. Springer, Cham, pp 1–26 21 false true Reference 77396869 /api/reference/77396869 22. Behrmann G, David A, Larsen KG, Håkansson J, Pettersson P, Yi W, Hendriks M (2006) Uppaal 4.0. In: Proceedings of the 3rd international conference on the quantitative evaluation of systems, QEST ’06. IEEE Computer Society, USA, pp 125–126, DOI: 10.1109/QEST.2006.59 22 10.1109/QEST.2006.59 false true Reference 77396870 /api/reference/77396870 23. Tóth T, Hajdu Á, Vörös A, Micskei Z, Majzik I (2017) Theta: a framework for abstraction refinement-based model checking. In: Stewart D, Weissenbacher G (eds) Proceedings of the 17th conference on formal methods in computer-aided design, pp 176–179, DOI: 10.23919/FMCAD.2017.8102257 23 10.23919/FMCAD.2017.8102257 false true Reference 77396871 /api/reference/77396871 24. Holzmann GJ (2005) Software model checking with spin, volume 65 of advances in computers. Elsevier, New York, pp 77–108 24 false true Reference 77396872 /api/reference/77396872 25. Cavada R, Cimatti A, Dorigatti M, Griggio A, Mariotti A, Micheli A, Mover S, Roveri M, Tonetta S (2014) The nuXmv symbolic model checker. In: Biere A, Bloem R (eds) Computer aided verification. Springer, Cham, pp 334–342, DOI: 10.1007/978-3-319-08867-9_22 25 10.1007/978-3-319-08867-9_22 false true Reference 77396873 /api/reference/77396873 26. Passmore G, Cruanes S, Ignatovich D, Aitken D, Bray M, Kagan E, Kanishev K, Maclean E, Mometto N (2020) The Imandra automated reasoning system (system description). In: Peltier N, Sofronie-Stokkermans V (eds) Automated reasoning. Lecture Notes in Computer Science. Springer, Cham, pp 464–471, DOI: 10.1007/978-3-030-51054-1_30 26 10.1007/978-3-030-51054-1_30 false true Reference 77396874 /api/reference/77396874 27. Fraser G, Wotawa F, Ammann PE (2009) Testing with model checkers: a survey. Softw Test Verif Reliab 19(3):215–261, DOI: 10.1002/stvr.402 27 10.1002/stvr.402 false true Reference 77396875 /api/reference/77396875 28. Utting M, Legeard B (2007) Practical model-based testing: a tools approach. Elsevier 28 false true Reference 77396876 /api/reference/77396876 29. Salman YD, Hashim NL, Rejab MM, Romli R, Mohd H (2017) Coverage criteria for test case generation using UML state chart diagram. AIP Conf Proc 1891(1):020125, DOI: 10.1063/1.5005458 29 10.1063/1.5005458 false true Reference 77396877 /api/reference/77396877 30. Rapps S, Weyuker EJ (1985) Selecting software test data using data flow information. IEEE Trans Software Eng SE 11(4):367–375, DOI: 10.1109/TSE.1985.232226 30 10.1109/TSE.1985.232226 false true Reference 77396878 /api/reference/77396878 31. Varró D, Bergmann G, Hegedüs Á, Horváth Á, Ráth I, Ujhelyi Z (2016) Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework. Softw Syst Model 15(3):609–629, DOI: 10.1007/s10270-016-0530-4 31 10.1007/s10270-016-0530-4 false true Reference 77396879 /api/reference/77396879 32. Graics B. Documentation of the Gamma Statechart Composition Framework v0.9. Technical report, Budapest Univ. of Technology and Economics, Dept. of Measurement and Information Systems, 2016. https://inf.mit.bme.hu/sites/default/files/gamma/documents/BSc2016_Graics.pdf 32 false true Reference 77396880 /api/reference/77396880 33. Graics B, Mondok M, Molnár V, Majzik I (2025) Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations. Sci Comput Program 242:103265, DOI: 10.1016/j.scico.2025.103265 33 10.1016/j.scico.2025.103265 false true Reference 77396881 /api/reference/77396881 34. Lange T, Neuhauber MR, Noll T (2015) IC3 software model checking on control flow automata. In: Formal methods in computer-aided design (FMCAD). IEEE, pp 97–104, DOI: 10.1109/FMCAD.2015.7542258 34 10.1109/FMCAD.2015.7542258 false true Reference 77396882 /api/reference/77396882 35. Clarke E, Grumberg O, Jha S, Yuan L, Veith H (2003) Counterexample-guided abstraction refinement for symbolic model checking. J ACM 50(5):752–794, DOI: 10.1145/876638.876643 35 10.1145/876638.876643 false true Reference 77396883 /api/reference/77396883 36. Hajdu Á, Micskei Z (2020) Efficient strategies for cegar-based model checking. J Autom Reason 64(6):1051–1091, DOI: 10.1007/s10817-019-09535-x 36 10.1007/s10817-019-09535-x false true Reference 77396884 /api/reference/77396884 37. Chow TS (1978) Testing software design modeled by finite-state machines. IEEE Trans Softw Eng SE 4(3):178–187, DOI: 10.1109/TSE.1978.231496 37 10.1109/TSE.1978.231496 false true Reference 77396885 /api/reference/77396885 38. Dorofeeva R, El-Fakih K, Maag S, Cavalli AR, Yevtushenko N (2005) Experimental evaluation of FSM-based testing methods. In: Third IEEE international conference on software engineering and formal methods (SEFM’05), pp 23–32, 2005, DOI: 10.1109/SEFM.2005.17 38 10.1109/SEFM.2005.17 false true Reference 77396886 /api/reference/77396886 39. Heimdahl MP, Rayadurgam S, Visser W, Devaraj G, Gao J (2004) Auto-generating test sequences using model checkers: a case study. In: Petrenko A, Ulrich A (eds) Formal approaches to software testing. Springer, pp 42–59, DOI: 10.1007/978-3-540-24617-6_4 39 10.1007/978-3-540-24617-6_4 false true Reference 77396887 /api/reference/77396887 40. Heimdahl MPE, George D, Weber R (2004) Specification test coverage adequacy criteria = specification test generation inadequacy criteria. In: Eighth IEEE international symposium on high assurance systems engineering, proceedings, pp 178–186, DOI: 10.1109/HASE.2004.1281742 40 10.1109/HASE.2004.1281742 false true Reference 77396888 /api/reference/77396888 41. Graics B, Molnár V, Majzik I (2023) Configurable model-based test generation for distributed controllers using declarative model queries and model checkers. In: Cimatti A, Titolo L (eds) Formal methods for industrial critical systems. Springer, Cham, pp 76–95, DOI: 10.1007/978-3-031-43681-9_5 41 10.1007/978-3-031-43681-9_5 false true Reference 77396889 /api/reference/77396889 42. Graics B, Mondok M, Molnár V, Majzik I (2024) Model-based testing of asynchronously communicating distributed controllers. In: Cámara J, Jongmans S-S (eds) Formal aspects of component software. Springer, Cham, pp 23–44, DOI: 10.1007/978-3-031-52183-6_2 42 10.1007/978-3-031-52183-6_2 false true Reference 77396890 /api/reference/77396890 43. Utting M, Pretschner A, Legeard B (2012) A taxonomy of model-based testing approaches. Softw Test Verif Reliab 22(5):297–312, DOI: 10.1002/stvr.456 43 10.1002/stvr.456 false true Reference 77396891 /api/reference/77396891 44. Shafique M, Labiche Y (2015) A systematic review of state-based test tools. Int J Softw Tools Technol Transf 17(1):59–76, DOI: 10.1007/s10009-013-0291-0 44 10.1007/s10009-013-0291-0 false true Reference 77396892 /api/reference/77396892 45. Havva Gulay Gurbuz and Bedir Tekinerdogan (2018) Model-based testing for software safety: a systematic mapping study. Softw Qual J 26(4):1327–1372, DOI: 10.1007/s11219-017-9386-2 45 10.1007/s11219-017-9386-2 false true Reference 77396893 /api/reference/77396893 46. Rayadurgam S, Heimdahl MPE (2001) Coverage based test-case generation using model checkers. In Proceedings. Eighth annual IEEE international conference and workshop on the engineering of computer-based systems-ECBS. IEEE, pp 83–91, DOI: 10.1109/ECBS.2001.922409 46 10.1109/ECBS.2001.922409 false true Reference 77396894 /api/reference/77396894 47. Enoiu EP, Čaušević A, Ostrand TJ, Weyuker EJ, Sundmark D, Pettersson P (2016) Automated test generation using model checking: an industrial evaluation. Int J Softw Tools Technol Transf 18(3):335–353, DOI: 10.1007/s10009-014-0355-9 47 10.1007/s10009-014-0355-9 false true Reference 77396895 /api/reference/77396895 48. Mohalik S, Gadkari AA, Yeolekar A, Shashidhar K, Ramesh S (2014) Automatic test case generation from Simulink/Stateflow models using model checking. Softw Test Verif Reliab 24:155–180, DOI: 10.1002/stvr.1489 48 10.1002/stvr.1489 false true Reference 77396896 /api/reference/77396896 49. Hartman A, Nagin K (2004) The AGEDIS tools for model based testing. ACM Sigsoft Softw Eng Notes 29:07, DOI: 10.1145/1013886.1007529 49 10.1145/1013886.1007529 false true Reference 77396897 /api/reference/77396897 50. Jéron T, Morel P (1999) Test generation derived from model-checking. In International conference on computer aided verification. Springer, pp 108–122, DOI: 10.1007/3-540-48683-6_12 50 10.1007/3-540-48683-6_12 false true Reference 77396898 /api/reference/77396898 51. Legeard B, Bouzy A (2013) Smartesting CertifyIt: model-based testing for enterprise it. In: 2013 IEEE sixth international conference on software testing, verification and validation, pp 391–397, DOI: 10.1109/ICST.2013.55 51 10.1109/ICST.2013.55 false true Reference 77396899 /api/reference/77396899 52. Hamon G, De Moura L, Rushby J (2004) Generating efficient test sets with a model checker. In: Proceedings of the second international conference on software engineering and formal methods (SEFM), pp 261–270, DOI: 10.1109/SEFM.2004.1347530 52 10.1109/SEFM.2004.1347530 false true Reference 77396900 /api/reference/77396900 53. Kadono M, Tsuchiya T, Kikuno T (2009) Using the NuSMV model checker for test generation from statecharts. In: 15th IEEE Pacific rim international symposium on dependable computing, pp 37–42, DOI: 10.1109/PRDC.2009.15 53 10.1109/PRDC.2009.15 false true Reference 77396901 /api/reference/77396901 54. Lee I, Hong HS, Sokolsky O (2001) Automatic test generation from statecharts using model checking. Technical Reports (No. MS-CIS-01-07), 10 2001 54 false true Reference 77396902 /api/reference/77396902 55. Liu W, Dasiewicz P (2001) Component interaction testing using model-checking. In: Canadian conference on electrical and computer engineering conference proceedings (Cat. No. 01TH8555), vol. 1. IEEE, pp 41–46, DOI: 10.1109/CCECE.2001.933644 55 10.1109/CCECE.2001.933644 false true Reference 77396903 /api/reference/77396903 56. Wieczorek S, Kozyura V, Roth A, Leuschel M, Bendisposto J, Plagge D, Schieferdecker I (2009) Applying model checking to generate model-based integration tests from choreography models. In: Núñez M, Baker P, Merayo MG (eds) Testing of software and communication systems. Springer, pp 179–194, DOI: 10.1007/978-3-642-05031-2_12 56 10.1007/978-3-642-05031-2_12 false true Reference 77396904 /api/reference/77396904 57. Horváth B, Graics B, Hajdu Á, Micskei Z, Molnár V, Ráth I, Andolfato L, Gomes I, Karban R (2020) Model checking as a service: towards pragmatic hidden formal methods. In: Proceedings of the 23rd ACM/IEEE international conference on model driven engineering languages and systems: companion proceedings, MODELS. ACM, pp 1–5, DOI: 10.1145/3417990.3421407 57 10.1145/3417990.3421407 false true Reference 77396905 /api/reference/77396905 58. Horváth B, Hajdu Á, Ráth I, Horváth Á, R Karban, G Trancho, and Z Micskei, (2023) Pragmatic verification and validation of industrial executable SysML models. Syst Eng 26(6):693–714, DOI: 10.1002/sys.21679 58 10.1002/sys.21679 false true Reference 77396906 /api/reference/77396906 59. Molnár V, Majzik I (2019) Saturation enhanced with conditional locality: application to Petri Nets. In: International conference on applications and theory of petri nets and concurrency. Springer, pp 342–361, DOI: 10.1007/978-3-030-21571-2_19 59 10.1007/978-3-030-21571-2_19 false true /api/publication/37445853 Graics Bence et al. Integration test generation for state-based components in the Gamma framework. (2026) INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING: A NASA JOURNAL 1614-5046 1614-5054 22 2<div class="JournalArticle Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <img title="Idézőközlemény" style="float: left" src="/frontend/resources/grid/publication-citation-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10068239"><a href="/gui2/?type=authors&mode=browse&sel=10068239" target="_blank">Graics Bence ✉ (<span class="authorship-author-name">Graics Bence</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10049620"><a href="/gui2/?type=authors&mode=browse&sel=10049620" target="_blank">Molnár Vince^** (<span class="authorship-author-name">Molnár Vince</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10001448"><a href="/gui2/?type=authors&mode=browse&sel=10001448" target="_blank">Majzik István (<span class="authorship-author-name">Majzik István</span> <span class="authorAux-mtmt"> Műszaki informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;37445853" target="_blank">Integration test generation for state-based components in the Gamma framework</a></div> <div> <span class="journal-title">INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING: A NASA JOURNAL</span> <span class="journal-issn">(<a target="_blank" href="https://portal.issn.org/resource/ISSN/1614-5046">1614-5046</a> <a target="_blank" href="https://portal.issn.org/resource/ISSN/1614-5054">1614-5054</a>)</span>: <span class="journal-volume">22</span> <span class="journal-issue">2</span> <span class="page"> Paper 25. 34 p. </span> <span class="year">(2026)</span> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_GOLD" title=" Gold "> <a style="color:blue" title="10.1007/s11334-026-00643-7" target="_blank" href="https://doi.org/10.1007/s11334-026-00643-7"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="001850147900001" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/001850147900001"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="105047535380" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-105047535380"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://link.springer.com/10.1007/s11334-026-00643-7" target="_blank" href="https://link.springer.com/10.1007/s11334-026-00643-7"> Egyéb URL </a> </span> </span> <OnlyViewableByAuthor><div class="ratings"> <div class="journal-subject">Folyóirat szakterülete: Scopus - Software&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q3</div> </div></OnlyViewableByAuthor> <div class="publication-citation"> <a target="_blank" href="/api/publication?cond=citations.related;eq;37445853&sort=publishedYear,desc&sort=title"> Idézett közlemények száma: 5 </a> </div> <div class="mtid"><span class="long-pub-mtid">Közlemény: 37445853</span> | <span class="status-data status-VALIDATED"> Egyeztetett </span> Forrás Idéző | <span class="type-subtype">Folyóiratcikk ( Szakcikk ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">WOS TAGGED</span> </div> <div class="lastModified">Utolsó módosítás: 2026.10.17. 21:27 Szuper Admin (admin) </div> <pre class="comment" style="margin-top: 0; margin-bottom: 0;"><u>Megjegyzés</u>: This work was partially supported by the ÚNKP-20-3 New National Excellence Program of the Ministry for Innovation and Technology. Open access funding provided by Budapest University of Technology and Economics.</pre> </div></div>