{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T00:55:17Z","timestamp":1778806517127,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642396427","type":"print"},{"value":"9783642396434","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39643-4_41","type":"book-chapter","created":{"date-parts":[[2013,6,21]],"date-time":"2013-06-21T00:58:56Z","timestamp":1371776336000},"page":"574-586","source":"Crossref","is-referenced-by-count":4,"title":["Automatic Test Data Generation Using a Genetic Algorithm"],"prefix":"10.1007","author":[{"given":"Nassima","family":"Aleb","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samir","family":"Kechid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"41_CR1","unstructured":"The Software-artifact Infrastructure Repository, \n                  \n                    http:\/\/sir.unl.edu\/portal\/index.html"},{"key":"41_CR2","unstructured":"Baker, J.E.: Reducing bias and inefficiency in the selection algorithm. In: Grefenstette, J.J. (ed.) Proceedings of the Second International Conference on Genetic Algorithms. Lawrence Erlbaum Associates Publishers (1987)"},{"key":"41_CR3","doi-asserted-by":"crossref","unstructured":"Baresel, A., Binkley, D., Harman, M., Korel, B.: Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach. In: Avrunin, G.S., Rothermel, G. (eds.) ISSTA, pp. 108\u2013118. ACM (2004)","DOI":"10.1145\/1013886.1007527"},{"key":"41_CR4","first-page":"1329","volume-title":"GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference","author":"A. Baresel","year":"2002","unstructured":"Baresel, A., Sthamer, H., Schmidt, M.: Fitness function design to improve Evolutionary structural testing. In: GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, July 9-13, pp. 1329\u20131336. Morgan Kaufmann Publishers, San Francisco (2002)"},{"key":"41_CR5","first-page":"1337","volume-title":"GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference","author":"L. Bottaci","year":"2002","unstructured":"Bottaci, L.: Instrumenting programs with flag variables for test data search by genetic algorithms. In: GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, July 9-13, pp. 1337\u20131342. Morgan Kaufmann Publishers, New York (2002)"},{"key":"41_CR6","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1145\/1068009.1068183","volume-title":"Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2005","author":"L.C. Briand","year":"2005","unstructured":"Briand, L.C., Labiche, Y., Shousha, M.: Stress testing real-time systems with genetic algorithms. In: Beyer, H.-G., O\u2019Reilly, U.-M. (eds.) Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2005, June 25-29, pp. 1021\u20131028. ACM, Washington DC (2005)"},{"issue":"14","key":"41_CR7","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1016\/S0950-5849(01)00190-2","volume":"43","author":"A. Baresel","year":"2001","unstructured":"Baresel, A., Wegener, J., Sthamer, H.: Evolutionary test environment for automatic structural testing. Information & Software Technology\u00a043(14), 841\u2013854 (2001)","journal-title":"Information & Software Technology"},{"key":"41_CR8","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A Unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Principales of Programming Languages, POPL 1977, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"41_CR9","unstructured":"Dijkstra, E.: A discipline of programming. Prentice Hall (1976)"},{"issue":"3","key":"41_CR10","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1093\/comjnl\/bxl003","volume":"49","author":"K. Derderian","year":"2006","unstructured":"Derderian, K., Hierons, R., Harman, M., Guo, Q.: Automated Unique Input Output sequence generation for conformance testing of FSMs. The Computer Journal\u00a049(3), 331\u2013344 (2006)","journal-title":"The Computer Journal"},{"issue":"1","key":"41_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/TSE.2004.1265732","volume":"30","author":"M. Harman","year":"2004","unstructured":"Harman, M., Hu, L., Hierons, R.M., Wegener, J., Sthamer, H., Baresel, A., Roper, M.: Testability transformation. IEEE Transactions on Software Engineering\u00a030(1), 3\u201316 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"41_CR12","unstructured":"Hermadi, I., Ahmed, M.: Genetic algorithm based test data generator. In: Sarker, R., Reynolds, R., Abbass, H., Tan, K.C., McKay, B., Essam, D., Gedeon, T. (eds.) Proceedings of The 2003 Congress on Evolutionary Computation CEC 2003, Canberra, December 8-12, pp. 85\u201391 (2003)"},{"issue":"15","key":"41_CR13","doi-asserted-by":"publisher","first-page":"1989","DOI":"10.1002\/nme.947","volume":"59","author":"A.H. Aguirre","year":"2004","unstructured":"Aguirre, A.H., Rionda, S.B., Coello Coello, C.A., Liz\u00e1rraga, G.L., Montes, E.M.: Handling Constraints using Multiobjective Optimization Concepts. International Journal for Numerical Methods in Engineering\u00a059(15), 1989\u20132017 (2004)","journal-title":"International Journal for Numerical Methods in Engineering"},{"issue":"5","key":"41_CR14","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1049\/sej.1996.0040","volume":"11","author":"B. Jones","year":"1996","unstructured":"Jones, B., Sthamer, H., Eyres, D.: Automatic structural testing using genetic algorithms. Software Engineering Journal\u00a011(5), 299\u2013306 (1996)","journal-title":"Software Engineering Journal"},{"issue":"7","key":"41_CR15","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"J.C. King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Communications of the ACM\u00a019(7), 385\u2013394 (1976)","journal-title":"Communications of the ACM"},{"issue":"8","key":"41_CR16","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 Transactions on Software Engineering\u00a016(8), 870\u2013879 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"41_CR17","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1023\/B:SQJO.0000024059.72478.4e","volume":"12","author":"N. Mansour","year":"2004","unstructured":"Mansour, N., Salame, M.: Data generation for path testing. Software Quality Journal\u00a012(2), 121\u2013134 (2004)","journal-title":"Software Quality Journal"},{"key":"41_CR18","volume-title":"Knapsack Problems: Algorithms and Computer Implementations","author":"S. Martello","year":"1990","unstructured":"Martello, S., Toth, P.: Knapsack Problems: Algorithms and Computer Implementations. Wiley, New York (1990)"},{"issue":"12","key":"41_CR19","doi-asserted-by":"publisher","first-page":"1085","DOI":"10.1109\/32.988709","volume":"27","author":"G. McGraw","year":"2001","unstructured":"McGraw, G., Michael, C., Schatz, M.: Generating software test data by evolution. IEEE Transactions on Software Engineering\u00a027(12), 1085\u20131110 (2001)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"41_CR20","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":"41_CR21","unstructured":"McMinn, P.: IGUANA: Input generation using automated novel algorithms. A plug and play research tool. Technical Report, Department of Computer Science, University of Sheffield (2007)"},{"key":"41_CR22","unstructured":"McMinn, P., Binkley, D., Harman, M.: Testability transformation for efficient automated test data search in the presence of nesting. In: Proceedings of the Third UK Software Testing Workshop, pp. 165\u2013182 September (2005)"},{"issue":"1","key":"41_CR23","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1162\/evco.1993.1.1.25","volume":"1","author":"H. M\u00fchlenbein","year":"1993","unstructured":"M\u00fchlenbein, H., Schlierkamp-Voosen, D.: Predictive models for the breeder genetic algorithm: I. continuous parameter optimization. Evolutionary Computation\u00a01(1), 25\u201349 (1993)","journal-title":"Evolutionary Computation"},{"key":"41_CR24","doi-asserted-by":"publisher","first-page":"694","DOI":"10.1109\/ICSI.1990.138735","volume-title":"Proceedings of the First International Conference on Systems Integration","author":"A. Jefferson Offutt","year":"1990","unstructured":"Jefferson Offutt, A.: An integrated system for automatically generating test data. In: Ng, P.A., Ramamoorthy, C.V., Seifert, L.C., Yeh, R.T. (eds.) Proceedings of the First International Conference on Systems Integration, pp. 694\u2013701. IEEE Computer Society Press, Morristown (1990)"},{"issue":"4","key":"41_CR25","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. Pargas","year":"1999","unstructured":"Pargas, R., Harrold, M., Peck, R.: Test-data generation using genetic algorithms. Software Testing, Verification and Reliability\u00a09(4), 263\u2013282 (1999)","journal-title":"Software Testing, Verification and Reliability"},{"key":"41_CR26","unstructured":"Radio Technical Commission for Aeronautics. RTCA DO178-B Software considerations in airborne systems and equipment certification (1992)"},{"key":"41_CR27","doi-asserted-by":"crossref","unstructured":"Tracey, N., Clark, J., Mander, K.: Automated program flaw finding using simulated annealing. In: International Symposium on Software Testing and Analysis (ISSTA 1998), pp. 73\u201381 (March 1998)","DOI":"10.1145\/271775.271792"},{"key":"41_CR28","unstructured":"Wang, H.-C., Jeng, B.: Structural testing using memetic algorithm. In: Proceedings of the Second Taiwan Conference on Software Engineering, Taipei, Taiwan (2006)"},{"issue":"14","key":"41_CR29","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 and Software Technology\u00a043(14), 841\u2013854 (2001)","journal-title":"Information and Software Technology"},{"key":"41_CR30","first-page":"116","volume-title":"Proc. of the Third Int. Conf. on Genetic Algorithms","author":"D. Whitley","year":"1989","unstructured":"Whitley, D.: The GENITOR algorithm and selection pressure: Why rank-based allocation. In: Schaffer, J.D. (ed.) Proc. of the Third Int. Conf. on Genetic Algorithms, pp. 116\u2013121. Morgan Kaufmann, San Mateo (1989)"},{"key":"41_CR31","unstructured":"Xanthakis, S., Ellis, C., Skourlas, C., Le Gall, A., Katsikas, S., Karapoulios, K.: Application of genetic algorithms to software testing (Application des algorithmes g\u00e9n\u00e9tiques au test des logiciels). In: 5th International Conference on Software Engineering and its Applications, Toulouse, France, pp. 625\u2013636 (1992)"},{"issue":"2","key":"41_CR32","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s10664-006-9026-0","volume":"12","author":"M. Xiao","year":"2007","unstructured":"Xiao, M., El-Attar, M., Reformat, M., Miller, J.: Empirical evaluation of optimization algorithms when used in goal-oriented automated test data generation techniques. Empirical Software Engineering\u00a012(2), 183\u2013239 (2007)","journal-title":"Empirical Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2013"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39643-4_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T07:38:10Z","timestamp":1557819490000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39643-4_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642396427","9783642396434"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39643-4_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}