{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:37:51Z","timestamp":1725745071234},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642397417"},{"type":"electronic","value":"9783642397424"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39742-4_26","type":"book-chapter","created":{"date-parts":[[2013,8,16]],"date-time":"2013-08-16T07:32:08Z","timestamp":1376638328000},"page":"288-293","source":"Crossref","is-referenced-by-count":3,"title":["A Multi-objective Genetic Algorithm for Generating Test Suites from Extended Finite State Machines"],"prefix":"10.1007","author":[{"given":"Nesa","family":"Asoudeh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yvan","family":"Labiche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"26_CR1","doi-asserted-by":"publisher","first-page":"614","DOI":"10.1109\/TC.2004.1275300","volume":"53","author":"A.Y. Dual","year":"2004","unstructured":"Dual, A.Y., Uyar, M.U.: A method enabling feasible conformance test sequence generation for EFSM models. IEEE Transactions on Computers\u00a053(5), 614\u2013627 (2004)","journal-title":"IEEE Transactions on Computers"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Hemmati, H., Arcuri, A., Briand, L.: Achieving scalable model-based testing through test case diversity. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a022(1) (2013)","DOI":"10.1145\/2430536.2430540"},{"key":"26_CR3","doi-asserted-by":"crossref","unstructured":"Harman, M., Jones, B.F.: Search-based software engineering. Information and Software Engineering, 833\u2013839 (2001)","DOI":"10.1016\/S0950-5849(01)00189-6"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"MacMinn, P.: Search-based software testing: Past, Present and Future. In: Fourth International Conference on Software Testing, Verification and Validation Workshops, Berlin, Germany (2011)","DOI":"10.1109\/ICSTW.2011.100"},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"Harman, M., McMinn, P., de Souza, J.T., Yoo, S.: Search based software engineering: Techniques, taxonomy, tutorial. In: Meyer, B., Nordio, M. (eds.) LASER Summer School 2008-2010. LNCS, vol.\u00a07007, pp. 1\u201359. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-25231-0_1"},{"issue":"3","key":"26_CR6","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1109\/TSE.1976.233818","volume":"2","author":"W. Miller","year":"1976","unstructured":"Miller, W., Spooner, D.: Automatic generation of floating point test data. IEEE Transactions on Software Engineering\u00a02(3), 223\u2013226 (1976)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"26_CR7","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)"},{"issue":"12","key":"26_CR8","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.M., Swift, S.: An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models. Information and Software Technology\u00a053(12), 1297\u20131318 (2011)","journal-title":"Information and Software Technology"},{"key":"26_CR9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511574931","volume-title":"Algorithms on Strings, Trees and Sequences: Computer Sience and Computational Biology","author":"D. Gusfield","year":"1997","unstructured":"Gusfield, D.: Algorithms on Strings, Trees and Sequences: Computer Sience and Computational Biology. Cambridge University Press, Cambirdge (1997)"},{"key":"26_CR10","unstructured":"Global Optimization Toolbox, Mathworks, \n                    \n                      http:\/\/www.mathworks.com\/products\/global-optimization\/\n                    \n                    \n                   (accessed April 25, 2013)"},{"key":"26_CR11","volume-title":"Practical Genetic Algorithms","author":"R.L. Haupt","year":"1998","unstructured":"Haupt, R.L., Haupt, S.E.: Practical Genetic Algorithms. Wiley, New york (1998)"},{"issue":"2","key":"26_CR12","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1109\/TSE.2012.14","volume":"39","author":"G. Fraser","year":"2013","unstructured":"Fraser, G., Arcuri, A.: Whole test suite generation. IEEE Transactions on Software Engineering\u00a039(2), 276\u2013291 (2013)","journal-title":"IEEE Transactions on Software Engineering"}],"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_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T13:42:21Z","timestamp":1558014141000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39742-4_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642397417","9783642397424"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39742-4_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}