{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T10:45:36Z","timestamp":1761993936269,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471051"},{"type":"electronic","value":"9783319471068"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47106-8_5","type":"book-chapter","created":{"date-parts":[[2016,9,23]],"date-time":"2016-09-23T11:53:34Z","timestamp":1474631614000},"page":"64-79","source":"Crossref","is-referenced-by-count":19,"title":["Search-Based Testing of Procedural Programs: Iterative Single-Target or Multi-target Approach?"],"prefix":"10.1007","author":[{"given":"Simone","family":"Scalabrino","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Grano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dario","family":"Di Nucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rocco","family":"Oliveto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"De Lucia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,24]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Arcuri, A.: It does matter how you normalise the branch distance in search based software testing. In: International Conference on Software Testing, Verification and Validation, pp. 205\u2013214. IEEE (2010)","DOI":"10.1109\/ICST.2010.17"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Arcuri, A., Briand, L.: A practical guide for using statistical tests to assess randomized algorithms in software engineering. In: International Conference on Software Engineering, pp. 1\u201310. IEEE (2011)","DOI":"10.1145\/1985793.1985795"},{"issue":"3","key":"5_CR3","doi-asserted-by":"crossref","first-page":"594","DOI":"10.1007\/s10664-013-9249-9","volume":"18","author":"A Arcuri","year":"2013","unstructured":"Arcuri, A., Fraser, G.: Parameter tuning or default values? An empirical investigation in search-based software engineering. Empirical Softw. Eng. 18(3), 594\u2013623 (2013)","journal-title":"Empirical Softw. Eng."},{"issue":"5","key":"5_CR4","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1109\/TSE.2014.2372785","volume":"41","author":"ET Barr","year":"2015","unstructured":"Barr, E.T., Harman, M., McMinn, P., Shahbaz, M., Yoo, S.: The oracle problem in software testing: a survey. IEEE Trans. Softw. Eng. 41(5), 507\u2013525 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"5_CR5","volume-title":"Software Testing Techniques","author":"B Beizer","year":"1990","unstructured":"Beizer, B.: Software Testing Techniques. Van Nostrand Reinhold Co., New York (1990)"},{"issue":"04","key":"5_CR6","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1142\/S0218194096000247","volume":"6","author":"KH Chang","year":"1996","unstructured":"Chang, K.H., Cross II, J.H., Carlisle, W.H., Liao, S.S.: A performance evaluation of heuristics-based test case generation methods for software branch coverage. Int. J. Softw. Eng. Knowl. Eng. 6(04), 585\u2013608 (1996)","journal-title":"Int. J. Softw. Eng. Knowl. Eng."},{"key":"5_CR7","unstructured":"Conover, W.J.: Practical Nonparametric Statistics (1980)"},{"issue":"2","key":"5_CR8","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1109\/4235.996017","volume":"6","author":"K Deb","year":"2002","unstructured":"Deb, K., Pratap, A., Agarwal, S., Meyarivan, T.: A fast and elitist multiobjective genetic algorithm: NSGA-II. IEEE Trans. Evol. Comput. 6(2), 182\u2013197 (2002)","journal-title":"IEEE Trans. Evol. Comput."},{"issue":"10","key":"5_CR9","doi-asserted-by":"crossref","first-page":"760","DOI":"10.1016\/j.advengsoft.2011.05.014","volume":"42","author":"JJ Durillo","year":"2011","unstructured":"Durillo, J.J., Nebro, A.J.: JMetal: a java framework for multi-objective optimization. Adv. Eng. Softw. 42(10), 760\u2013771 (2011)","journal-title":"Adv. Eng. Softw."},{"issue":"1","key":"5_CR10","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/226155.226158","volume":"5","author":"R Ferguson","year":"1996","unstructured":"Ferguson, R., Korel, B.: The chaining approach for software test data generation. ACM Trans. Softw. Eng. Methodol. 5(1), 63\u201386 (1996)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"11","key":"5_CR11","doi-asserted-by":"crossref","first-page":"1331","DOI":"10.1002\/spe.1135","volume":"42","author":"J Ferrer","year":"2012","unstructured":"Ferrer, J., Chicano, F., Alba, E.: Evolutionary algorithms for the multi-objective test data generation problem. Softw. Pract. Experience 42(11), 1331\u20131362 (2012)","journal-title":"Softw. Pract. Experience"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Fraser, G., Arcuri, A.: Evosuite: automatic test suite generation for object-oriented software. In: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 416\u2013419. ACM (2011)","DOI":"10.1145\/2025113.2025179"},{"issue":"2","key":"5_CR13","doi-asserted-by":"crossref","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 Trans. Softw. Eng. 39(2), 276\u2013291 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"8","key":"5_CR14","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1109\/32.624304","volume":"23","author":"MJ Gallagher","year":"1997","unstructured":"Gallagher, M.J., Narasimhan, V.L.: ADTEST: a test data generation suite for Ada software systems. IEEE Trans. Softw. Eng. 23(8), 473\u2013484 (1997)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Harman, M., Kim, S.G., Lakhotia, K., McMinn, P., Yoo, S.: Optimizing for the number of tests generated in search based test data generation with an application to the oracle cost problem. In: International Conference on Software Testing, Verification, and Validation Workshops, pp. 182\u2013191. IEEE (2010)","DOI":"10.1109\/ICSTW.2010.31"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Harman, M., McMinn, P.: A theoretical & empirical analysis of evolutionary testing and hill climbing for structural test data generation. In: International Symposium on Software Testing and Analysis, pp. 73\u201383. ACM (2007)","DOI":"10.1145\/1273463.1273475"},{"issue":"3","key":"5_CR17","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1145\/152388.152391","volume":"2","author":"MJ Harrold","year":"1993","unstructured":"Harrold, M.J., Gupta, R., Soffa, M.L.: A methodology for controlling the size of a test suite. ACM Trans. Softw. Eng. Methodol. 2(3), 270\u2013285 (1993)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"5","key":"5_CR18","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1049\/sej.1996.0040","volume":"11","author":"BF Jones","year":"1996","unstructured":"Jones, B.F., Sthamer, H.H., Eyres, D.E.: Automatic structural testing using genetic algorithms. Softw. Eng. J. 11(5), 299\u2013306 (1996)","journal-title":"Softw. Eng. J."},{"issue":"8","key":"5_CR19","doi-asserted-by":"crossref","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. 16(8), 870\u2013879 (1990)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"5_CR20","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1016\/j.infsof.2012.03.009","volume":"55","author":"K Lakhotia","year":"2013","unstructured":"Lakhotia, K., Harman, M., Gross, H.: AUSTIN: an open source tool for search based software testing of C programs. Inf. Softw. Technol. 55(1), 112\u2013125 (2013)","journal-title":"Inf. Softw. Technol."},{"issue":"48105","key":"5_CR21","first-page":"29","volume":"1001","author":"E Larson","year":"2003","unstructured":"Larson, E., Austin, T.: High coverage detection of input-related security faults. Ann Arbor 1001(48105), 29 (2003)","journal-title":"Ann Arbor"},{"issue":"3","key":"5_CR22","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1162\/106365602760234108","volume":"10","author":"M Laumanns","year":"2002","unstructured":"Laumanns, M., Thiele, L., Deb, K., Zitzler, E.: Combining convergence and diversity in evolutionary multiobjective optimization. Evol. Comput. 10(3), 263\u2013282 (2002)","journal-title":"Evol. Comput."},{"key":"5_CR23","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1109\/TSE.1976.233837","volume":"4","author":"TJ McCabe","year":"1976","unstructured":"McCabe, T.J.: A complexity measure. IEEE Trans. Softw. Eng. 4, 308\u2013320 (1976)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"5_CR24","doi-asserted-by":"crossref","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. Softw. Test. Verification Reliab. 14(2), 105\u2013156 (2004)","journal-title":"Softw. Test. Verification Reliab."},{"key":"5_CR25","unstructured":"McMinn, P.: IGUANA: Input Generation Using Automated Novel Algorithms. a plug and play research tool. Technical report. CS-07-14, Department of Computer Science, University of Sheffield (2007)"},{"issue":"12","key":"5_CR26","doi-asserted-by":"crossref","first-page":"1085","DOI":"10.1109\/32.988709","volume":"27","author":"CC Michael","year":"2001","unstructured":"Michael, C.C., McGraw, G., Schatz, M.A.: Generating software test data by evolution. IEEE Trans. Softw. Eng. 27(12), 1085\u20131110 (2001)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Michael, C.C., McGraw, G.E., Schatz, M.A., Walton, C.C.: Genetic algorithms for dynamic test data generation. In: International Conference Automated Software Engineering, pp. 307\u2013308. IEEE (1997)","DOI":"10.1109\/ASE.1997.632858"},{"key":"5_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/11875567_32","volume-title":"Computer Safety, Reliability, and Security","author":"N Oster","year":"2006","unstructured":"Oster, N., Saglietti, F.: Automatic test data generation by multi-objective optimisation. In: G\u00f3rski, J. (ed.) SAFECOMP 2006. LNCS, vol. 4166, pp. 426\u2013438. Springer, Heidelberg (2006). doi: 10.1007\/11875567_32"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Panichella, A., Kifetew, F.M., Tonella, P.: Reformulating branch coverage as a many-objective optimization problem. In: International Conference on Software Testing, Verification and Validation, pp. 1\u201310. IEEE (2015)","DOI":"10.1109\/ICST.2015.7102604"},{"issue":"4","key":"5_CR30","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y","volume":"9","author":"RP Pargas","year":"1999","unstructured":"Pargas, R.P., Harrold, M.J., Peck, R.R.: Test-data generation using genetic algorithms. Softw. Test. Verification Reliab. 9(4), 263\u2013282 (1999)","journal-title":"Softw. Test. Verification Reliab."},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Tonella, P.: Evolutionary testing of classes. In: ACM SIGSOFT Software Engineering Notes, vol. 29, pp. 119\u2013128. ACM (2004)","DOI":"10.1145\/1007512.1007528"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"Tracey, N., Clark, J., Mander, K., McDermid, J.: An automated framework for structural test-data generation. In: International Conference on Automated Software Engineering, pp. 285\u2013288. IEEE (1998)","DOI":"10.1109\/ASE.1998.732680"},{"issue":"2","key":"5_CR33","first-page":"101","volume":"25","author":"A Vargha","year":"2000","unstructured":"Vargha, A., Delaney, H.D.: A critique and improvement of the CL common language effect size statistics of McGraw and Wong. J. Educ. Behav. Stat. 25(2), 101\u2013132 (2000)","journal-title":"J. Educ. Behav. Stat."},{"issue":"235","key":"5_CR34","first-page":"1","volume":"500","author":"AH Watson","year":"1996","unstructured":"Watson, A.H., McCabe, T.J., Wallace, D.R.: Structured testing: a testing methodology using the cyclomatic complexity metric. NIST Spec. Publ. 500(235), 1\u2013114 (1996)","journal-title":"NIST Spec. Publ."},{"issue":"14","key":"5_CR35","doi-asserted-by":"crossref","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. Inf. Softw. Technol. 43(14), 841\u2013854 (2001)","journal-title":"Inf. Softw. Technol."},{"key":"5_CR36","unstructured":"Xanthakis, S., Ellis, C., Skourlas, C., Le Gall, A., Katsikas, S., Karapoulios, K.: Application of genetic algorithms to software testing. In: International Conference on Software Engineering and Its Applications, pp. 625\u2013636 (1992)"},{"issue":"2","key":"5_CR37","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/stv.430","volume":"22","author":"S Yoo","year":"2012","unstructured":"Yoo, S., Harman, M.: Regression testing minimization, selection and prioritization: a survey. Softw. Test. Verification Reliab. 22(2), 67\u2013120 (2012)","journal-title":"Softw. Test. Verification Reliab."},{"key":"5_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1007\/978-3-540-30217-9_84","volume-title":"Parallel Problem Solving from Nature - PPSN VIII","author":"E Zitzler","year":"2004","unstructured":"Zitzler, E., K\u00fcnzli, S.: Indicator-based selection in multiobjective search. In: Yao, X., Burke, E.K., Lozano, J.A., Smith, J., Merelo-Guerv\u00f3s, J.J., Bullinaria, J.A., Rowe, J.E., Ti\u0148o, P., Kab\u00e1n, A., Schwefel, H.-P. (eds.) PPSN 2004. LNCS, vol. 3242, pp. 832\u2013842. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-30217-9_84"},{"key":"5_CR39","unstructured":"Zitzler, E., Laumanns, M., Thiele, L.: SPEA 2: Improving the strength pareto evolutionary algorithm. Technical report (2001)"}],"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-319-47106-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T23:16:39Z","timestamp":1568416599000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47106-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471051","9783319471068"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47106-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}