{"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":1774374836438,"version":"3.50.1"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T00:00:00Z","timestamp":1737590400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T00:00:00Z","timestamp":1737590400000},"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":["Software Qual J"],"published-print":{"date-parts":[[2025,3]]},"DOI":"10.1007\/s11219-024-09702-3","type":"journal-article","created":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T08:15:08Z","timestamp":1737620108000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Whole test suite generation from graph transformation specifications using ant colony optimization"],"prefix":"10.1007","volume":"33","author":[{"given":"Simin","family":"Ghasemi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vahid","family":"Rafe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anvar","family":"Bahrampour","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,1,23]]},"reference":[{"key":"9702_CR1","doi-asserted-by":"crossref","unstructured":"Aduni Sulaiman, R., Jawawi, D. N., & Halim, S. A. (2020). Derivation of test cases for model-based testing of software product line with hybrid heuristic approach. In Emerging trends in intelligent computing and informatics: data science, intelligent information systems and smart computing 4 (pp. 199\u2013208). Springer International Publishing.\u200f","DOI":"10.1007\/978-3-030-33582-3_19"},{"key":"9702_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/9781316771273","volume-title":"Introduction to software testing","author":"P Ammann","year":"2016","unstructured":"Ammann, P., & Offutt, J. (2016). Introduction to software testing. Cambridge University Press."},{"issue":"8","key":"9702_CR3","doi-asserted-by":"crossref","first-page":"1978","DOI":"10.1016\/j.jss.2013.02.061","volume":"86","author":"S Anand","year":"2013","unstructured":"Anand, S., et al. (2013). An orchestrated survey of methodologies for automated software test case generation. Journal of Systems and Software, 86(8), 1978\u20132001.","journal-title":"Journal of Systems and Software"},{"issue":"1","key":"9702_CR4","first-page":"343","volume":"49","author":"M AsgariAraghi","year":"2019","unstructured":"AsgariAraghi, M., Rafe, V., & Kalaee, A. (2019). Model-based test case generation from graph transformation specifications using beam search algorithm. Tabriz Journal of Electrical Engineering, 49(1), 343\u2013356.","journal-title":"Tabriz Journal of Electrical Engineering"},{"key":"9702_CR5","doi-asserted-by":"crossref","first-page":"2743","DOI":"10.1007\/s13042-020-01149-9","volume":"11","author":"A Bahrampour","year":"2020","unstructured":"Bahrampour, A., & Rafe, V. (2020). Using search-based techniques for testing executable software models specified through graph transformations. International Journal of Machine Learning and Cybernetics, 11, 2743\u20132770.","journal-title":"International Journal of Machine Learning and Cybernetics"},{"issue":"2","key":"9702_CR6","doi-asserted-by":"crossref","first-page":"877","DOI":"10.1007\/s10462-020-09881-y","volume":"54","author":"A Bahrampour","year":"2021","unstructured":"Bahrampour, A., & Rafe, V. (2021). Using memetic algorithm for robustness testing of contract-based software models. Artificial Intelligence Review, 54(2), 877\u2013915.","journal-title":"Artificial Intelligence Review"},{"key":"9702_CR7","unstructured":"Baier, C., Katoen, J.- P. (2008). Principles of model checking. MIT press."},{"key":"9702_CR8","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/3-540-45426-8_3","volume-title":"Modelling, analysis, and design of hybrid systems","author":"K Bender","year":"2002","unstructured":"Bender, K., Broy, M., P\u00e9ter, I., Pretschner, A., & Stauner, T. (2002). Model based development of hybrid systems: Specification, simulation, test case generation. Modelling, analysis, and design of hybrid systems (pp. 37\u201351). Springer."},{"key":"9702_CR9","unstructured":"Bruijn, V. (2013). Model-based testing with graph grammers. University of Twente."},{"key":"9702_CR10","unstructured":"Callahan, J., Schneider, F., & Easterbrook, S. (1996, August). Automated software testing using model-checking. In Proceedings 1996 SPIN workshop (Vol. 353). Citeseer.\u200f"},{"key":"9702_CR11","first-page":"1","volume-title":"LASER summer school on software engineering","author":"EM Clarke","year":"2011","unstructured":"Clarke, E. M., Klieber, W., Nov\u00e1\u010dek, M., & Zuliani, P. (2011). Model checking and the state explosion problem. LASER summer school on software engineering (pp. 1\u201330). Springer."},{"issue":"4","key":"9702_CR12","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/MCI.2006.329691","volume":"1","author":"M Dorigo","year":"2006","unstructured":"Dorigo, M., Birattari, M., & Stutzle, T. (2006). Ant colony optimization. IEEE Computational Intelligence Magazine, 1(4), 28\u201339.","journal-title":"IEEE Computational Intelligence Magazine"},{"key":"9702_CR13","doi-asserted-by":"crossref","unstructured":"Engels, G., G\u00fcldali, B., & Lohmann, M. (2007). Towards model-driven unit testing. In Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers 9 (pp. 182\u2013192).\u00a0Springer Berlin Heidelberg.","DOI":"10.1007\/978-3-540-69489-2_23"},{"issue":"2","key":"9702_CR14","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1109\/TSE.2012.14","volume":"39","author":"G Fraser","year":"2012","unstructured":"Fraser, G., & Arcuri, A. (2012). Whole test suite generation. IEEE Transactions on Software Engineering, 39(2), 276\u2013291.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9702_CR15","doi-asserted-by":"crossref","first-page":"783","DOI":"10.1007\/s10664-013-9299-z","volume":"20","author":"G Fraser","year":"2015","unstructured":"Fraser, G., & Arcuri, A. (2015). Achieving scalable mutation-based generation of whole test suites. Empirical Software Engineering, 20, 783\u2013812.","journal-title":"Empirical Software Engineering"},{"issue":"9","key":"9702_CR16","doi-asserted-by":"crossref","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. (2009a). Issues in using model checkers for test case generation. Journal of Systems and Software, 82(9), 1403\u20131418.","journal-title":"Journal of Systems and Software"},{"issue":"3","key":"9702_CR17","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1002\/stvr.402","volume":"19","author":"G Fraser","year":"2009","unstructured":"Fraser, G., Wotawa, F., & Ammann, P. E. (2009b). Testing with model checkers: A survey. Software Testing, Verification and Reliability, 19(3), 215\u2013261.","journal-title":"Software Testing, Verification and Reliability"},{"key":"9702_CR18","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/j.jss.2014.05.032","volume":"103","author":"G Fraser","year":"2015","unstructured":"Fraser, G., Arcuri, A., & McMinn, P. (2015). A memetic algorithm for whole test suite generation. Journal of Systems and Software, 103, 311\u2013327.","journal-title":"Journal of Systems and Software"},{"key":"9702_CR19","doi-asserted-by":"crossref","unstructured":"G\u00f6nczy, L., Heckel, R., & Varr\u00f3, D. (2007, June). Model-based testing of service infrastructure components. In International workshop on formal approaches to software testing (pp. 155\u2013170). Springer Berlin Heidelberg.\u200f","DOI":"10.1007\/978-3-540-73066-8_11"},{"key":"9702_CR20","unstructured":"Grumberg, O., Clarke, E. M., & Peled, D. (1999). Model checking. In International conference on foundations of software technology and theoretical computer science, Springer.\u200f"},{"issue":"1","key":"9702_CR21","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/j.entcs.2005.12.018","volume":"148","author":"R Heckel","year":"2006","unstructured":"Heckel, R. (2006). Graph transformation in a nutshell. Electronic Notes in Theoretical Computer Science, 148(1), 187\u2013198.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9702_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-43916-3","author":"R Heckel","year":"2020","unstructured":"Heckel, R., & Taentzer, G. (2020). Graph transformation for software engineers - with applications to model-based development and domain-specific language engineering. Springer. https:\/\/doi.org\/10.1007\/978-3-030-43916-3","journal-title":"Springer"},{"key":"9702_CR23","unstructured":"Heckel, R., Khan, T., & Machado, R. (2011). Towards test coverage criteria for visual contracts. Electronic Communications of the EASST, 41.\u200f"},{"issue":"12","key":"9702_CR24","doi-asserted-by":"crossref","first-page":"2391","DOI":"10.1109\/TCYB.2014.2307319","volume":"44","author":"S Jiang","year":"2014","unstructured":"Jiang, S., Ong, Y.-S., Zhang, J., & Feng, L. (2014). Consistencies and contradictions of performance metrics in multiobjective optimization. IEEE Transactions on Cybernetics, 44(12), 2391\u20132404.","journal-title":"IEEE Transactions on Cybernetics"},{"key":"9702_CR25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.infsof.2018.12.001","volume":"108","author":"A Kalaee","year":"2019","unstructured":"Kalaee, A., & Rafe, V. (2019). Model-based test suite generation for graph transformation system using model simulation and search-based techniques. Information and Software Technology, 108, 1\u201329.","journal-title":"Information and Software Technology"},{"key":"9702_CR26","doi-asserted-by":"crossref","unstructured":"Lee, I., Hong, H. S., Sokolsky, O., & Ural, H. (2002). A temporal logic based theory of test coverage and generation.\u200f","DOI":"10.1007\/3-540-46002-0_23"},{"key":"9702_CR27","doi-asserted-by":"crossref","unstructured":"Liu, S. (2016, May). Validating formal specifications using testing-based specification animation. In Proceedings of the 4th fme workshop on formal methods in software engineering (pp. 29\u201335).\u200f","DOI":"10.1145\/2897667.2897668"},{"issue":"1","key":"9702_CR28","first-page":"204","volume":"3","author":"PB Nirpal","year":"2011","unstructured":"Nirpal, P. B., & Kale, K. V. (2011). A brief overview of software testing metrics. International Journal on Computer Science and Engineering, 3(1), 204\u20132011.","journal-title":"International Journal on Computer Science and Engineering"},{"issue":"2","key":"9702_CR29","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1016\/j.jvlc.2012.12.002","volume":"24","author":"V Rafe","year":"2013","unstructured":"Rafe, V. (2013). Scenario-driven analysis of systems specified through graph transformations. Journal of Visual Languages and Computing, 24(2), 136\u2013145.","journal-title":"Journal of Visual Languages and Computing"},{"key":"9702_CR30","doi-asserted-by":"crossref","first-page":"4531","DOI":"10.1007\/s00500-018-3444-y","volume":"23","author":"V Rafe","year":"2019","unstructured":"Rafe, V., Darghayedi, M., & Pira, E. (2019). MS-ACO: A multi-stage ant colony optimization to refute complex software systems specified through graph transformation. Soft Computing, 23, 4531\u20134556.","journal-title":"Soft Computing"},{"issue":"7","key":"9702_CR31","doi-asserted-by":"crossref","first-page":"3503","DOI":"10.1007\/s00500-021-06476-9","volume":"26","author":"V Rafe","year":"2022","unstructured":"Rafe, V., Mohammady, S., & Cuevas, E. (2022). Using Bayesian optimization algorithm for model-based integration testing. Soft Computing, 26(7), 3503\u20133525.","journal-title":"Soft Computing"},{"key":"9702_CR32","doi-asserted-by":"crossref","first-page":"852","DOI":"10.1007\/s10664-015-9424-2","volume":"22","author":"JM Rojas","year":"2017","unstructured":"Rojas, J. M., Vivanti, M., Arcuri, A., & Fraser, G. (2017). A detailed investigation of the effectiveness of whole test suite generation. Empirical Software Engineering, 22, 852\u2013893.","journal-title":"Empirical Software Engineering"},{"key":"9702_CR33","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (Ed.). (1997). Handbook of graph grammars and computing by graph transformation (Vol. 1). World Scientific.\u200f","DOI":"10.1142\/9789812384720"},{"key":"9702_CR34","doi-asserted-by":"publisher","unstructured":"Runge, O., Khan, T., & Heckel, R. (2013). Test case generation using visual contracts. Electronic Communications of the EASST, 58,. https:\/\/doi.org\/10.14279\/tuj.eceasst.58.847","DOI":"10.14279\/tuj.eceasst.58.847"},{"key":"9702_CR35","doi-asserted-by":"crossref","first-page":"1094","DOI":"10.1016\/j.asoc.2016.08.030","volume":"49","author":"A Saeed","year":"2016","unstructured":"Saeed, A., Ab Hamid, S. H., & Mustafa, M. B. (2016). The experimental applications of search-based techniques for model-based testing: Taxonomy and systematic literature review. Applied Soft Computing, 49, 1094\u20131117.","journal-title":"Applied Soft Computing"},{"issue":"04","key":"9702_CR36","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1142\/S021819401750022X","volume":"27","author":"A Saeed","year":"2017","unstructured":"Saeed, A., Ab Hamid, S. H., & Sani, A. A. (2017). Cost and effectiveness of search-based techniques for model-based testing: An empirical analysis. International Journal of Software Engineering and Knowledge Engineering, 27(04), 601\u2013622.","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"issue":"3","key":"9702_CR37","doi-asserted-by":"crossref","first-page":"806","DOI":"10.1016\/j.jestch.2020.12.011","volume":"24","author":"O Sahin","year":"2021","unstructured":"Sahin, O., Akay, B., & Karaboga, D. (2021). Archive-based multi-criteria artificial bee colony algorithm for whole test suite generation. Engineering Science and Technology, an International Journal, 24(3), 806\u2013817.","journal-title":"Engineering Science and Technology, an International Journal"},{"key":"9702_CR38","doi-asserted-by":"crossref","unstructured":"Schmidt, A., & Varr\u00f3, D. (2003). CheckVML: A tool for model checking visual modeling languages. In \u00abUML\u00bb 2003-The unified modeling language. modeling languages and applications: 6th international conference, San Francisco, CA, USA, October 20-24, 2003. proceedings 6 (pp. 92\u201395). Springer Berlin Heidelberg.\u200f","DOI":"10.1007\/978-3-540-45221-8_8"},{"key":"9702_CR39","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/s12239-018-0011-6","volume":"19","author":"K-W Shin","year":"2018","unstructured":"Shin, K.-W., & Lim, D.-J. (2018). Model-based automatic test case generation for automotive embedded software testing. International Journal of Automotive Technology, 19, 107\u2013119.","journal-title":"International Journal of Automotive Technology"},{"key":"9702_CR40","doi-asserted-by":"crossref","first-page":"103335","DOI":"10.1016\/j.advengsoft.2022.103335","volume":"175","author":"RA Sulaiman","year":"2023","unstructured":"Sulaiman, R. A., Jawawi, D. N. A., & Halim, S. A. (2023). Cost-effective test case generation with the hyper-heuristic for software product line testing. Advances in Engineering Software, 175, 103335.","journal-title":"Advances in Engineering Software"},{"issue":"11","key":"9702_CR41","first-page":"131","volume":"2","author":"V Sumalatha","year":"2014","unstructured":"Sumalatha, V., & Raju, G. (2014). Model-based test case optimization of UML activity diagrams using evolutionary algorithms. International Journal\u00a0of\u00a0Computer Science\u00a0and\u00a0Mobile Applications, 2(11), 131\u2013142.","journal-title":"International Journal\u00a0of\u00a0Computer Science\u00a0and\u00a0Mobile Applications"},{"issue":"7","key":"9702_CR42","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3464421","volume":"54","author":"P Tolmach","year":"2021","unstructured":"Tolmach, P., Li, Y., Lin, S.-W., Liu, Y., & Li, Z. (2021). A survey of smart contract formal specification and verification. ACM Computing Surveys (CSUR), 54(7), 1\u201338.","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"9702_CR43","volume-title":"Practical model-based testing: A tools approach","author":"M Utting","year":"2010","unstructured":"Utting, M., & Legeard, B. (2010). Practical model-based testing: A tools approach. Elsevier."},{"key":"9702_CR44","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/bs.adcom.2015.11.004","volume":"101","author":"M Utting","year":"2016","unstructured":"Utting, M., Legeard, B., Bouquet, F., Fourneret, E., Peureux, F., & Vernotte, A. (2016). Recent advances in model-based testing. Advances in Computers, 101, 53\u2013120.","journal-title":"Advances in Computers"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-024-09702-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11219-024-09702-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-024-09702-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T21:41:31Z","timestamp":1743370891000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11219-024-09702-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1,23]]},"references-count":44,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,3]]}},"alternative-id":["9702"],"URL":"https:\/\/doi.org\/10.1007\/s11219-024-09702-3","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,1,23]]},"assertion":[{"value":"26 November 2024","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 January 2025","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declaration"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflicts of interest"}}],"article-number":"10"}}