{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:12:51Z","timestamp":1742379171012,"version":"3.37.3"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T00:00:00Z","timestamp":1675209600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T00:00:00Z","timestamp":1675209600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001809","name":"Chinese National Natural Science Foundation","doi-asserted-by":"crossref","award":["11975182"],"award-info":[{"award-number":["11975182"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Electron Test"],"published-print":{"date-parts":[[2023,2]]},"DOI":"10.1007\/s10836-023-06045-y","type":"journal-article","created":{"date-parts":[[2023,2,3]],"date-time":"2023-02-03T12:03:03Z","timestamp":1675425783000},"page":"71-88","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["DFS-KeyLevel: A Two-Layer Test Scenario Generation Approach for UML Activity Diagram"],"prefix":"10.1007","volume":"39","author":[{"given":"Xiaozhi","family":"Du","sequence":"first","affiliation":[]},{"given":"Jinjin","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Kai","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Yanrong","family":"Zhou","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,2,3]]},"reference":[{"key":"6045_CR1","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/j.cosrev.2019.07.001","volume":"33","author":"T Ahmad","year":"2019","unstructured":"Ahmad T, Iqbal J, Ashraf A (2019) Model-based testing using UML activity diagrams: a systematic mapping study. Comput Sci Rev 33:98\u2013112","journal-title":"Comput Sci Rev"},{"issue":"5","key":"6045_CR2","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1049\/iet-sen.2018.5207","volume":"13","author":"R Anbunathan","year":"2019","unstructured":"Anbunathan R, Basu A (2019) Combining genetic algorithm and pairwise testing for optimised test generation from UML ADs. Softw IET 13(5):423\u2013433","journal-title":"Softw IET"},{"key":"6045_CR3","doi-asserted-by":"publisher","first-page":"106292","DOI":"10.1016\/j.infsof.2020.106292","volume":"123","author":"V Arora","year":"2020","unstructured":"Arora V, Singh M, Bhatia R (2020) Orientation-based ant colony algorithm for synthesizing the test scenarios in UML activity diagram. Inf Softw Technol 123:106292","journal-title":"Inf Softw Technol"},{"issue":"4","key":"6045_CR4","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1109\/TSE.2017.2777830","volume":"45","author":"R Claris\u00f3","year":"2019","unstructured":"Claris\u00f3 R, Gonz\u00e1lez CA, Cabot J (2019) Smart bound selection for the Verification of UML\/OCL class diagrams. IEEE Trans Softw Eng 45(4):412\u2013426","journal-title":"IEEE Trans Softw Eng"},{"key":"6045_CR5","doi-asserted-by":"crossref","unstructured":"Fan LL, Wang Y, Liu T (2021) Automatic test path generation and prioritization using UML activity diagram. In: Proc. of 8th International Conference on Dependable Systems and Their Applications (DSA). pp 484\u2013490","DOI":"10.1109\/DSA52907.2021.00072"},{"key":"6045_CR6","doi-asserted-by":"crossref","unstructured":"Hamza ZA, Hammad M (2019) Generating test sequences from UML use-case diagrams. In: Proc. of International Conference on Innovation and Intelligence for Informatics, Computing, and Technologies (3ICT), pp 1\u20136","DOI":"10.1109\/3ICT.2019.8910329"},{"key":"6045_CR7","doi-asserted-by":"publisher","first-page":"6125","DOI":"10.1007\/s13369-020-04472-z","volume":"45","author":"H Jahan","year":"2020","unstructured":"Jahan H, Feng Z, Mahmud S (2020) Risk-based test case prioritization by correlating system methods and their associated risks. Arab J Sci Eng 45:6125\u20136138","journal-title":"Arab J Sci Eng"},{"key":"6045_CR8","doi-asserted-by":"crossref","unstructured":"Jain P, Soni D (2020) A survey on generation of test cases using UML diagrams. In: Proc. of International Conference on Emerging Trends in Information Technology and Engineering (IC-ETITE). IEEE, pp 1\u20136","DOI":"10.1109\/ic-ETITE47903.2020.395"},{"key":"6045_CR9","doi-asserted-by":"crossref","unstructured":"Jena AK, Swain SK, Mohapatra DP (2014) A novel approach for test case generation from UML activity diagram. In: Proc. of International Conference on Issues & Challenges in Intelligent Computing Techniques. IEEE, pp 621\u2013629","DOI":"10.1109\/ICICICT.2014.6781352"},{"key":"6045_CR10","doi-asserted-by":"crossref","unstructured":"Kamonsantiroj S, Pipanmaekaporn L, Lorpunmanee S (2019) A memorization approach for test case generation in concurrent UML activity diagram. In: Proc. of the 2nd International Conference on Geoinformatics and Data Analysis, pp 20\u201325","DOI":"10.1145\/3318236.3318256"},{"issue":"3","key":"6045_CR11","doi-asserted-by":"publisher","first-page":"65","DOI":"10.5381\/jot.2009.8.3.a1","volume":"8","author":"D Kundu","year":"2009","unstructured":"Kundu D, Samanta D (2009) A novel approach to generate test cases from UML activity diagrams. J Object Technol 8(3):65\u201383","journal-title":"J Object Technol"},{"key":"6045_CR12","doi-asserted-by":"crossref","unstructured":"Lafi M, Alrawashed T, Hammad AM (2021) Automated test cases generation from requirements specification. In: Proc. of International Conference on Information Technology (ICIT). IEEE, pp 852\u2013857","DOI":"10.1109\/ICIT52682.2021.9491761"},{"key":"6045_CR13","doi-asserted-by":"crossref","unstructured":"Li H, Lam CP (2005) Using anti-ant-like agents to generate test threads from the UML diagrams. In: Proc. of International Conference on Testing of Communicating Systems. Springer-Verlag, Berlin, pp 69\u201380","DOI":"10.1007\/11430230_6"},{"key":"6045_CR14","doi-asserted-by":"crossref","unstructured":"Lima L, Tavares A (2019) Verifying deadlock and nondeterminism in activity diagrams. In: Proc. of ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, pp 764\u2013768","DOI":"10.1109\/MODELS-C.2019.00119"},{"key":"6045_CR15","doi-asserted-by":"crossref","unstructured":"Mahali P, Arabinda S, Acharya AA (2016) Test case generation for concurrent systems using UML activity diagram. In: Proc. of IEEE Region 10 Conference (TENCON), pp 428\u2013435","DOI":"10.1109\/TENCON.2016.7848035"},{"key":"6045_CR16","doi-asserted-by":"crossref","unstructured":"Mahanto P, Barisal SK, Mohapatra DP (2018) Achieving MC\/DC using UML communication diagram. In: Proc. of International Conference on Information Technology (ICIT). IEEE, pp 73\u201378","DOI":"10.1109\/ICIT.2018.00026"},{"key":"6045_CR17","unstructured":"OMG. Foundational Unified Modeling Language v1.5.\u00a0http:\/\/www.omg.org\/spec\/FUML\/1.5\/. Retrieved June\u00a02021"},{"key":"6045_CR18","doi-asserted-by":"publisher","first-page":"1801","DOI":"10.1007\/s13198-021-01551-8","volume":"13","author":"V Panthi","year":"2022","unstructured":"Panthi V, Tripathi A, Mohapatra DP (2022) Software validation based on prioritization using concurrent activity diagram. Int J Syst Assur Eng Manage 13:1801\u20131816","journal-title":"Int J Syst Assur Eng Manage"},{"key":"6045_CR19","first-page":"434","volume":"33","author":"Z Qian","year":"2022","unstructured":"Qian Z, Zhu J, Zhu Y (2022) Multi-path coverage strategy combining key point probability and path similarity. J Softw 33:434\u2013454","journal-title":"J Softw"},{"key":"6045_CR20","doi-asserted-by":"crossref","unstructured":"Salman, Yasir D (2017) Coverage criteria for test case generation using UML state chart diagram. AIP Conf Proc\u00a01891(1):1\u20136","DOI":"10.1063\/1.5005458"},{"issue":"7","key":"6045_CR21","first-page":"2476","volume":"15","author":"Z Shi","year":"2021","unstructured":"Shi Z, Zeng XQ, Zhang TT, Han L (2021) UML diagram-driven test scenarios generation based on the temporal graph grammar. KSII Trans Internet Inf Syst 15(7):2476\u20132495","journal-title":"KSII Trans Internet Inf Syst"},{"issue":"5","key":"6045_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2347696.2347712","volume":"37","author":"M Shirole","year":"2012","unstructured":"Shirole M, Kumar R (2012) Testing for concurrency in UML diagrams. ACM SIGSOFT Softw Eng Notes 37(5):1\u20138","journal-title":"ACM SIGSOFT Softw Eng Notes"},{"issue":"4","key":"6045_CR23","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1049\/sfw2.12009","volume":"15","author":"M Shirole","year":"2021","unstructured":"Shirole M, Kumar R (2021) Concurrency coverage criteria for activity diagrams. IET Softw 15(4):43\u201354","journal-title":"IET Softw"},{"key":"6045_CR24","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/s11334-021-00389-4","volume":"17","author":"M Shirole","year":"2021","unstructured":"Shirole M, Kumar R (2021) Constrained permutation-based test scenario generation from concurrent activity diagrams. Innov Syst Softw Eng 17:345\u2013353","journal-title":"Innov Syst Softw Eng"},{"key":"6045_CR25","doi-asserted-by":"crossref","unstructured":"Sypsas A, Kalles D (2020) Using UML AD for adapting experiments under a virtual laboratory environment. In: Proc of 24th Pan-Hellenic Conference on Informatics. Association for Computing Machinery, New York, pp 27\u201330","DOI":"10.1145\/3437120.3437267"},{"key":"6045_CR26","doi-asserted-by":"crossref","unstructured":"Thanakorncharuwit W, Kamonsantiroj S, Pipanmaekaporn L (2016) Generating test cases from UML activity diagram based on business flow constraints. In: Proc. of the Fifth International Conference on Network, Communication and Computing. pp 155\u2013160","DOI":"10.1145\/3033288.3033311"},{"key":"6045_CR27","doi-asserted-by":"crossref","unstructured":"Tiwari RG, Srivastava AP, Bhardwaj G (2021) Exploiting UML diagrams for test case generation: a review. In: Proc. of the 2nd International Conference on Intelligent Engineering and Management (ICIEM), pp 457\u2013460","DOI":"10.1109\/ICIEM51511.2021.9445383"},{"key":"6045_CR28","unstructured":"Yed. https:\/\/www.yworks.com\/products\/yed. Accessed on 2022\/9\/2"},{"key":"6045_CR29","doi-asserted-by":"crossref","unstructured":"Yimman S, Kamonsantiroj S, Pipanmaekaporn L (2017) Concurrent test case generation from UML activity diagram based on dynamic programming. In: Proc. of the 6th international conference on software and computer applications. pp 33\u201338","DOI":"10.1145\/3056662.3056699"}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-023-06045-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10836-023-06045-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-023-06045-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,26]],"date-time":"2023-04-26T04:05:28Z","timestamp":1682481928000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10836-023-06045-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,2]]}},"alternative-id":["6045"],"URL":"https:\/\/doi.org\/10.1007\/s10836-023-06045-y","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"type":"print","value":"0923-8174"},{"type":"electronic","value":"1573-0727"}],"subject":[],"published":{"date-parts":[[2023,2]]},"assertion":[{"value":"29 September 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 January 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 February 2023","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 conflicts of interest to declare relevant to this article\u2019s content.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of Interest\/Competing Interest"}}]}}