{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T14:54:52Z","timestamp":1780412092640,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642397417","type":"print"},{"value":"9783642397424","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39742-4_7","type":"book-chapter","created":{"date-parts":[[2013,8,16]],"date-time":"2013-08-16T11:32:08Z","timestamp":1376652728000},"page":"66-80","source":"Crossref","is-referenced-by-count":5,"title":["A Multi-objective Genetic Algorithm to Rank State-Based Test Cases"],"prefix":"10.1007","author":[{"given":"Lionel","family":"Briand","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yvan","family":"Labiche","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kathy","family":"Chen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Binder, R.V.: Testing Object-Oriented Systems - Models, Patterns, and Tools. Addison-Wesley (1999)"},{"key":"7_CR2","unstructured":"Briand, L.C., Labiche, Y., Wang, Y.: Using Simulation to Empirically Investigate Test Coverage Criteria. In: IEEE\/ACM International Conference on Software Engineering, pp. 86\u201395 (2004)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Ammann, P., Offutt, A.J.: Introduction to Software Testing. Cambridge University Press (2008)","DOI":"10.1017\/CBO9780511809163"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1002\/stvr.410","volume":"20","author":"L.C. Briand","year":"2010","unstructured":"Briand, L.C., Labiche, Y., Lin, Q.: Improving the Coverage Criteria of UML State Machines Using Data Flow Analysis. Software Testing, Verification and Reliability\u00a020, 177\u2013207 (2010)","journal-title":"Software Testing, Verification and Reliability"},{"key":"7_CR5","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S.: Testing Software Design Modeled by Finite-State Machines. IEEE Transactions on Software Engineering SE-4, 178\u2013187 (1978)","journal-title":"IEEE Transactions on Software Engineering SE-"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Khalil, M., Labiche, Y.: On the Round Trip Path Testing Strategy. In: IEEE International Symposium on Software Reliability Engineering, pp. 388\u2013397 (2010)","DOI":"10.1109\/ISSRE.2010.39"},{"key":"7_CR7","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. Proceedings of the IEEE\u00a084, 1090\u20131123 (1996)","journal-title":"Proceedings of the IEEE"},{"key":"7_CR8","volume-title":"Software Testing Techniques","author":"B. Beizer","year":"1990","unstructured":"Beizer, B.: Software Testing Techniques. Van Nostrand Reinhold, New York (1990)"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"1297","DOI":"10.1016\/j.infsof.2011.06.004","volume":"53","author":"A.S. Kalaji","year":"2011","unstructured":"Kalaji, A.S., Hierons, R., Swift, S.: An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models. Information and Software Technology\u00a053, 1297\u20131318 (2011)","journal-title":"Information and Software Technology"},{"key":"7_CR10","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language. Addison Wesley (2003)"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/stvr.430","volume":"22","author":"S. Yoo","year":"2012","unstructured":"Yoo, S., Harman, M.: Regression testing minimization, selection and prioritization: a survey. Software Testing, Verification and Reliability\u00a022, 67\u2013120 (2012)","journal-title":"Software Testing, Verification and Reliability"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"929","DOI":"10.1109\/32.962562","volume":"27","author":"G. Rothermel","year":"2001","unstructured":"Rothermel, G., Untch, R.H., Chu, C., Harrold, M.J.: Prioritizing test cases for regression testing. IEEE Transactions on Software Engineering\u00a027, 929\u2013948 (2001)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1109\/TSE.2007.38","volume":"33","author":"Z. Li","year":"2007","unstructured":"Li, Z., Harman, M., Hierons, R.: Search Algorithms for Regression Test Case Prioritization. IEEE Transactions on Software Engineering\u00a033, 225\u2013237 (2007)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Harman, M.: Making the Case for MORTO: Multi Objective Regression Test Optimization. In: IEEE International Conference on Software Testing, Verification and Validation Workshops, pp. 111\u2013114 (2011)","DOI":"10.1109\/ICSTW.2011.60"},{"key":"7_CR15","unstructured":"Zitzler, E., Laumanss, M., Thiele, L.: SPEA2: Improving the Strength Pareto Evolutionary Algorithm. Technical Report, Swiss Federal Institute of Technology, Computer Engineering and Networks Laboratory (2001)"},{"key":"7_CR16","unstructured":"Goldberg, D.E.: Genetic Algorithms in Search, Optimization & Machine Learning. Addison Wesley (1989)"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Affenzeller, M., Winkler, S., Wagner, S., Beham, A.: Genetic Algorithms and Genetic Progrmming-Modern concetps and practical applications. CRC Press (2009)","DOI":"10.1201\/9781420011326"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BF00113894","volume":"3","author":"K.A. Jong De","year":"1988","unstructured":"De Jong, K.A.: Learning with Genetic Algorithms: An Overview. Machine Learning\u00a03, 121\u2013138 (1988)","journal-title":"Machine Learning"},{"key":"7_CR19","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1109\/TSMC.1986.289288","volume":"16","author":"J.J. Grefenstette","year":"1986","unstructured":"Grefenstette, J.J.: Optimization of control parameters for genetic algorithms. IEEE Transactions on Systems, Man and Cybernetics\u00a016, 122\u2013128 (1986)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y","volume":"9","author":"R.P. Pargas","year":"1999","unstructured":"Pargas, R.P., Harrold, M.J., Peck, R.: Test-Data Generation Using Genetic Algorithms. Software Testing, Verification and Reliability\u00a09, 263\u2013282 (1999)","journal-title":"Software Testing, Verification and Reliability"},{"key":"7_CR21","unstructured":"Tiwari, A., Vergidis, K., Majeed, B.: Evolutionary Multiobjective Optimization of Business Processes. In: IEEE Congress on Evolutionary Computation, pp. 3091\u20133097 (2006)"},{"key":"7_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/3-540-44719-9_13","volume-title":"Evolutionary Multi-Criterion Optimization","author":"M. Laumanns","year":"2001","unstructured":"Laumanns, M., Zitzler, E., Thiele, L.: On The Effects of Archiving, Elitism, an Density Based Selection in Evolutionary Multi-objective Optimization. In: Zitzler, E., Deb, K., Thiele, L., Coello Coello, C.A., Corne, D.W. (eds.) EMO 2001. LNCS, vol.\u00a01993, pp. 181\u2013196. Springer, Heidelberg (2001)"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Zitzler, E., Thiele, L.: Multiobjective Evolutionary Algorithms: A Comparative Case Study and the Strength Pareto Approach. IEEE Transactions on Evolutionary Computation\u00a03 (1999)","DOI":"10.1109\/4235.797969"},{"key":"7_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1007\/978-3-540-31880-4_49","volume-title":"Evolutionary Multi-Criterion Optimization","author":"F. Rivas-D\u00e1valos","year":"2005","unstructured":"Rivas-D\u00e1valos, F., Irving, M.R.: An Approach Based on the Strength Pareto Evolutionary Algorithm 2 for Power Distribution System Planning. In: Coello Coello, C.A., Hern\u00e1ndez Aguirre, A., Zitzler, E. (eds.) EMO 2005. LNCS, vol.\u00a03410, pp. 707\u2013720. Springer, Heidelberg (2005)"},{"key":"7_CR25","unstructured":"Haupt, R.L., Haupt, S.E.: Practical Genetic Algorithms. Wiley-Interscience (1998)"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Bui, L.T., Essam, D., Abbass, H.A., Green, D.: Performance analysis of evolutionary multi-objective optimization algorithms in noisy environment. In: Asia Pacific Symposium on Intelligent and Evolutionary Systems, pp. 29\u201339 (2004)","DOI":"10.1145\/1068009.1068141"},{"key":"7_CR27","unstructured":"Elbaum, S., Malishevsky, A.G., Rothermel, G.: Incorporating varying test costs and fault severities into test case prioritization. In: ACM\/IEEE International Conference on Software Engineering, pp. 329\u2013338 (2001)"},{"key":"7_CR28","unstructured":"Hutchins, M., Froster, H., Goradia, T., Ostrand, T.: Experiments on the Effectiveness of Dataflow- and Controlflow-Based Test Adequacy Criteria. In: ACM\/IEEE International Conference on Software Engineering, pp. 191\u2013200 (1994)"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Ma, Y.-S., Offutt, A.J., Kwon, Y.-R.: MuJava: A Mutation System for Java. In: ACM\/IEEE International Conference on Software Engineering, pp. 827\u2013830 (2006)","DOI":"10.1145\/1134285.1134425"},{"key":"7_CR30","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1109\/TSE.2006.83","volume":"32","author":"J.H. 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 Transactions on Software Engineering\u00a032, 608\u2013624 (2006)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR31","unstructured":"Gomaa, H.: Designing Concurrent, Distributed, and Real-Time Applications with UML. Addison Wesley (2000)"},{"key":"7_CR32","unstructured":"Kargupta, H., Deb, K., Goldberg, D.E.: Ordering genetic algorithms and deception. In: Parallel Problem Solving from Nature, pp. 47\u201356 (1992)"}],"container-title":["Lecture Notes in Computer Science","Search Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39742-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T22:32:05Z","timestamp":1688423525000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39742-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642397417","9783642397424"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39742-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}