{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T11:14:04Z","timestamp":1775042044882,"version":"3.50.1"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2022,1,4]],"date-time":"2022-01-04T00:00:00Z","timestamp":1641254400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,4]],"date-time":"2022-01-04T00:00:00Z","timestamp":1641254400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001427","name":"all india council for technical education","doi-asserted-by":"publisher","award":["1-5727963020"],"award-info":[{"award-number":["1-5727963020"]}],"id":[{"id":"10.13039\/501100001427","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Syst Assur Eng Manag"],"published-print":{"date-parts":[[2022,8]]},"DOI":"10.1007\/s13198-021-01551-8","type":"journal-article","created":{"date-parts":[[2022,1,4]],"date-time":"2022-01-04T09:03:51Z","timestamp":1641287031000},"page":"1801-1816","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Software validation based on prioritization using concurrent activity diagram"],"prefix":"10.1007","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9674-5917","authenticated-orcid":false,"given":"Vikas","family":"Panthi","sequence":"first","affiliation":[]},{"given":"Aprna","family":"Tripathi","sequence":"additional","affiliation":[]},{"given":"Durga Prasad","family":"Mohapatra","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,1,4]]},"reference":[{"key":"1551_CR1","doi-asserted-by":"crossref","unstructured":"Abdurazik A, Offutt J (2000) Using uml collaboration diagrams for static checking and test generation. In: 3rd International conference on the unified modeling language: advancing the standard. Springer, pp 383\u2013395","DOI":"10.1007\/3-540-40011-7_28"},{"issue":"11","key":"1551_CR2","doi-asserted-by":"publisher","first-page":"1087","DOI":"10.1016\/j.infsof.2006.11.002","volume":"49","author":"S Ali","year":"2007","unstructured":"Ali S, Briand LC, Rehman MJ, Asghar H, Iqbal MZ, Nadeem A (2007) A state-based approach to integration testing based on uml models. Inf Softw Technol 49(11):1087\u20131106","journal-title":"Inf Softw Technol"},{"key":"1551_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163","volume-title":"Introduction to software testing","author":"P Ammann","year":"2008","unstructured":"Ammann P, Offutt J (2008) Introduction to software testing. Cambridge University Press, Cambridge"},{"issue":"2","key":"1551_CR4","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s10515-007-0008-2","volume":"14","author":"AB Can","year":"2007","unstructured":"Can AB, Bultan T, Lindvall M, Lux B, Topp S (2007) Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers. Autom Softw Eng 14(2):129\u2013178","journal-title":"Autom Softw Eng"},{"key":"1551_CR5","doi-asserted-by":"crossref","unstructured":"Chen M, Mishra P, Kalita D (2008) Coverage-driven automatic test generation for UML activity diagrams. In: Proceedings of the 18th ACM great lakes symposium on VLSI, pp 139\u2013142","DOI":"10.1145\/1366110.1366145"},{"key":"1551_CR6","doi-asserted-by":"crossref","unstructured":"Dorigo M, St\u00fctzle T (2003) The ant colony optimization metaheuristic: algorithms, applications, and advances. In: Handbook of metaheuristics. Springer, pp 250\u2013285","DOI":"10.1007\/0-306-48056-5_9"},{"issue":"2","key":"1551_CR7","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1109\/32.988497","volume":"28","author":"S Elbaum","year":"2002","unstructured":"Elbaum S, Malishevsky AG, Rothermel G (2002) Test case prioritization: a family of empirical studies. IEEE Trans Softw Eng 28(2):159\u2013182","journal-title":"IEEE Trans Softw Eng"},{"issue":"1","key":"1551_CR8","doi-asserted-by":"publisher","first-page":"271","DOI":"10.2298\/CSIS190430040E","volume":"17","author":"M Elqortobi","year":"2020","unstructured":"Elqortobi M, El-Khouly W, Rahj A, Bentahar J, Dssouli R (2020) Verification and testing of safety-critical airborne systems: a model-based methodology. Comput Sci Inf Syst 17(1):271\u2013292","journal-title":"Comput Sci Inf Syst"},{"key":"1551_CR9","doi-asserted-by":"crossref","unstructured":"Gnesi S, Latella D, Massink M (2004) Formal test-case generation for UML statecharts. In: Ninth IEEE international conference on engineering complex computer systems. IEEE, pp 75\u201384","DOI":"10.1109\/ICECCS.2004.1310906"},{"issue":"2","key":"1551_CR10","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s10009-007-0059-5","volume":"10","author":"A Gupta","year":"2008","unstructured":"Gupta A, Jalote P (2008) An approach for experimentally evaluating effectiveness and efficiency of coverage criteria for software testing. Int J Softw Tools Technol Transf 10(2):145\u2013160","journal-title":"Int J Softw Tools Technol Transf"},{"key":"1551_CR11","unstructured":"Huaizhong L, Peng LC (2005) An ant colony optimization approach to test sequence generation for state based software testing. In: Fifth international conference on quality software. IEEE, pp 255\u2013262"},{"issue":"4","key":"1551_CR12","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1049\/iet-sen.2018.5199","volume":"13","author":"R Huang","year":"2018","unstructured":"Huang R, Zong W, Chen TY, Towey D, Zhou Y, Chen J (2018) Prioritising abstract test cases: an empirical study. IET Softw 13(4):313\u2013326","journal-title":"IET Softw"},{"key":"1551_CR13","first-page":"129","volume":"1","author":"S Jayatilleke","year":"2020","unstructured":"Jayatilleke S, Lai R (2020) A method of assessing rework for implementing software requirements changes. Comput Sci Inf Syst 1:129\u2013154","journal-title":"Comput Sci Inf Syst"},{"key":"1551_CR14","doi-asserted-by":"publisher","DOI":"10.1201\/b15980","volume-title":"Software testing: a Craftsmans approach","author":"PC Jorgensen","year":"2018","unstructured":"Jorgensen PC (2018) Software testing: a Craftsmans approach. CRC Press, Boca Raton"},{"issue":"12","key":"1551_CR15","doi-asserted-by":"publisher","first-page":"1297","DOI":"10.1016\/j.infsof.2011.06.004","volume":"53","author":"AS Kalaji","year":"2011","unstructured":"Kalaji AS, Hierons RM, Swift S (2011) An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models. Inf Softw Technol 53(12):1297\u20131318","journal-title":"Inf Softw Technol"},{"key":"1551_CR16","doi-asserted-by":"crossref","unstructured":"Kansomkeat S, Thiket P, Offutt J (2010) Generating test cases from uml activity diagrams using the condition-classification tree method. In: 2010 2nd International conference on software technology and engineering, vol\u00a01. IEEE, pp V1\u201362","DOI":"10.1109\/ICSTE.2010.5608913"},{"key":"1551_CR17","doi-asserted-by":"crossref","unstructured":"Kim H, Kang S, Baik J, Ko I (2007) Test cases generation from uml activity diagrams. In: Eighth ACIS international conference on software engineering, artificial intelligence, networking, and parallel\/distributed computing (SNPD 2007), vol\u00a03. IEEE, pp 556\u2013561","DOI":"10.1109\/SNPD.2007.189"},{"issue":"4","key":"1551_CR18","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1049\/ip-sen:19990602","volume":"146","author":"YG Kim","year":"1999","unstructured":"Kim YG, Hong HS, Bae D-H, Cha SD (1999) Test cases generation from uml state diagrams. IEE Proc Softw 146(4):187\u2013192","journal-title":"IEE Proc Softw"},{"issue":"3","key":"1551_CR19","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":"1551_CR20","doi-asserted-by":"crossref","unstructured":"Kundu D, Samanta D, Mall R (2012) An approach to convert xmi representation of uml 2. x interaction diagram into control flow graph. Int Scholar Res Not","DOI":"10.5402\/2012\/265235"},{"issue":"1","key":"1551_CR21","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/s10515-011-0093-0","volume":"19","author":"Y Ledru","year":"2012","unstructured":"Ledru Y, Petrenko A, Boroday S, Mandran N (2012) Prioritizing test cases with string distances. Autom Softw Eng 19(1):65\u201395","journal-title":"Autom Softw Eng"},{"key":"1551_CR22","doi-asserted-by":"crossref","unstructured":"Li K, Zhang Z, Liu W (2009) Automatic test data generation based on ant colony optimization. In: 5th International conference on natural computation. IEEE, pp 216\u2013220","DOI":"10.1109\/ICNC.2009.239"},{"key":"1551_CR23","doi-asserted-by":"crossref","unstructured":"Linzhang W, Jiesong Y, Xiaofeng Y, Jun H, Xuandong L, Guoliang Z (2004) Generating test cases from uml activity diagram based on gray-box method. In: 11th Asia-Pacific software engineering conference. IEEE, pp 284\u2013291","DOI":"10.1109\/APSEC.2004.55"},{"issue":"5","key":"1551_CR24","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1049\/iet-sen.2009.0079","volume":"4","author":"DJ Mala","year":"2010","unstructured":"Mala DJ, Mohan V, Kamalapriya M (2010) Automated software test optimisation framework-an artificial bee colony optimisation-based approach. IET Softw 4(5):334\u2013348","journal-title":"IET Softw"},{"issue":"1","key":"1551_CR25","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/s10270-009-0133-4","volume":"10","author":"A Nayak","year":"2011","unstructured":"Nayak A, Samanta D (2011) Synthesis of test scenarios using umlactivity diagrams. Softw Syst Model 10(1):63\u201389","journal-title":"Softw Syst Model"},{"issue":"1","key":"1551_CR26","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/s13198-011-0056-7","volume":"2","author":"AK Pandey","year":"2011","unstructured":"Pandey AK, Shrivastava V (2011) Early fault detection model using integrated and cost-effective test case prioritization. Int J Syst Assur Eng Manag 2(1):41\u201347","journal-title":"Int J Syst Assur Eng Manag"},{"key":"1551_CR27","doi-asserted-by":"crossref","unstructured":"Panthi V, Mohapatra DP (2016) Generating and evaluating effectiveness of test sequences using state machine. Int J Syst Assur Eng Manag 1\u201311","DOI":"10.1007\/s13198-016-0419-1"},{"key":"1551_CR28","doi-asserted-by":"crossref","unstructured":"Pasala A, Lew YLH, Fung Y, Akladios F, Appala RG, Gorthi RP (2008) Selection of regression test suite to validate software applications upon deployment of upgrades. In: Australian software engineering conference. IEEE Computer Society, pp 130\u2013138","DOI":"10.1109\/ASWEC.2008.4483201"},{"issue":"9","key":"1551_CR29","first-page":"95","volume":"8","author":"C Ping","year":"2015","unstructured":"Ping C, Min X (2015) Software testing case generation of ant colony optimization based on quantum dynamic self-adaptation. Int J Hybrid Inf Technol 8(9):95\u2013104","journal-title":"Int J Hybrid Inf Technol"},{"issue":"10","key":"1551_CR30","doi-asserted-by":"publisher","first-page":"929","DOI":"10.1109\/32.962562","volume":"27","author":"G Rothermel","year":"2001","unstructured":"Rothermel G, Untch RH, Chu C, Harrold MJ (2001) Prioritizing test cases for regression testing. IEEE Trans Softw Eng 27(10):929\u2013948","journal-title":"IEEE Trans Softw Eng"},{"issue":"2","key":"1551_CR31","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1016\/j.infsof.2006.04.001","volume":"49","author":"P Samuel","year":"2007","unstructured":"Samuel P, Mall R, Kanth P (2007) Automatic test case generation from uml communication diagrams. Inf Softw Technol 49(2):158\u2013171","journal-title":"Inf Softw Technol"},{"key":"1551_CR32","doi-asserted-by":"crossref","unstructured":"S\u00e1nchez AB, Segura S, Ruiz-Cort\u00e9s A (2014) A comparison of test case prioritization criteria for software product lines. In: 2014 IEEE seventh international conference on software testing, verification and validation. IEEE, pp 41\u201350","DOI":"10.1109\/ICST.2014.15"},{"issue":"4","key":"1551_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2492248.2492274","volume":"38","author":"M Shirole","year":"2013","unstructured":"Shirole M, Kumar R (2013) Uml behavioral model based test case generation: a survey. ACM SIGSOFT Softw Eng Notes 38(4):1\u201313","journal-title":"ACM SIGSOFT Softw Eng Notes"},{"issue":"5","key":"1551_CR34","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1049\/iet-sen.2018.5043","volume":"13","author":"R Singh","year":"2019","unstructured":"Singh R, Bhatia R, Singhrova A (2019) Demand based test case generation for object oriented system. IET Softw 13(5):403\u2013413","journal-title":"IET Softw"},{"key":"1551_CR35","doi-asserted-by":"crossref","unstructured":"Srivastava P, Baby KM, Raghurama G (2009) An approach of optimal path generation using ant colony optimization. In: TENCON 2009\u20132009 IEEE region 10 conference. IEEE, pp 1\u20136","DOI":"10.1109\/TENCON.2009.5396088"},{"issue":"5","key":"1551_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.5381\/jot.2010.9.5.a1","volume":"9","author":"SK Swain","year":"2010","unstructured":"Swain SK, Mohapatra DP, Mall R (2010) Test case generation based on state and activity models. J Object Technol 9(5):1\u201327","journal-title":"J Object Technol"},{"key":"1551_CR37","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. Morgan Kaufmann, Burlington"},{"issue":"9","key":"1551_CR38","first-page":"1","volume":"8","author":"S Yang","year":"2014","unstructured":"Yang S, Tianlong M, Xu J (2014) Improved ant algorithms for software testing cases generation. Sci World J 8(9):1\u20139","journal-title":"Sci World J"},{"key":"1551_CR39","doi-asserted-by":"crossref","unstructured":"Zander-Nowicka J (2009) Model-based testing of real-time embedded systems in the automotive domain. Doctoral thesis","DOI":"10.4018\/978-1-60566-750-8.ch015"}],"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-021-01551-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s13198-021-01551-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13198-021-01551-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,26]],"date-time":"2022-07-26T14:32:18Z","timestamp":1658845938000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s13198-021-01551-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1,4]]},"references-count":39,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2022,8]]}},"alternative-id":["1551"],"URL":"https:\/\/doi.org\/10.1007\/s13198-021-01551-8","relation":{},"ISSN":["0975-6809","0976-4348"],"issn-type":[{"value":"0975-6809","type":"print"},{"value":"0976-4348","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,1,4]]},"assertion":[{"value":"9 July 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 October 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 November 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 January 2022","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"This article does not contain any studies involving animals performed by any of the authors.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Research involving human participants and animals"}},{"value":"Informed consent was obtained from all individual participants included in the study","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Informed consent"}}]}}