{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,22]],"date-time":"2024-02-22T18:06:13Z","timestamp":1708625173889},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,2,3]],"date-time":"2016-02-03T00:00:00Z","timestamp":1454457600000},"content-version":"tdm","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":[[2017,6]]},"DOI":"10.1007\/s13198-016-0419-1","type":"journal-article","created":{"date-parts":[[2016,2,3]],"date-time":"2016-02-03T08:13:13Z","timestamp":1454487193000},"page":"242-252","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Generating and evaluating effectiveness of test sequences using state machine"],"prefix":"10.1007","volume":"8","author":[{"given":"Vikas","family":"Panthi","sequence":"first","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":[[2016,2,3]]},"reference":[{"key":"419_CR1","first-page":"383","volume-title":"3rd International conference on the unified modeling language: advancing the standard","author":"A Abdurazik","year":"2000","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-Verlag, Berlin, pp 383\u2013395"},{"key":"419_CR2","doi-asserted-by":"crossref","unstructured":"Ammar HH, Yacoub SM, Ibrahim A (2001) A fault model for fault injection analysis of dynamic UML specifications. In: 12th IEEE international symposium on software reliability engineering, pp 383\u2013395","DOI":"10.1109\/ISSRE.2001.989460"},{"issue":"4","key":"419_CR3","first-page":"1","volume":"24","author":"AK Bernhard","year":"2014","unstructured":"Bernhard AK, Brandl H, Elisabeth J, Willibald K, Rupert S, Stefan T (2014) Killing strategies for model-based mutation testing. Softw Test Verif Reliab 24(4):1\u201332","journal-title":"Softw Test Verif Reliab"},{"key":"419_CR4","doi-asserted-by":"crossref","unstructured":"Chen M, Mishra P, Kalita D (2008) Coverage-driven automatic test generation for UML activity diagrams. In: 18th ACM great lakes symposium on VLSI, ACM, pp 139\u2013142","DOI":"10.1145\/1366110.1366145"},{"issue":"2","key":"419_CR5","doi-asserted-by":"crossref","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 Softw Eng Trans"},{"issue":"3","key":"419_CR6","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1007\/s10270-003-0026-x","volume":"2","author":"S Flake","year":"2003","unstructured":"Flake S, Muller W (2003) Formal semantics of static and temporal state-oriented OCL constraints. Softw Syst Model 2(3):164\u2013186","journal-title":"Softw Syst Model"},{"key":"419_CR7","volume-title":"Component-based software testing with UML","author":"GH Gerhard","year":"2005","unstructured":"Gerhard GH (2005) Component-based software testing with UML. Springer, Berlin"},{"key":"419_CR8","doi-asserted-by":"crossref","unstructured":"Gnesi S, Latella D, Massink M (2004) Formal test-case generation for UML statecharts. In: 9th IEEE international conference on engineering complex computer systems, pp 75\u201384","DOI":"10.1109\/ICECCS.2004.1310906"},{"issue":"2","key":"419_CR9","doi-asserted-by":"crossref","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 Transfer 10(2):145\u2013160","journal-title":"Int J Softw Tools Technol Transfer"},{"key":"419_CR10","volume-title":"Software testing: a Craftsman\u2019s approach","author":"PC Jorgensen","year":"2008","unstructured":"Jorgensen PC (2008) Software testing: a Craftsman\u2019s approach. Auerbach Publication, Boca Raton"},{"key":"419_CR11","doi-asserted-by":"crossref","unstructured":"Kalaji A, Hierons RM, Swift S (2009) A search-based approach for automatic test generation from extended finite state machine (EFSM). In: IEEE testing: academic and industrial conference-practice and research techniques, pp 131\u2013132","DOI":"10.1109\/TAICPART.2009.19"},{"issue":"4","key":"419_CR12","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1002\/stvr.238","volume":"11","author":"SW Kim","year":"2001","unstructured":"Kim SW, Clark J, McDermid JA (2001) Investigating the effectiveness of object-oriented testing strategies using the mutation method. Softw Test Verifi Reliab 11(4):207\u2013225","journal-title":"Softw Test Verifi Reliab"},{"key":"419_CR13","doi-asserted-by":"crossref","unstructured":"Kim H, Kang S, Baik J, Ko I (2007) Test cases generation from UML activity diagrams. In: 8th IEEE ACIS international conference on software engineering, artificial intelligence, networking, and parallel\/distributed computing, pp 556\u2013561","DOI":"10.1109\/SNPD.2007.189"},{"key":"419_CR14","doi-asserted-by":"crossref","unstructured":"Latella D, Massink M (2001) A formal testing framework for UML statechart diagrams behaviours from theory to automatic verification. In: 6th IEEE international symposium on high assurance systems engineering, pp 11\u201322","DOI":"10.1109\/HASE.2001.966803"},{"issue":"1","key":"419_CR15","doi-asserted-by":"crossref","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"},{"issue":"2","key":"419_CR16","first-page":"1","volume":"49","author":"SBA Punuganti","year":"2007","unstructured":"Punuganti SBA, Pattanaik PK, Prasad S, Mall R (2007) Model-based mutation testing of object-oriented programs. IT Bus Intell 49(2):1\u20139","journal-title":"IT Bus Intell"},{"issue":"10","key":"419_CR17","doi-asserted-by":"crossref","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":"4","key":"419_CR18","doi-asserted-by":"crossref","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":"419_CR19","first-page":"74","volume":"20","author":"PR Srivastava","year":"2003","unstructured":"Srivastava PR (2003) Putting your best tests forward. Softw Eng Best Practi IEEE 20(5):74\u201377","journal-title":"Softw Eng Best Pr IEEE"},{"issue":"3","key":"419_CR20","first-page":"178","volume":"4","author":"PR Srivastava","year":"2008","unstructured":"Srivastava PR (2008) Test case prioritization. J Theor Appl Inf Technol 4(3):178\u2013181","journal-title":"J Theor Appl Inf Technol"},{"issue":"5","key":"419_CR21","doi-asserted-by":"crossref","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":"419_CR22","unstructured":"Usman F Peng LC (2008) Mutation analysis for the evaluation of AD models. In: international conference on computational intelligence for modelling control & automation, IEEE computer society, pp 296\u2013301"}],"container-title":["International Journal of System Assurance Engineering and Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13198-016-0419-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13198-016-0419-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13198-016-0419-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13198-016-0419-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T14:48:50Z","timestamp":1559486930000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13198-016-0419-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2,3]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,6]]}},"alternative-id":["419"],"URL":"https:\/\/doi.org\/10.1007\/s13198-016-0419-1","relation":{},"ISSN":["0975-6809","0976-4348"],"issn-type":[{"value":"0975-6809","type":"print"},{"value":"0976-4348","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,2,3]]}}}