{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T04:18:45Z","timestamp":1744258725844,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642338250"},{"type":"electronic","value":"9783642338267"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33826-7_20","type":"book-chapter","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T22:46:25Z","timestamp":1348613185000},"page":"293-307","source":"Crossref","is-referenced-by-count":5,"title":["An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms"],"prefix":"10.1007","author":[{"given":"Raluca","family":"Lefticaru","sequence":"first","affiliation":[]},{"given":"Florentin","family":"Ipate","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Derderian, K., Hierons, R.M., Harman, M., Guo, Q.: Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms. In: GECCO 2005, pp. 1081\u20131082. ACM (2005)","DOI":"10.1145\/1068009.1068192"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/978-3-642-02478-8_41","volume-title":"Bio-Inspired Systems: Computational and Ambient Intelligence","author":"K. Derderian","year":"2009","unstructured":"Derderian, K., Merayo, M.G., Hierons, R.M., N\u00fa\u00f1ez, M.: Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. In: Cabestany, J., Sandoval, F., Prieto, A., Corchado, J.M. (eds.) IWANN 2009, Part I. LNCS, vol.\u00a05517, pp. 327\u2013334. Springer, Heidelberg (2009)"},{"key":"20_CR3","unstructured":"Derderian, K.A.: Automated Test Sequence Generation for Finite State Machines using Genetic Algorithms. Ph.D. thesis, School of Information Systems, Computing and Mathematics, Brunel University (2006)"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Ferguson, R., Korel, B.: Software test data generation using the chaining approach. In: ITC, pp. 703\u2013709. IEEE Computer Society (1995)","DOI":"10.1109\/TEST.1995.529900"},{"issue":"6","key":"20_CR5","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1145\/362248.362272","volume":"16","author":"J. Hopcroft","year":"1973","unstructured":"Hopcroft, J., Tarjan, R.: Algorithm 447: efficient algorithms for graph manipulation. Commun. ACM\u00a016(6), 372\u2013378 (1973)","journal-title":"Commun. ACM"},{"key":"20_CR6","unstructured":"Meffert, K. et al.: JGAP - Java Genetic Algorithms and Genetic Programming Package, http:\/\/jgap.sf.net"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Kalaji, A., Hierons, R.M., Swift, S.: A search-based approach for automatic test generation from extended finite state machine (EFSM). In: TAIC-PART 2009, pp. 131\u2013132. IEEE Computer Society (2009)","DOI":"10.1109\/TAICPART.2009.19"},{"issue":"12","key":"20_CR8","doi-asserted-by":"publisher","first-page":"1297","DOI":"10.1016\/j.infsof.2011.06.004","volume":"53","author":"A. Kalaji","year":"2011","unstructured":"Kalaji, A., Hierons, R.M., Swift, S.: An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models. Information & Software Technology\u00a053(12), 1297\u20131318 (2011)","journal-title":"Information & Software Technology"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Kalaji, A., Hierons, R.M., Swift, S.: Generating feasible transition paths for testing from an extended finite state machine (EFSM). In: ICST 2009, pp. 230\u2013239. IEEE Computer Society (2009)","DOI":"10.1109\/ICST.2009.29"},{"issue":"8","key":"20_CR10","doi-asserted-by":"publisher","first-page":"870","DOI":"10.1109\/32.57624","volume":"16","author":"B. Korel","year":"1990","unstructured":"Korel, B.: Automated software test data generation. IEEE Trans. Softw. Eng.\u00a016(8), 870\u2013879 (1990)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Lefticaru, R., Ipate, F.: Automatic state-based test generation using genetic algorithms. In: SYNASC 2007, pp. 188\u2013195. IEEE Computer Society (2007)","DOI":"10.1109\/SYNASC.2007.47"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Lefticaru, R., Ipate, F.: Functional search-based testing from state machines. In: ICST 2008, pp. 525\u2013528. IEEE Computer Society (2008)","DOI":"10.1109\/ICST.2008.32"},{"issue":"2","key":"20_CR13","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1002\/stvr.294","volume":"14","author":"P. McMinn","year":"2004","unstructured":"McMinn, P.: Search-based software test data generation: A survey. Software Testing, Verification and Reliability\u00a014(2), 105\u2013156 (2004)","journal-title":"Software Testing, Verification and Reliability"},{"key":"20_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1363","DOI":"10.1007\/978-3-540-24855-2_157","volume-title":"Genetic and Evolutionary Computation \u2013 GECCO 2004","author":"P. McMinn","year":"2004","unstructured":"McMinn, P., Holcombe, M.: Hybridizing Evolutionary Testing with the Chaining Approach. In: Deb, K., Tari, Z. (eds.) GECCO 2004. LNCS, vol.\u00a03103, pp. 1363\u20131374. Springer, Heidelberg (2004)"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Tracey, N., Clark, J., Mander, K., McDermid, J.: An automated framework for structural test-data generation. In: ASE 1998, pp. 285\u2013288. IEEE Computer Society (1998)","DOI":"10.1109\/ASE.1998.732680"},{"issue":"14","key":"20_CR16","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1016\/S0950-5849(01)00190-2","volume":"43","author":"J. Wegener","year":"2001","unstructured":"Wegener, J., Baresel, A., Sthamer, H.: Evolutionary test environment for automatic structural testing. Information & Software Technology\u00a043(14), 841\u2013854 (2001)","journal-title":"Information & Software Technology"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Zhao, R., Harman, M., Li, Z.: Empirical study on the efficiency of search based test generation for EFSM models. In: ICST Workshops, pp. 222\u2013231 (2010)","DOI":"10.1109\/ICSTW.2010.44"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33826-7_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T12:44:03Z","timestamp":1744202643000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33826-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642338250","9783642338267"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33826-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}