{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T14:09:56Z","timestamp":1766066996946,"version":"3.37.3"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T00:00:00Z","timestamp":1560816000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T00:00:00Z","timestamp":1560816000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Syst Assur Eng Manag"],"published-print":{"date-parts":[[2019,8]]},"DOI":"10.1007\/s13198-019-00815-8","type":"journal-article","created":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T13:02:30Z","timestamp":1560862950000},"page":"811-823","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Validating object-oriented software at design phase by achieving MC\/DC"],"prefix":"10.1007","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5226-2657","authenticated-orcid":false,"given":"Swadhin Kumar","family":"Barisal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suvam Suvabrata","family":"Behera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sangharatna","family":"Godboley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Durga Prasad","family":"Mohapatra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,6,18]]},"reference":[{"key":"815_CR1","doi-asserted-by":"crossref","unstructured":"Awedikian Z, Ayari K, Antoniol G (2009) Mc\/dc automatic test input data generation. In: Proceedings of the 11th annual conference on genetic and evolutionary computation. ACM, pp 1657\u20131664","DOI":"10.1145\/1569901.1570123"},{"key":"815_CR2","doi-asserted-by":"crossref","unstructured":"Bhuiyan M, Islam MZ, Koliadis G, Krishna A, Chose A (2008) Supporting uml activity diagrams using organizational models. In: Challenges in information technology management. World Scientific, pp 182\u2013188","DOI":"10.1142\/9789812819079_0027"},{"key":"815_CR3","unstructured":"Chen M, Qiu X, Li X (2006) Automatic test case generation for UML activity diagrams. In: Proceedings of the 2006 international workshop on automation of software test. ACM, pp 2\u20138"},{"key":"815_CR4","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1049\/sej.1994.0025","volume":"9","author":"JJ Chilenski","year":"1994","unstructured":"Chilenski JJ, Miller SP (1994) Applicability of modified condition decision coverage to software testing. Softw Eng J 9:193\u2013200","journal-title":"Softw Eng J"},{"issue":"4","key":"815_CR5","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/s10270-012-0260-1","volume":"11","author":"T Clark","year":"2012","unstructured":"Clark T, Muller P-A (2012) Exploiting model driven technology: a tale of two startups. Softw Syst Model 11(4):481\u2013493","journal-title":"Softw Syst Model"},{"issue":"1","key":"815_CR6","first-page":"1","volume":"2","author":"A Das","year":"2013","unstructured":"Das A, Mall R (2013) Automatic generation of MC\/DC test data. Int J Softw Eng 2(1):1\u20138","journal-title":"Int J Softw Eng"},{"key":"815_CR7","doi-asserted-by":"crossref","unstructured":"Godboley S, Dutta A, Das A, Mohapatra DP (2016) Measuring MC\/DC at design phase using UML sequence diagram and concolic testing. In: India conference (INDICON). IEEE Annual Conference, pp 1\u20136","DOI":"10.1109\/INDICON.2016.7839079"},{"key":"815_CR8","doi-asserted-by":"crossref","unstructured":"Godboley S, Dutta A, Mohapatra DP (2016b) Java-HCT: An approach to increase MC\/DC using hybrid concolic testing for Java programs. In: 2016 federated conference on computer science and information systems (FedCSIS). IEEE, pp 1709\u20131713","DOI":"10.15439\/2016F289"},{"issue":"2","key":"815_CR9","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1007\/s13369-016-2284-2","volume":"42","author":"S Godboley","year":"2017","unstructured":"Godboley S, Panda S, Dutta A, Mohapatra DP (2017) An automated analysis of the branch coverage and energy consumption using concolic testing. Arab J Sci Eng 42(2):619\u2013637","journal-title":"Arab J Sci Eng"},{"key":"815_CR10","first-page":"1","volume":"50","author":"S Godboley","year":"2016","unstructured":"Godboley S, Dutta A, Mohapatra DP, Mall R (2016) J3 model: a novel framework for improved modified condition\/decision coverage analysis. Int J Appl Inf Syst (IJAIS) 50:1\u201317","journal-title":"Int J Appl Inf Syst (IJAIS)"},{"key":"815_CR11","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.csi.2018.02.005","volume":"59","author":"S Godboley","year":"2018","unstructured":"Godboley S, Dutta A, Mohapatra DP, Mall R (2018) Scaling modified condition\/decision coverage using distributed concolic testing for Java programs. Comput Standards Interfaces 59:61\u201386","journal-title":"Comput Standards Interfaces"},{"key":"815_CR12","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.csi.2018.02.005","volume":"59","author":"S Godboley","year":"2018","unstructured":"Godboley S, Dutta A, Mohapatra DP, Mall R (2018) Scaling modified condition\/decision coverage using distributed concolic testing for Java programs. Comput Standards Interfaces 59:61\u201386","journal-title":"Comput Standards Interfaces"},{"key":"815_CR13","unstructured":"Hayhurst, Kelly J, Veerhusen, Dan S, Chilenski, John J, Rierson, Leanna K (2001) A practical tutorial on modified condition\/decision coverage. ACM Digital Library, NASA Langley Technical report server, pp 1\u201385"},{"key":"815_CR14","doi-asserted-by":"crossref","unstructured":"Javed AZ, Strooper PA, Watson GN (2007) Automated generation of test cases using model-driven architecture. In: Proceedings of the second international workshop on automation of software test. IEEE Computer Society, pp 3\u20133","DOI":"10.1109\/AST.2007.2"},{"issue":"8","key":"815_CR15","first-page":"5","volume":"6","author":"Sk Swain","year":"2010","unstructured":"Swain Sk, Mohapatra DP (2010) Test case generation from behavioral uml models. Int J Comput Appl 6(8):5\u201311","journal-title":"Int J Comput Appl"},{"issue":"6","key":"815_CR16","first-page":"12","volume":"3","author":"ME Khan","year":"2012","unstructured":"Khan ME, Khan F (2012) A comparative study of white box, black box and grey box testing techniques. Int J Adv Comput Sci Appl 3(6):12\u201315","journal-title":"Int J Adv Comput Sci Appl"},{"key":"815_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9790-6_29","volume-title":"Extending UML with non-functional requirements modelling","author":"A Krishna","year":"2011","unstructured":"Krishna A, Gregoriades A (2011) Extending UML with non-functional requirements modelling. Springer, New York"},{"key":"815_CR18","volume-title":"Fundamental of software engineering","author":"R Mall","year":"2009","unstructured":"Mall R (2009) Fundamental of software engineering. PHI Learning Private Limited, New Delhi"},{"issue":"4","key":"815_CR19","first-page":"860","volume":"12","author":"P Mani","year":"2017","unstructured":"Mani P, Prasanna M (2017) Test case generation for embedded system software using UML interaction diagram. J Eng Sci Technol 12(4):860\u2013874","journal-title":"J Eng Sci Technol"},{"key":"815_CR20","doi-asserted-by":"publisher","DOI":"10.1002\/9780470382844","volume-title":"Software testing and quality assurance: theory and practice","author":"K Naik","year":"2008","unstructured":"Naik K, Tripathy P (2008) Software testing and quality assurance: theory and practice, 1st edn. Wiley Online Library, University of Waterloo, Waterloo, Canada","edition":"1"},{"issue":"2","key":"815_CR21","doi-asserted-by":"publisher","first-page":"75","DOI":"10.5381\/jot.2010.9.2.a2","volume":"9","author":"A Nayak","year":"2010","unstructured":"Nayak A, Samanta D (2010) Automatic test data synthesis using UML sequence diagrams. J Object Technol 9(2):75\u2013104","journal-title":"J Object Technol"},{"key":"815_CR22","first-page":"627","volume":"2","author":"V Panthi","year":"2014","unstructured":"Panthi V, Mohapatra DP (2014) Generating prioritized test sequences using firefly optimization technique. Computat Intell Data Min 2:627\u2013635","journal-title":"Computat Intell Data Min"},{"key":"815_CR23","doi-asserted-by":"crossref","first-page":"466","DOI":"10.22201\/icat.16656423.2018.16.6.745","volume":"16","author":"V Panthi","year":"2018","unstructured":"Panthi V, Mohapatra DP (2018) Generation and prioritization of test scenarios for object-oriented software using UML state machines. J Appl Res Technol 16:466\u2013483","journal-title":"J Appl Res Technol"},{"key":"815_CR24","doi-asserted-by":"crossref","unstructured":"Parada AG, Siegert E, De\u00a0Brisolara LB (2011) Generating Java code from UML class and sequence diagrams. In: 2011 Brazilian symposium on computing system engineering. IEEE, pp 99\u2013101","DOI":"10.1109\/SBESC.2011.22"},{"issue":"6","key":"815_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S1571-0661(04)81020-X","volume":"82","author":"A Pretschner","year":"2003","unstructured":"Pretschner A (2003) Compositional generation of MC\/DC integration test suites. Electron Notes Theor Comput Sci 82(6):1\u201310","journal-title":"Electron Notes Theor Comput Sci"},{"key":"815_CR26","first-page":"91","volume":"3","author":"S Rayadurgam","year":"2003","unstructured":"Rayadurgam S, Heimdahl MPE (2003) Generating MC\/DC adequate test sequences through model checking. SEW 3:91\u201396","journal-title":"SEW"},{"issue":"4","key":"815_CR27","first-page":"8","volume":"115","author":"W Rhmann","year":"2015","unstructured":"Rhmann W, Zaidi T, Saxena V (2015) Use of genetic approach for test case prioritization from UML activity diagram. Int J Comput Appl 115(4):8\u201312","journal-title":"Int J Comput Appl"},{"key":"815_CR28","doi-asserted-by":"crossref","unstructured":"Sarma M, Mall R (2007) Automatic test case generation from UML models, pp 196\u2013201","DOI":"10.1109\/ICIT.2007.26"},{"key":"815_CR29","first-page":"20","volume":"1","author":"P Sawprakhon","year":"2014","unstructured":"Sawprakhon P, Limpiyakorn Y (2014) Sequence diagram generation with model transformation technology. Proc Int MultiConf Eng Comput Sci 1:20\u201330","journal-title":"Proc Int MultiConf Eng Comput Sci"},{"key":"815_CR30","doi-asserted-by":"crossref","unstructured":"Sen K, Agha G (2006a) Cute and jCUTE: Concolic unit testing and explicit path model-checking tools. In: International conference on computer aided verification. Springer, pp 419\u2013423","DOI":"10.1007\/11817963_38"},{"key":"815_CR31","doi-asserted-by":"crossref","unstructured":"Sen K, Agha G (2006b) A race-detection and flipping algorithm for automated testing of multi-threaded programs. In: Haifa verification conference, volume 4383 of Lecture Notes in Computer Science, pp 166\u2013182","DOI":"10.1007\/978-3-540-70889-6_13"},{"key":"815_CR32","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1145\/1095430.1081750","volume":"30","author":"K Sen","year":"2005","unstructured":"Sen K, Marinov D, Agha G (2005) Cute: a Concolic unit testing engine for C. ACM SIGSOFT Soft Eng Notes 30:263\u2013272","journal-title":"ACM SIGSOFT Soft Eng Notes"},{"issue":"12","key":"815_CR33","doi-asserted-by":"publisher","first-page":"8223","DOI":"10.1007\/s13369-018-3375-z","volume":"43","author":"M Shameem","year":"2018","unstructured":"Shameem M, Chandra B, Kumar C, Khan AA (2018) Understanding the relationships between requirements uncertainty and nature of conflicts: a study of software development team effectiveness. Arab J Sci Eng 43(12):8223\u20138238","journal-title":"Arab J Sci Eng"},{"key":"815_CR34","unstructured":"Stephan W, Sokenou D (2008) Automatic test case generation from UML models and ocl expressions. In: Software engineering (workshops). Citeseer, pp 423\u2013426"},{"issue":"2","key":"815_CR35","first-page":"21","volume":"3","author":"SK Swain","year":"2010","unstructured":"Swain SK, Mohapatra DP, Mall R (2010) Test case generation based on use case and sequence diagram. Int J Softw Eng 3(2):21\u201352","journal-title":"Int J Softw Eng"},{"issue":"12","key":"815_CR36","first-page":"4","volume":"2","author":"T Vadakkumcheril","year":"2013","unstructured":"Vadakkumcheril T, Mythily M, Valarmathi M (2013) A simple implementation of uml sequence diagram to Java code generation through XMI representation. Int J Emerg Technol Adv Eng 2(12):4\u20138","journal-title":"Int J Emerg Technol Adv Eng"},{"issue":"1","key":"815_CR37","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/s00165-005-0084-7","volume":"18","author":"Sergiy A Vilkomir","year":"2006","unstructured":"Vilkomir Sergiy A, Bowen Jonathan P (2006) From MC\/DC to RC\/DC: formalization and analysis of control-flow testing criteria. Form Aspects Comput 18(1):42\u201362","journal-title":"Form Aspects Comput"},{"key":"815_CR38","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1016\/j.jss.2005.05.030","volume":"79","author":"Tak Y Yu","year":"2006","unstructured":"Yu Tak Y, Lau Fai M (2006) A comparison of MC\/DC, MUMCUT and several other coverage criteria for logical decisions. J Syst Softw 79:577\u2013590","journal-title":"J Syst Softw"}],"container-title":["International Journal of System Assurance Engineering and Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13198-019-00815-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13198-019-00815-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13198-019-00815-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,16]],"date-time":"2020-06-16T23:29:27Z","timestamp":1592350167000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13198-019-00815-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,18]]},"references-count":38,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,8]]}},"alternative-id":["815"],"URL":"https:\/\/doi.org\/10.1007\/s13198-019-00815-8","relation":{},"ISSN":["0975-6809","0976-4348"],"issn-type":[{"type":"print","value":"0975-6809"},{"type":"electronic","value":"0976-4348"}],"subject":[],"published":{"date-parts":[[2019,6,18]]},"assertion":[{"value":"21 July 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 March 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 June 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}