{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T17:53:56Z","timestamp":1774374836510,"version":"3.50.1"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031947056","type":"print"},{"value":"9783031947063","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-94706-3_9","type":"book-chapter","created":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T11:22:34Z","timestamp":1749727354000},"page":"178-201","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Test Case Generation from\u00a0Graph Transformation Systems Using Deep Reinforcement Learning"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8174-1422","authenticated-orcid":false,"given":"Simin","family":"Ghasemi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3935-5151","authenticated-orcid":false,"given":"Vahid","family":"Rafe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-6461-0790","authenticated-orcid":false,"given":"Mohammad","family":"Mehrabi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4719-0772","authenticated-orcid":false,"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2758-8145","authenticated-orcid":false,"given":"Issam","family":"Al-Azzoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,6,13]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Anand, S.: An orchestrated survey of methodologies for automated software test case generation. J. Syst. Softw. 86 (1978)","DOI":"10.1016\/j.jss.2013.02.061"},{"issue":"1","key":"9_CR2","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/s10515-024-00417-0","volume":"31","author":"M Asgari Araghi","year":"2024","unstructured":"Asgari Araghi, M., Rafe, V., Khendek, F.: Using data mining techniques to generate test cases from graph transformation systems specifications. Autom. Softw. Eng. 31(1), 17 (2024)","journal-title":"Autom. Softw. Eng."},{"issue":"12","key":"9_CR3","doi-asserted-by":"publisher","first-page":"2743","DOI":"10.1007\/s13042-020-01149-9","volume":"11","author":"A Bahrampour","year":"2020","unstructured":"Bahrampour, A., Rafe, V.: Using search-based techniques for testing executable software models specified through graph transformations. Int. J. Mach. Learn. Cybern. 11(12), 2743\u20132770 (2020). https:\/\/doi.org\/10.1007\/s13042-020-01149-9","journal-title":"Int. J. Mach. Learn. Cybern."},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"877","DOI":"10.1007\/s10462-020-09881-y","volume":"54","author":"A Bahrampour","year":"2021","unstructured":"Bahrampour, A., Rafe, V.: Using memetic algorithm for robustness testing of contract-based software models. Artif. Intell. Rev. 54, 877\u2013915 (2021)","journal-title":"Artif. Intell. Rev."},{"key":"9_CR5","unstructured":"Baier, C., Katoen, J.P.: Principles of model checking (2008)"},{"key":"9_CR6","unstructured":"Bruijn, V.: Model-based testing with graph grammers. Ph.D. thesis, University of Twente (2013)"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/MCI.2006.329691","volume":"1","author":"M Dorigo","year":"2006","unstructured":"Dorigo, M., Birattari, M., Stutzle, T.: Ant colony optimization. IEEE Comput. Intell. Mag. 1, 28\u201339 (2006)","journal-title":"IEEE Comput. Intell. Mag."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Duboue, P.: The art of feature engineering: essentials for machine learning (2020)","DOI":"10.1017\/9781108671682"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Eberhart, R., Kennedy, J.: Particle swarm optimization. In: Proceedings of the IEEE International Conference on Neural Networks, pp. 1942\u20131948 (1995)","DOI":"10.1109\/ICNN.1995.488968"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Rozenberg, G., Kreowski, R.H.J.: Handbook of graph grammars and computing by graph transformation 3 (1999)","DOI":"10.1142\/9789812815149"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Engels, G., G\u00fcldali, B., Lohmann, M.: Towards model-driven unit testing. Models Softw. Eng. Workshops Symp. MoDELS 9, 182\u2013192 (2006)","DOI":"10.1007\/978-3-540-69489-2_23"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"1403","DOI":"10.1016\/j.jss.2009.05.016","volume":"82","author":"G Fraser","year":"2009","unstructured":"Fraser, G., Wotawa, F., Ammann, P.: Issues in using model checkers for test case generation. J. Syst. Softw. 82, 1403\u20131418 (2009)","journal-title":"J. Syst. Softw."},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1002\/stvr.402","volume":"19","author":"G Fraser","year":"2009","unstructured":"Fraser, G., Wotawa, F., Ammann, P.: Testing with model checkers: a survey. Softw. Test. Verification Reliab. 19, 215\u2013261 (2009)","journal-title":"Softw. Test. Verification Reliab."},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11219-024-09702-3","volume":"33","author":"S Ghasemi","year":"2025","unstructured":"Ghasemi, S., Rafe, V., Bahrampour, A., Heckel, R.: Whole test suite generation from graph transformation specifications using ant colony optimization. Softw. Qual. J. 33, 1\u201337 (2025)","journal-title":"Softw. Qual. J."},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez, C., Varmazyar, M., Nejati, S., Briand, L., Isasi, Y.: Enabling model testing of cyber-physical systems. In: Proceedings of the 21th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, pp. 176\u2013186 (2018)","DOI":"10.1145\/3239372.3239409"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"G\u00f6nczy, L., Heckel, R., Varr\u00f3, D.: Model-based testing of service infrastructure components. Testing of Software and Communicating Systems: 19th IFIP TC6\/WG6. 1 International Conference, pp. 155\u2013170 (2007)","DOI":"10.1007\/978-3-540-73066-8_11"},{"key":"9_CR17","unstructured":"Hasselt, H.V., Guez, A., Silver, D.: Deep reinforcement learning with double qlearning. In: Proceedings of the AAAI Conference on Artificial Intelligence (2016)"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Haupt, R., Haupt, S.: Practical genetic algorithms (2004)","DOI":"10.1002\/0471671746"},{"key":"9_CR19","unstructured":"Heckel, R., Khan, T., Machado, R.: Towards test coverage criteria for visual contracts. Electron. Commun. EASST 41 (2011)"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-46002-0_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"HS Hong","year":"2002","unstructured":"Hong, H.S., Lee, I., Sokolsky, O., Ural, H.: A temporal logic based theory of test coverage and generation. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, pp. 327\u2013341. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-46002-0_23"},{"key":"9_CR21","unstructured":"Jackson, D.: Software Abstractions: logic, language, and analysis. MIT Press (2012)"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Jadhav, P., Lanke, G., Shrivastava, A., Patil, V., Gupta, S.: Efficient test case generation using model-based testing, and model paradigm approach. In: International Conference on Recent Trends in Computing, pp. 817\u2013828 (2023)","DOI":"10.1007\/978-981-97-1724-8_70"},{"key":"9_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.infsof.2018.12.001","volume":"108","author":"A Kalaee","year":"2019","unstructured":"Kalaee, A., Rafe, V.: Model-based test suite generation for graph transformation system using model simulation and search-based techniques. Inf. Softw. Technol. 108, 1\u201329 (2019)","journal-title":"Inf. Softw. Technol."},{"key":"9_CR24","doi-asserted-by":"publisher","first-page":"9635","DOI":"10.1007\/s00500-022-06815-4","volume":"26","author":"M Mehrabi","year":"2022","unstructured":"Mehrabi, M., Rafe, V.: Using deep reinforcement learning to search reachability properties in systems specified through graph transformation. Soft. Comput. 26, 9635\u20139663 (2022)","journal-title":"Soft. Comput."},{"key":"9_CR25","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1002\/stvr.1489","volume":"24","author":"S Mohalik","year":"2014","unstructured":"Mohalik, S., Gadkari, A., Yeolekar, A., Shashidhar, K., Ramesh, S.: Automatic test case generation from simulink\/stateflow models using model checking. Softw. Test. Verification Reliab. 24, 155\u2013180 (2014)","journal-title":"Softw. Test. Verification Reliab."},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Nabuco, M., Paiva, A.: Model-based test case generation for web applications. In: International Conference on Computational Science and Its Applications, pp. 248\u2013262 (2014)","DOI":"10.1007\/978-3-319-09153-2_19"},{"key":"9_CR27","doi-asserted-by":"publisher","first-page":"3503","DOI":"10.1007\/s00500-021-06476-9","volume":"26","author":"V Rafe","year":"2022","unstructured":"Rafe, V., Mohammady, S., Cuevas, E.: Using bayesian optimization algorithm for model-based integration testing. Soft. Comput. 26, 3503\u20133525 (2022)","journal-title":"Soft. Comput."},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Rensink, A.: The groove simulator: a tool for state space generation. Appl. Graph Transformations Ind. Relevance: Second Int. Workshop 2, 479\u2013485 (2003)","DOI":"10.1007\/978-3-540-25959-6_40"},{"key":"9_CR29","unstructured":"Runge, O., Khan, T., Heckel, R.: Test case generation using visual contracts. Electron. Commun. EASST 58 (2013)"},{"issue":"1","key":"9_CR30","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/MS.2012.13","volume":"29","author":"I Schieferdecker","year":"2012","unstructured":"Schieferdecker, I., Hoffmann, A.: Model-based testing. IEEE Softw. 29(1), 14\u201318 (2012)","journal-title":"IEEE Softw."},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"Schmidt, A., Varr\u00f3, D.: CheckVML: a tool for model checking visual modeling languages. Int. Conf. Unified Model. Lang. 92\u201395 (2003)","DOI":"10.1007\/978-3-540-45221-8_8"},{"key":"9_CR32","doi-asserted-by":"publisher","DOI":"10.1016\/j.advengsoft.2022.103335","volume":"175","author":"R Sulaiman","year":"2023","unstructured":"Sulaiman, R., Jawawi, D., Halim, S.: Cost-effective test case generation with the hyper-heuristic for software product line testing. Adv. Eng. Softw. 175, 103335 (2023)","journal-title":"Adv. Eng. Softw."},{"key":"9_CR33","unstructured":"Sutton, R.: Reinforcement learning: An introduction (2018)"},{"key":"9_CR34","unstructured":"Th\u00f6ne, S.: Dynamic Software Architectures: A Style-Based Modeling and Refinement Technique with Graph Transformations. Ph.D. thesis, University of Paderborn (2005)"},{"key":"9_CR35","doi-asserted-by":"crossref","unstructured":"Utting, M., et al.: Recent advances in model-based testing. Adv. Comput. 101, 53\u2013120 (2016)","DOI":"10.1016\/bs.adcom.2015.11.004"},{"key":"9_CR36","doi-asserted-by":"crossref","unstructured":"Yang, Y.: Improve model testing by integrating bounded model checking and coverage guided fuzzing. Electronics (Basel) 12, 1573 (2023)","DOI":"10.3390\/electronics12071573"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-94706-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T11:22:44Z","timestamp":1749727364000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-94706-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031947056","9783031947063"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-94706-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"13 June 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"ICGT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Graph Transformation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Koblenz","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 June 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 June 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icgt2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/icgt-2025","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}