{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T11:20:47Z","timestamp":1778757647319,"version":"3.51.4"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T00:00:00Z","timestamp":1761264000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T00:00:00Z","timestamp":1761264000000},"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":["Int J Syst Assur Eng Manag"],"published-print":{"date-parts":[[2026,4]]},"DOI":"10.1007\/s13198-025-03025-7","type":"journal-article","created":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T09:39:09Z","timestamp":1761298749000},"page":"1159-1174","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["TCG: an approach to improving test-driven development by exploiting use case specifications"],"prefix":"10.1007","volume":"17","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-0434-1255","authenticated-orcid":false,"given":"Thanh-Binh","family":"Trinh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ninh-Thuan","family":"Truong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,10,24]]},"reference":[{"key":"3025_CR1","doi-asserted-by":"publisher","DOI":"10.2139\/ssrn.4724885","author":"S Alagarsamy","year":"2023","unstructured":"Alagarsamy S, Tantithamthavorn C, Aleti A (2023) A3Test: assertion-augmented automated test case generation. Inf Softw Technol. https:\/\/doi.org\/10.2139\/ssrn.4724885","journal-title":"Inf Softw Technol"},{"key":"3025_CR2","doi-asserted-by":"crossref","unstructured":"Alekseev S, Dhanraj V, Reschke S, Palaga P (2012) Tools for control flow analysis of java code. Parallel and distributed computing and systems","DOI":"10.2316\/P.2012.790-033"},{"key":"3025_CR3","first-page":"409","volume":"119","author":"T Alrawashdeh","year":"2019","unstructured":"Alrawashdeh T, Almomani DA, Thunibat A, Tamimi A (2019) An automated approach to generate test cases from use case description model. Comput Model Eng Sci 119:409\u2013425","journal-title":"Comput Model Eng Sci"},{"issue":"3","key":"3025_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3616372","volume":"56","author":"D Amalfitano","year":"2023","unstructured":"Amalfitano D, Faralli S, Hauck JCR, Matalonga S, Distante D (2023) Artificial intelligence applied to software testing: a tertiary study. ACM Comput Surv 56(3):1\u201338","journal-title":"ACM Comput Surv"},{"key":"3025_CR5","unstructured":"Astels D (2003) Test driven development: a practical guide. Prentice Hall Professional Technical Reference, Upper Saddle River, NJ"},{"key":"3025_CR6","unstructured":"Baqar M, Khanda R (2024) The future of software testing: AI-powered test case generation and validation. arXiv:https:\/\/arxiv.org\/abs\/2409.05808"},{"key":"3025_CR7","unstructured":"Beck (2002) Test driven development: by example. Addison-Wesley Longman Publishing Co., Inc., USA"},{"key":"3025_CR8","unstructured":"Beck K, Beedle M, Bennekum A, Cockburn, A, Cunningham W, Fowler M, Grenning J, Highsmith J, Hunt A, Jeffries R, Kern J, Marick B, Martin RC, Mellor S, Schwaber K, Sutherland J, Thomas D (2001) Manifesto for Agile Software Development"},{"key":"3025_CR9","volume-title":"Statistical power analysis for the behavioral sciences","author":"J Cohen","year":"1988","unstructured":"Cohen J (1988) Statistical power analysis for the behavioral sciences, 2nd edn. Lawrence Erlbaum Associates, Hillsdale, NJ","edition":"2"},{"key":"3025_CR10","volume-title":"COMEX: a tool for generating customized source code representations. ASE \u201923","author":"D Das","year":"2024","unstructured":"Das D, Mathews NS, Mathai A, Tamilselvam S, Sedamaki K, Chimalakonda S, Kumar A (2024) COMEX: a tool for generating customized source code representations. ASE \u201923. IEEE Press, Echternach, Luxembourg"},{"issue":"3","key":"3025_CR11","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1109\/TSE.2005.37","volume":"31","author":"H Erdogmus","year":"2005","unstructured":"Erdogmus H, Morisio M, Torchiano M (2005) On the effectiveness of the test-first approach to programming. IEEE Trans Softw Eng 31(3):226\u2013237","journal-title":"IEEE Trans Softw Eng"},{"key":"3025_CR12","doi-asserted-by":"crossref","unstructured":"Fraser G, Arcuri A (2011) Evosuite: automatic test suite generation for object-oriented software. In: Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on foundations of software engineering. ESEC\/FSE \u201911. Association for Computing Machinery, New York, NY, USA, pp 416\u2013419","DOI":"10.1145\/2025113.2025179"},{"key":"3025_CR13","volume-title":"Exploring the potential of ChatGPT in automated code refinement: an empirical study. ICSE \u201924","author":"Q Guo","year":"2024","unstructured":"Guo Q, Cao J, Xie X, Liu S, Li X, Chen B, Peng X (2024) Exploring the potential of ChatGPT in automated code refinement: an empirical study. ICSE \u201924. Association for Computing Machinery, New York"},{"issue":"9","key":"3025_CR14","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1109\/MC.2005.314","volume":"38","author":"D Janzen","year":"2005","unstructured":"Janzen D, Saiedian H (2005) Test-driven development concepts, taxonomy, and future direction. Computer 38(9):43\u201350","journal-title":"Computer"},{"key":"3025_CR15","doi-asserted-by":"publisher","first-page":"242","DOI":"10.17706\/jsw.11.3.242-250","volume":"11","author":"N Khurana","year":"2016","unstructured":"Khurana N, Chhillar RS, Chhillar U (2016) A novel technique for generation and optimization of test cases using use case, sequence, activity diagram and genetic algorithm. J Softw 11:242\u2013250","journal-title":"J Softw"},{"issue":"ICFP","key":"3025_CR16","doi-asserted-by":"publisher","first-page":"742","DOI":"10.1145\/3547648","volume":"6","author":"J Koppel","year":"2022","unstructured":"Koppel J, Kearl J, Solar-Lezama A (2022) Automatically deriving control-flow graph generators from operational semantics. Proc ACM Program Lang 6(ICFP):742\u2013771","journal-title":"Proc ACM Program Lang"},{"issue":"1","key":"3025_CR17","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/s11219-025-09717-4","volume":"33","author":"S Kumari","year":"2025","unstructured":"Kumari S, Jindal S, Sharma A (2025) Test case optimization using grey wolf algorithm. Softw Qual J 33(1):20","journal-title":"Softw Qual J"},{"key":"3025_CR18","unstructured":"Le K (2020) Automating control-flow graph generation from source code. Technical report, School of Engineering and Applied Science, University of Virginia"},{"key":"3025_CR19","unstructured":"Li R, Allal LB, Zi Y, Niklas Muennighoff ea (2023) StarCoder: may the source be with you!"},{"key":"3025_CR20","doi-asserted-by":"crossref","unstructured":"Li Z, Lu S, Guo D, Duan N, Jannu S, Jenks G, Majumder D, Green J, Svyatkovskiy A, Fu S, Sundaresan N (2022) Automating code review activities by large-scale pre-training","DOI":"10.1145\/3540250.3549081"},{"issue":"8","key":"3025_CR21","doi-asserted-by":"publisher","first-page":"942","DOI":"10.1134\/S0361768823080169","volume":"49","author":"G Nayak","year":"2023","unstructured":"Nayak G, Barisal SK, Ray M (2023) CGWO: an improved grey wolf optimization technique for test case prioritization. Prog Comput Softw 49(8):942\u2013953","journal-title":"Prog Comput Softw"},{"key":"3025_CR22","doi-asserted-by":"crossref","unstructured":"Olsthoorn M (2022) More effective test case generation with multiple tribes of AI. In: 2022 IEEE\/ACM 44th international conference on software engineering: companion proceedings (ICSE-Companion), pp 286\u2013290","DOI":"10.1109\/ICSE-Companion55297.2022.9793774"},{"key":"3025_CR23","unstructured":"OMG (2010) Systems Modeling Language (SysML) Specification \u2013 Version 1.1. Technical report, Object Management Group (OMG)"},{"key":"3025_CR24","unstructured":"OMG (2011) UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, Version 1.1. Technical report, Object Management Group (OMG)"},{"key":"3025_CR25","unstructured":"OpenAI: GPT-4 Technical Report (2024)"},{"key":"3025_CR26","series-title":"OOPSLA \u201907","doi-asserted-by":"publisher","first-page":"815","DOI":"10.1145\/1297846.1297902","volume-title":"Companion to the 22nd ACM SIGPLAN conference on object-oriented programming systems and applications companion","author":"C Pacheco","year":"2007","unstructured":"Pacheco C, Ernst MD (2007) Randoop: feedback-directed random testing for java. Companion to the 22nd ACM SIGPLAN conference on object-oriented programming systems and applications companion. OOPSLA \u201907. Association for Computing Machinery, New York, pp 815\u2013816"},{"key":"3025_CR27","first-page":"311","volume-title":"Proceedings of the 40th annual meeting on association for computational linguistics. ACL \u201902","author":"K Papineni","year":"2002","unstructured":"Papineni K, Roukos S, Ward T, Zhu W-J (2002) Bleu: a method for automatic evaluation of machine translation. Proceedings of the 40th annual meeting on association for computational linguistics. ACL \u201902. Association for Computational Linguistics, USA, pp 311\u2013318"},{"key":"3025_CR28","doi-asserted-by":"crossref","unstructured":"Putra IS, Rukmono SA, Perdana RS (2021) Abstract Syntax Tree (AST) and Control Flow Graph (CFG) Construction of Notasi Algoritmik. In: 2021 International conference on data and software engineering (ICoDSE), pp 1\u20136","DOI":"10.1109\/ICoDSE53690.2021.9648437"},{"key":"3025_CR29","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/s10270-016-0525-1","volume":"17","author":"FGC Ribeiro","year":"2018","unstructured":"Ribeiro FGC, Pereira CE, Rettberg A, Santos Soares M (2018) Model-based requirements specification of real-time systems with UML, SysML and MARTE. Softw Syst Model 17:343\u2013361","journal-title":"Softw Syst Model"},{"key":"3025_CR30","first-page":"43","volume":"9","author":"R Sahoo","year":"2017","unstructured":"Sahoo R, Nanda S, Mohapatra D, Patra M (2017) Model driven test case optimization of UML combinational diagrams using hybrid bee colony algorithm. Int J Intell Syst Appl 9:43\u201354","journal-title":"Int J Intell Syst Appl"},{"issue":"2","key":"3025_CR31","doi-asserted-by":"publisher","first-page":"597","DOI":"10.22237\/jmasm\/1257035100","volume":"8","author":"SS Sawilowsky","year":"2009","unstructured":"Sawilowsky SS (2009) New effect size rules of thumb. J Mod Appl Stat Methods 8(2):597\u2013599","journal-title":"J Mod Appl Stat Methods"},{"issue":"01","key":"3025_CR32","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1109\/TSE.2023.3334955","volume":"50","author":"M Schafer","year":"2024","unstructured":"Schafer M, Nadi S, Eghbali A, Tip F (2024) An empirical evaluation of using large language models for automated unit test generation. IEEE Trans Softw Eng 50(01):85\u2013105","journal-title":"IEEE Trans Softw Eng"},{"key":"3025_CR33","unstructured":"Takerngsaksiri W, Charakorn R, Tantithamthavorn C, Li Y-F (2024) TDD without tears: towards test case generation from requirements through deep reinforcement learning. arXiv:https:\/\/arxiv.org\/abs\/2401.07576"},{"key":"3025_CR34","first-page":"75","volume-title":"A literature survey of assertions in software testing","author":"M Taromirad","year":"2023","unstructured":"Taromirad M, Runeson P (2023) A literature survey of assertions in software testing. Springer, Berlin, Heidelberg, pp 75\u201396"},{"key":"3025_CR35","doi-asserted-by":"crossref","unstructured":"Teixeira F, Silva G (2018) EasyTest: an approach for automatic test cases generation from UML activity diagrams, pp 411\u2013417","DOI":"10.1007\/978-3-319-54978-1_54"},{"key":"3025_CR36","unstructured":"Zaharia M, Chowdhury M, Franklin MJ, Shenker S, Stoica I (2010) Spark: cluster computing with working sets. In: Proceedings of the 2nd USENIX conference on hot topics in cloud computing. HotCloud\u201910. USENIX Association, USA"}],"container-title":["International Journal of System Assurance Engineering and Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13198-025-03025-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s13198-025-03025-7","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13198-025-03025-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T10:34:59Z","timestamp":1778754899000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s13198-025-03025-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,24]]},"references-count":36,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2026,4]]}},"alternative-id":["3025"],"URL":"https:\/\/doi.org\/10.1007\/s13198-025-03025-7","relation":{},"ISSN":["0975-6809","0976-4348"],"issn-type":[{"value":"0975-6809","type":"print"},{"value":"0976-4348","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,24]]},"assertion":[{"value":"4 March 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 October 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 October 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no Conflict of interest to declare that are relevant to the content of this article.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"The authors have no financial or proprietary interests in any material discussed in this article.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Financial or proprietary interests"}}]}}