{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T04:12:39Z","timestamp":1751688759592,"version":"3.41.0"},"publisher-location":"Cham","reference-count":48,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319929965"},{"type":"electronic","value":"9783319929972"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-92997-2_13","type":"book-chapter","created":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T12:13:16Z","timestamp":1527509596000},"page":"199-215","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Life Sciences-Inspired Test Case Similarity Measures for Search-Based, FSM-Based Software Testing"],"prefix":"10.1007","author":[{"given":"Nesa","family":"Asoudeh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8880-4836","authenticated-orcid":false,"given":"Yvan","family":"Labiche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,29]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Andrews, J.H., Briand, L.C., Labiche, Y.: Is mutation an appropriate tool for testing experiments? In: Proceedings of the IEEE ICSE, pp. 402\u2013411 (2005)","DOI":"10.1145\/1062455.1062530"},{"issue":"8","key":"13_CR2","first-page":"608","volume":"32","author":"JH Andrews","year":"2006","unstructured":"Andrews, J.H., Briand, L.C., Labiche, Y., Namin, A.S.: Using mutation analysis for assessing and comparing testing coverage criteria. IEEE TSE 32(8), 608\u2013624 (2006)","journal-title":"IEEE TSE"},{"key":"13_CR3","unstructured":"Asoudeh, N.: Test generation from an extended finite state machine as a multiobjective optimization problem, thesis, Carleton University (2016)"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-642-39742-4_26","volume-title":"Search Based Software Engineering","author":"N Asoudeh","year":"2013","unstructured":"Asoudeh, N., Labiche, Y.: A multi-objective genetic algorithm for generating test suites from extended finite state machines. In: Ruhe, G., Zhang, Y. (eds.) SSBSE 2013. LNCS, vol. 8084, pp. 288\u2013293. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39742-4_26"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Asoudeh, N., Labiche, Y.: Multi-objective construction of an entire adequate test suite for an EFSM. In: Proceedings of the IEEE ISSRE (2014)","DOI":"10.1109\/ISSRE.2014.14"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Asoudeh, N., Labiche, Y.: On the effect of counters in guard conditions when state-based multi-objective testing. In: Proceedings of the IEEE Software Quality, Reliability and Security-Companion (2015)","DOI":"10.1109\/QRS-C.2015.26"},{"key":"13_CR7","volume-title":"Software Testing Techniques","author":"B Beizer","year":"1990","unstructured":"Beizer, B.: Software Testing Techniques. International Thomson Computer Press, New York (1990)"},{"key":"13_CR8","volume-title":"Algorithms","author":"R Bellman","year":"1970","unstructured":"Bellman, R., Cooke, K.L., Lockett, J.A.: Algorithms. Academic Press, New York (1970)"},{"key":"13_CR9","volume-title":"Testing Object-Oriented Systems: Models, Patterns, and Tools`, Object Technology","author":"RV Binder","year":"1999","unstructured":"Binder, R.V.: Testing Object-Oriented Systems: Models, Patterns, and Tools`, Object Technology. Addison-Wesley, Boston (1999)"},{"issue":"11","key":"13_CR10","first-page":"770","volume":"30","author":"LC Briand","year":"2004","unstructured":"Briand, L.C., Di Penta, M., Labiche, Y.: Assessing and improving state-based class testing: a series of experiments. IEEE TSE 30(11), 770\u2013793 (2004)","journal-title":"IEEE TSE"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Briand, L.C., Labiche, Y., Wang, Y.: Using simulation to empirically investigate test coverage criteria. In: Proceedings of the IEEE\/ACM ICSE, pp. 86\u201395 (2004)","DOI":"10.1109\/ICSE.2004.1317431"},{"key":"13_CR12","volume-title":"Object-Oriented Software Engineering Using UML, Patterns, and Java","author":"B Bruegge","year":"2004","unstructured":"Bruegge, B., Dutoit, A.H.: Object-Oriented Software Engineering Using UML, Patterns, and Java. Prentice Hall, Upper Saddle River (2004)"},{"key":"13_CR13","unstructured":"Chevalley, P., Th\u00e9venod-Fosse, P.: Automated generation of statistical test cases from UML state diagrams. In: Proceedings of the COMPSAC (2001)"},{"key":"13_CR14","volume-title":"Statistical Power Analysis for the Behavioral Sciences","author":"J Cohen","year":"1988","unstructured":"Cohen, J.: Statistical Power Analysis for the Behavioral Sciences. Routledge, Abingdon (1988)"},{"key":"13_CR15","volume-title":"Probability and Statistics for Engineering and the Sciences","author":"JL Devore","year":"1999","unstructured":"Devore, J.L.: Probability and Statistics for Engineering and the Sciences, 5th edn. Duxbury Press, Scituate (1999)","edition":"5"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Feldt, R., Poulding, S., Clark, D., Yoo, S.: Test set diameter: quantifying the diversity of sets of test cases. In: Proceedings of the IEEE ICST (2016)","DOI":"10.1109\/ICST.2016.33"},{"key":"13_CR17","volume-title":"Designing Concurrent, Distributed, and Real-Time Applications with UML","author":"H Gomaa","year":"2000","unstructured":"Gomaa, H.: Designing Concurrent, Distributed, and Real-Time Applications with UML. Addison Wesley, Boston (2000)"},{"key":"13_CR18","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511574931","volume-title":"Algorithms on Strings, Trees and Sequences: Computer Science and Computational Biology","author":"D Gusfield","year":"1997","unstructured":"Gusfield, D.: Algorithms on Strings, Trees and Sequences: Computer Science and Computational Biology. Cambridge University Press, Cambridge (1997)"},{"issue":"9","key":"13_CR19","first-page":"2225","volume":"86","author":"M Harman","year":"2013","unstructured":"Harman, M., Lakhotia, K., Singer, J., White, D.R., Yoo, S.: Cloud engineering is search based software engineering too. JSS 86(9), 2225\u20132241 (2013)","journal-title":"JSS"},{"issue":"1","key":"13_CR20","doi-asserted-by":"publisher","first-page":"6:1","DOI":"10.1145\/2430536.2430540","volume":"22","author":"H Hemmati","year":"2013","unstructured":"Hemmati, H., Arcuri, A., Briand, L.: Achieving scalable model-based testing through test case diversity. ACM TOSEM 22(1), 6:1\u20136:42 (2013)","journal-title":"ACM TOSEM"},{"key":"13_CR21","unstructured":"Holt, N.E., Anda, B.C.D., Asskildt, K., Briand, L., Endresen, J., Fr\u00f8ystein, S.: Experiences with precise state modeling in an industrial safety critical system. In: Proceedings of the Models Workshop on Critical Systems Development Using Modeling Languages (2006)"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Holt, N.E., Torkar, R., Briand, L., Hansen, K.: State-based testing: industrial evaluation of the cost-effectiveness of round-trip path and sneak-path strategies. In: Proceedings of the IEEE ISSRE, pp. 321\u2013330 (2012)","DOI":"10.1109\/ISSRE.2012.17"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Inverardi, P., Autili, M., Di Ruscio, D., Pelliccione, P., Tivoli, M.: Producing software by integration: challenges and research directions. In: Proceedings of the FSE (2013)","DOI":"10.1145\/2491411.2505428"},{"key":"13_CR24","doi-asserted-by":"publisher","DOI":"10.4135\/9781412983327","volume-title":"Analysis of Variance","author":"GR Iversen","year":"1987","unstructured":"Iversen, G.R., Norpoth, H.: Analysis of Variance. Sage publications, Thousand Oaks (1987)"},{"key":"13_CR25","doi-asserted-by":"publisher","first-page":"2427","DOI":"10.1890\/06-1736.1","volume":"88","author":"L Jost","year":"2007","unstructured":"Jost, L.: Partitioning diversity into independent alpha and beta components. Ecology 88, 2427\u20132439 (2007)","journal-title":"Ecology"},{"key":"13_CR26","doi-asserted-by":"publisher","first-page":"4015","DOI":"10.1111\/j.1365-294X.2008.03887.x","volume":"17","author":"L Jost","year":"2008","unstructured":"Jost, L.: GST and its relatives do not measure differentiation. Mol. Ecol. 17, 4015\u20134026 (2008)","journal-title":"Mol. Ecol."},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Just, R., Jalali, D., Inozemtseva, L., Ernst, M.D., Holmes, R., Fraser, G.: Are mutants a valid substitute for real faults in software testing. In: Proceedings of the FSE (2014)","DOI":"10.1145\/2635868.2635929"},{"key":"13_CR28","doi-asserted-by":"crossref","unstructured":"Just, R., Schweiggert, F., Kapfhammer, G.M.: MAJOR: an efficient and extensible tool for mutation analysis in a Java compiler. In: Proceedings of the ASE (2011)","DOI":"10.1109\/ASE.2011.6100138"},{"issue":"12","key":"13_CR29","first-page":"1297","volume":"53","author":"AS Kalaji","year":"2011","unstructured":"Kalaji, A.S., Hierons, R.M., Swift, S.: An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models. IST 53(12), 1297\u20131318 (2011)","journal-title":"IST"},{"key":"13_CR30","doi-asserted-by":"crossref","unstructured":"Khalil, M., Labiche, Y.: On the round trip path testing strategy. In: Proceedings of the IEEE ISSRE, pp. 388\u2013397 (2010)","DOI":"10.1109\/ISSRE.2010.39"},{"key":"13_CR31","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/s10658-013-0323-3","volume":"138","author":"E Kosman","year":"2014","unstructured":"Kosman, E.: Measuring diversity: from individuals to populations. Eur. J. Plant Pathol. 138, 467\u2013486 (2014)","journal-title":"Eur. J. Plant Pathol."},{"key":"13_CR32","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1111\/j.1469-8137.2007.02031.x","volume":"174","author":"E Kosman","year":"2007","unstructured":"Kosman, E., Leonard, K.J.: Conceptual analysis of methods applied to assessment of diversity within and distance between populations with asexual or mixed mode of reproduction. New Phytol. 174, 683\u2013696 (2007)","journal-title":"New Phytol."},{"issue":"8","key":"13_CR33","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines - a survey. Proc. IEEE 84(8), 1090\u20131123 (1996)","journal-title":"Proc. IEEE"},{"key":"13_CR34","unstructured":"Legeard, B.: Model-based testing: next generation functional software testing. In: Dagstuhl Seminar Proceedings of Practical Software Testing: Tool Automation and Human Factors (2010)"},{"key":"13_CR35","doi-asserted-by":"crossref","unstructured":"Mondal, D., Hemmati, H., Durocher, S.: Exploring test suite diversification and code coverage in multi-objective test case selection. In: Proceedings of the IEEE ICST (2015)","DOI":"10.1109\/ICST.2015.7102588"},{"issue":"2","key":"13_CR36","first-page":"161","volume":"37","author":"S Mouchawrab","year":"2011","unstructured":"Mouchawrab, S., Briand, L.C., Labiche, Y., Di Penta, M.: Assessing, comparing, and combining state machine-based testing and structural testing: a series of experiments. IEEE TSE 37(2), 161\u2013187 (2011)","journal-title":"IEEE TSE"},{"key":"13_CR37","doi-asserted-by":"publisher","first-page":"3321","DOI":"10.1073\/pnas.70.12.3321","volume":"70","author":"M Nei","year":"1973","unstructured":"Nei, M.: Analysis of gene diversity in subdivided population. Nat. Acad. Sci. U.S.A. 70, 3321\u20133323 (1973)","journal-title":"Nat. Acad. Sci. U.S.A."},{"key":"13_CR38","doi-asserted-by":"crossref","unstructured":"Neto, A., Travassos, G.H.: Surveying model based testing approaches characterization attributes. In: Proceedings of the ACM\/IEEE ESEM, pp. 324\u2013326 (2008)","DOI":"10.1145\/1414004.1414069"},{"key":"13_CR39","first-page":"36","volume":"81","author":"M Patrick","year":"2017","unstructured":"Patrick, M., Jiab, Y.: KD-ART: should we intensify or diversify tests to kill mutants? IST 81, 36\u201351 (2017)","journal-title":"IST"},{"key":"13_CR40","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1016\/0040-5809(82)90004-1","volume":"21","author":"CR Rao","year":"1982","unstructured":"Rao, C.R.: Diversity and dissimilarity coefficients - a unified approach. Theor. Popul. Biol. 21, 24\u201343 (1982)","journal-title":"Theor. Popul. Biol."},{"key":"13_CR41","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3800(01)00468-9","volume":"152","author":"C Ricotta","year":"2002","unstructured":"Ricotta, C.: Bridging the gap between ecological diversity indices and measures of biodiversity with Shannon\u2019s entropy. Ecol. Model. 152, 1\u20133 (2002)","journal-title":"Ecol. Model."},{"key":"13_CR42","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/j.tpb.2006.06.003","volume":"70","author":"C Ricotta","year":"2006","unstructured":"Ricotta, C., Szeidl, L.: Towards a unifying approach to diversity measures: bridging the gap between Shannon\u2019s entropy and Rao\u2019s quadratic index. Theor. Popul. Biol. 70, 237\u2013243 (2006)","journal-title":"Theor. Popul. Biol."},{"key":"13_CR43","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-90-481-3660-5_48","volume-title":"Advanced Techniques in Computing Sciences and Software Engineering","author":"A Saifan","year":"2010","unstructured":"Saifan, A., Dingel, J.: A survey of using model-based testing to improve quality attributes in distributed systems. In: Elleithy, K. (ed.) Advanced Techniques in Computing Sciences and Software Engineering, pp. 283\u2013288. Springer, Dordrecht (2010). https:\/\/doi.org\/10.1007\/978-90-481-3660-5_48"},{"issue":"1","key":"13_CR44","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/s10009-013-0291-0","volume":"17","author":"M Shafique","year":"2015","unstructured":"Shafique, M., Labiche, Y.: A systematic review of state-based test tools. STTT 17(1), 59\u201376 (2015)","journal-title":"STTT"},{"issue":"1","key":"13_CR45","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/TR.2015.2434953","volume":"65","author":"Q Shi","year":"2016","unstructured":"Shi, Q., Chen, Z., Fang, C., Feng, Y., Xu, B.: Measuring the diversity of a test set with distance entropy. IEEE Trans. Reliab. 65(1), 19\u201327 (2016)","journal-title":"IEEE Trans. Reliab."},{"key":"13_CR46","doi-asserted-by":"publisher","first-page":"1203","DOI":"10.1111\/j.1600-0706.2011.19897.x","volume":"121","author":"H Tuomisto","year":"2012","unstructured":"Tuomisto, H.: An updated consumer\u2019s guide to evenness and related indices. Oikos 121, 1203\u20131218 (2012)","journal-title":"Oikos"},{"key":"13_CR47","volume-title":"Practical Model-based Testing","author":"M Utting","year":"2006","unstructured":"Utting, M., Legeard, B.: Practical Model-based Testing. Morgan Kaufmann, Los Altos (2006)"},{"key":"13_CR48","doi-asserted-by":"crossref","unstructured":"Wang, R., Jiang, S., Chen, D., Zhang, Y.: Empirical study of the effects of different similarity measures on test case prioritization. Math. Probl. Eng. 2016, 19 p. (2016). Article ID 8343910","DOI":"10.1155\/2016\/8343910"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-92997-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T20:08:10Z","timestamp":1751659690000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-92997-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319929965","9783319929972"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92997-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}