{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:22:34Z","timestamp":1763457754441,"version":"3.37.3"},"publisher-location":"Cham","reference-count":77,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319992402"},{"type":"electronic","value":"9783319992419"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-99241-9_1","type":"book-chapter","created":{"date-parts":[[2018,8,21]],"date-time":"2018-08-21T06:40:36Z","timestamp":1534833636000},"page":"3-45","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":58,"title":["Deploying Search Based Software Engineering with Sapienz at Facebook"],"prefix":"10.1007","author":[{"given":"Nadia","family":"Alshahwan","sequence":"first","affiliation":[]},{"given":"Xinbo","family":"Gao","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Harman","sequence":"additional","affiliation":[]},{"given":"Yue","family":"Jia","sequence":"additional","affiliation":[]},{"given":"Ke","family":"Mao","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Mols","sequence":"additional","affiliation":[]},{"given":"Taijin","family":"Tei","sequence":"additional","affiliation":[]},{"given":"Ilya","family":"Zorin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,22]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Abdessalem, R., Nejati, S., Briand, L., Stifter, T.: Testing vision-based control systems using learnable evolutionary algorithms. In: 40th International Conference on Software Engineering (ICSE 2018) (to appear)","DOI":"10.1145\/3180155.3180160"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Afzal, W., Torkar, R., Feldt, R., Wikstrand, G.: Search-based prediction of fault-slip-through in large software projects. In: Second International Symposium on Search Based Software Engineering (SSBSE 2010), Benevento, Italy 7\u20139 September 2010, pp. 79\u201388 (2010)","DOI":"10.1109\/SSBSE.2010.19"},{"issue":"1","key":"1_CR3","doi-asserted-by":"publisher","first-page":"4:1","DOI":"10.1145\/2818640","volume":"25","author":"SD Alesio","year":"2015","unstructured":"Alesio, S.D., Briand, L.C., Nejati, S., Gotlieb, A.: Combining genetic algorithms and constraint programming to support stress testing of task deadlines. ACM Trans. Softw. Eng. Methodol. 25(1), 4:1\u20134:37 (2015)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Alshahwan, N., Harman, M.: Automated web application testing using search based software engineering. In: 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, USA, 6th\u201310th November 2011, pp. 3\u201312 (2011)","DOI":"10.1109\/ASE.2011.6100082"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Alshahwan, N., Harman, M.: Coverage and fault detection of the output-uniqueness test selection criteria. In: International Symposium on Software Testing and Analysis (ISSTA 2014), pp. 181\u2013192. ACM (2014)","DOI":"10.1145\/2610384.2610413"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Androutsopoulos, K., Clark, D., Dan, H., Harman, M., Hierons, R.: An analysis of the relationship between conditional entropy and failed error propagation in software testing. In: 36th International Conference on Software Engineering (ICSE 2014), Hyderabad, India, pp. 573\u2013583, June 2014","DOI":"10.1145\/2568225.2568314"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Arcuri, A., Briand, L.: A practical guide for using statistical tests to assess randomized algorithms in software engineering. In: 33rd International Conference on Software Engineering (ICSE 2011), pp. 1\u201310. ACM, New York (2011)","DOI":"10.1145\/1985793.1985795"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Asadi, F., Antoniol, G., Gu\u00e9h\u00e9neuc, Y.: Concept location with genetic algorithms: a comparison of four distributed architectures. In: 2nd International Symposium on Search based Software Engineering (SSBSE 2010), pp. 153\u2013162. IEEE Computer Society Press, Benevento (2010)","DOI":"10.1109\/SSBSE.2010.26"},{"issue":"5","key":"1_CR9","doi-asserted-by":"publisher","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":"1_CR10","unstructured":"Beizer, B.: Software Testing Techniques. Van Nostrand Reinhold (1990)"},{"key":"1_CR11","volume-title":"Future of Software Engineering 2007","author":"A Bertolino","year":"2007","unstructured":"Bertolino, A.: Software testing research: achievements, challenges, dreams. In: Briand, L., Wolf, A. (eds.) Future of Software Engineering 2007. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Binkley, D., Gold, N.E., Harman, M., Islam, S.S., Krinke, J., Yoo, S.: ORBS and the limits of static slicing. In: 15th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2015), pp. 1\u201310. IEEE, Bremen, September 2015","DOI":"10.1109\/SCAM.2015.7335396"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-17524-9_1","volume-title":"NASA Formal Methods","author":"C Calcagno","year":"2015","unstructured":"Calcagno, C., et al.: Moving fast with software verification. In: Havelund, K., Holzmann, G., Joshi, R. (eds.) NFM 2015. LNCS, vol. 9058, pp. 3\u201311. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-17524-9_1"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Ceccarelli, M., Cerulo, L., Canfora, G., Penta, M.D.: An eclectic approach for change impact analysis. In: Kramer, J., Bishop, J., Devanbum, P.T., Uchitel, S. (eds.) 32nd ACM\/IEEE International Conference on Software Engineering (ICSE), vol. 2, pp. 163\u2013166. ACM (2010)","DOI":"10.1145\/1810295.1810320"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/3-540-45657-0_41","volume-title":"Computer Aided Verification","author":"M Chechik","year":"2002","unstructured":"Chechik, M., Gurfinkel, A., Devereux, B.: $$\\xi $$Chek: a multi-valued model-checker. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 505\u2013509. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45657-0_41"},{"key":"1_CR16","unstructured":"Chen, Y.F., Rosenblum, D.S., Vo, K.P.: TestTube: a system for selective regression testing. In: 16th International Conference on Software Engineering (ICSE 1994), pp. 211\u2013220. IEEE Computer Society Press (1994)"},{"issue":"8\u20139","key":"1_CR17","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/j.ipl.2012.01.004","volume":"112","author":"D Clark","year":"2012","unstructured":"Clark, D., Hierons, R.M.: Squeeziness: an information theoretic measure for avoiding fault masking. Inf. Process. Lett. 112(8\u20139), 335\u2013340 (2012)","journal-title":"Inf. Process. Lett."},{"key":"1_CR18","unstructured":"Dijkstra, E.W.: Structured programming (1969). http:\/\/www.cs.utexas.edu\/users\/EWD\/ewd02xx\/EWD268.PDF , circulated privately"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Dufour, B., Ryder, B.G., Sevitsky, G.: Blended analysis for performance understanding of framework-based applications. In: International Symposium on Software Testing and Analysis, ISSTA 2007, 9\u201312 July, London, UK, pp. 118\u2013128. ACM (2007)","DOI":"10.1145\/1273463.1273480"},{"key":"1_CR20","unstructured":"Dunn, J., Mols, A., Lomax, L., Medeiros, P.: Managing resources for large-scale testing, 24 May 2017. https:\/\/code.facebook.com\/posts\/1708075792818517\/managing-resources-for-large-scale-testing\/"},{"issue":"1","key":"1_CR21","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/TSE.2008.103","volume":"35","author":"SG Elbaum","year":"2009","unstructured":"Elbaum, S.G., Chin, H.N., Dwyer, M.B., Jorde, M.: Carving and replaying differential unit test cases from system test cases. IEEE Trans. Softw. Eng. 35(1), 29\u201345 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"1_CR22","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1016\/j.infsof.2009.07.001","volume":"52","author":"E Engstr\u00f6m","year":"2010","unstructured":"Engstr\u00f6m, E., Runeson, P., Skoglund, M.: A systematic review on regression test selection techniques. Inf. Softw. Technol. 52(1), 14\u201330 (2010)","journal-title":"Inf. Softw. Technol."},{"issue":"2","key":"1_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/32.908957","volume":"27","author":"MD Ernst","year":"2001","unstructured":"Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. IEEE Trans. Softw. Eng. 27(2), 1\u201325 (2001)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"1_CR24","unstructured":"Facebook Research: Facebook Research post describing the move of Majicke to Facebook (2017). https:\/\/facebook.com\/academics\/posts\/1326609954057075"},{"issue":"4","key":"1_CR25","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/MIC.2013.25","volume":"17","author":"DG Feitelson","year":"2013","unstructured":"Feitelson, D.G., Frachtenberg, E., Beck, K.L.: Development and deployment at Facebook. IEEE Internet Comput. 17(4), 8\u201317 (2013)","journal-title":"IEEE Internet Comput."},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Fraser, G., Arcuri, A.: EvoSuite: automatic test suite generation for object-oriented software. In: 8th European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC\/FSE 2011), pp. 416\u2013419. ACM, 5th\u20139th September 2011","DOI":"10.1145\/2025113.2025179"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Fraser, G., Arcuri, A.: The seed is strong: seeding strategies in search-based software testing. In: Antoniol, G., Bertolino, A., Labiche, Y. (eds.) 5th International Conference on Software Testing, Verification and Validation (ICST 2012), pp. 121\u2013130. IEEE, Montreal, April 2012. http:\/\/ieeexplore.ieee.org\/xpl\/mostRecentIssue.jsp?punumber=6200016","DOI":"10.1109\/ICST.2012.92"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Gao, Z., Liang, Y., Cohen, M.B., Memon, A.M., Wang, Z.: Making system user interactive tests repeatable: when and what should we control? In: Bertolino, A., Canfora, G., Elbaum, S.G. (eds.) 37th International Conference on Software Engineering (ICSE 2015), pp. 55\u201365. IEEE Computer Society, Florence, 16\u201324 May 2015","DOI":"10.1109\/ICSE.2015.28"},{"issue":"3","key":"1_CR29","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/s11219-013-9208-0","volume":"21","author":"CL Goues","year":"2013","unstructured":"Goues, C.L., Forrest, S., Weimer, W.: Current challenges in automatic software repair. Softw. Qual. J. 21(3), 421\u2013443 (2013)","journal-title":"Softw. Qual. J."},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"Gross, F., Fraser, G., Zeller, A.: Search-based system testing: high coverage, no false alarms. In: International Symposium on Software Testing and Analysis (ISSTA 2012), pp. 67\u201377 (2012)","DOI":"10.1145\/2338965.2336762"},{"issue":"8","key":"1_CR31","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/2240236.2240260","volume":"55","author":"S Gulwani","year":"2012","unstructured":"Gulwani, S., Harris, W.R., Singh, R.: Spreadsheet data manipulation using examples. Commun. ACM 55(8), 97\u2013105 (2012)","journal-title":"Commun. ACM"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Harman, M., Burke, E., Clark, J.A., Yao, X.: Dynamic adaptive search based software engineering (keynote paper). In: 6th IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2012), Lund, Sweden, pp. 1\u20138, September 2012","DOI":"10.1145\/2372251.2372253"},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"Harman, M., Jia, Y., Zhang, Y.: Achievements, open problems and challenges for search based software testing (keynote paper). In: 8th IEEE International Conference on Software Testing, Verification and Validation (ICST 2015), Graz, Austria, April 2015","DOI":"10.1109\/ICST.2015.7102580"},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"Harman, M., Langdon, W.B., Jia, Y., White, D.R., Arcuri, A., Clark, J.A.: The GISMOE challenge: constructing the Pareto program surface using genetic programming to find better programs (keynote paper). In: 27th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2012), Essen, Germany, pp. 1\u201314, September 2012","DOI":"10.1145\/2351676.2351678"},{"issue":"1","key":"1_CR35","doi-asserted-by":"publisher","first-page":"11:1","DOI":"10.1145\/2379776.2379787","volume":"45","author":"M Harman","year":"2012","unstructured":"Harman, M., Mansouri, A., Zhang, Y.: Search based software engineering: trends, techniques and applications. ACM Comput. Surv. 45(1), 11:1\u201311:61 (2012)","journal-title":"ACM Comput. Surv."},{"key":"1_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-25231-0_1","volume-title":"Empirical Software Engineering and Verification","author":"M Harman","year":"2012","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 2008-2010. LNCS, vol. 7007, pp. 1\u201359. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-25231-0_1"},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"Harman, M., O\u2019Hearn, P.: From start-ups to scale-ups: opportunities and open problems for static and dynamic program analysis (keynote paper). In: 18th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2018), Madrid, Spain, 23rd\u201324th September 2018, to appear","DOI":"10.1109\/SCAM.2018.00009"},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"Hazelwood, K., et al.: Applied machine learning at Facebook: a datacenter infrastructure perspective. In: 24th International Symposium on High-Performance Computer Architecture (HPCA 2018), Vienna, Austria, 24\u201328 February 2018","DOI":"10.1109\/HPCA.2018.00059"},{"key":"1_CR39","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/s001650070003","volume":"12","author":"RM Hierons","year":"2000","unstructured":"Hierons, R.M., Harman, M.: Testing against non-deterministic stream X-machines. Formal Aspects Comput. 12, 423\u2013442 (2000)","journal-title":"Formal Aspects Comput."},{"issue":"6","key":"1_CR40","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/s001650070004","volume":"12","author":"F Ipate","year":"2000","unstructured":"Ipate, F., Holcombe, M.: Generating test sequences from non-deterministic X-machines. Formal Aspects Comput. 12(6), 443\u2013458 (2000)","journal-title":"Formal Aspects Comput."},{"key":"1_CR41","doi-asserted-by":"crossref","unstructured":"Jahangirova, G., Clark, D., Harman, M., Tonella, P.: Test oracle assessment and improvement. In: International Symposium on Software Testing and Analysis (ISSTA 2016), pp. 247\u2013258 (2016)","DOI":"10.1145\/2931037.2931062"},{"key":"1_CR42","doi-asserted-by":"crossref","unstructured":"Jan, S., Panichella, A., Arcuri, A., Briand, L.: Automatic generation of tests to exploit XML injection vulnerabilities in web applications. IEEE Transactions on Software Engineering (2018, to appear)","DOI":"10.1109\/TSE.2017.2778711"},{"key":"1_CR43","doi-asserted-by":"crossref","unstructured":"Jia, Y., Cohen, M.B., Harman, M., Petke, J.: Learning combinatorial interaction test generation strategies using hyperheuristic search. In: 37th International Conference on Software Engineering (ICSE 2015), Florence, Italy, pp. 540\u2013550 (2015)","DOI":"10.1109\/ICSE.2015.71"},{"key":"1_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation: Modelling Techniques and Tools","author":"M Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 200\u2013204. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-46029-2_13"},{"issue":"1","key":"1_CR45","doi-asserted-by":"publisher","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. J. Inf. Softw. Technol. 55(1), 112\u2013125 (2013)","journal-title":"J. Inf. Softw. Technol."},{"key":"1_CR46","doi-asserted-by":"crossref","unstructured":"Luo, Q., Hariri, F., Eloussi, L., Marinov, D.: An empirical analysis of flaky tests. In: Cheung, S.C., Orso, A., Storey, M.A. (eds.) 22nd International Symposium on Foundations of Software Engineering (FSE 2014), pp. 643\u2013653. ACM, Hong Kong, 16\u201322 November 2014","DOI":"10.1145\/2635868.2635920"},{"key":"1_CR47","unstructured":"Mao, K.: Multi-objective Search-based Mobile Testing. Ph.D. thesis, University College London, Department of Computer Science, CREST centre (2017)"},{"key":"1_CR48","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.jss.2016.09.015","volume":"126","author":"K Mao","year":"2017","unstructured":"Mao, K., Capra, L., Harman, M., Jia, Y.: A survey of the use of crowdsourcing in software engineering. J. Syst. Softw. 126, 57\u201384 (2017)","journal-title":"J. Syst. Softw."},{"key":"1_CR49","doi-asserted-by":"crossref","unstructured":"Mao, K., Harman, M., Jia, Y.: Sapienz: multi-objective automated testing for Android applications. In: International Symposium on Software Testing and Analysis (ISSTA 2016), pp. 94\u2013105 (2016)","DOI":"10.1145\/2931037.2931054"},{"key":"1_CR50","doi-asserted-by":"crossref","unstructured":"Mao, K., Harman, M., Jia, Y.: Crowd intelligence enhances automated mobile testing. In: Proceedings of the 32nd IEEE\/ACM International Conference on Automated Software Engineering, ASE 2017, pp. 16\u201326 (2017)","DOI":"10.1109\/ASE.2017.8115614"},{"issue":"2","key":"1_CR51","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/MS.2017.49","volume":"34","author":"K Mao","year":"2017","unstructured":"Mao, K., Harman, M., Jia, Y.: Robotic testing of mobile apps for truly black-box automation. IEEE Softw. 34(2), 11\u201316 (2017)","journal-title":"IEEE Softw."},{"key":"1_CR52","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/j.jss.2018.04.061","volume":"142","author":"B Marculescu","year":"2018","unstructured":"Marculescu, B., Feldt, R., Torkar, R., Poulding, S.: Transferring interactive search-based software testing to industry. J. Syst. Softw. 142, 156\u2013170 (2018)","journal-title":"J. Syst. Softw."},{"key":"1_CR53","doi-asserted-by":"crossref","unstructured":"Martin, W., Sarro, F., Harman, M.: Causal impact analysis for app releases in Google Play. In: 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016), Seattle, WA, USA, pp. 435\u2013446 November 2016","DOI":"10.1145\/2950290.2950320"},{"key":"1_CR54","doi-asserted-by":"crossref","unstructured":"Matinnejad, R., Nejati, S., Briand, L., Bruckmann, T.: Test generation and test prioritization for simulink models with dynamic behavior. IEEE Trans. Softw. Eng. (2018, to appear)","DOI":"10.1109\/TSE.2018.2811489"},{"issue":"2","key":"1_CR55","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. Softw. Test. Verif. Reliab. 14(2), 105\u2013156 (2004)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"1_CR56","doi-asserted-by":"crossref","unstructured":"Memon, A.M., Cohen, M.B.: Automated testing of GUI applications: models, tools, and controlling flakiness. In: Notkin, D., Cheng, B.H.C., Pohl, K. (eds.) 35th International Conference on Software Engineering (ICSE 2013), pp. 1479\u20131480. IEEE Computer Society, San Francisco, 18\u201326 May 2013","DOI":"10.1109\/ICSE.2013.6606750"},{"key":"1_CR57","doi-asserted-by":"crossref","unstructured":"Memon, A.M., et al.: Taming Google-scale continuous testing. In: 39th International Conference on Software Engineering, Software Engineering in Practice Track (ICSE-SEIP), pp. 233\u2013242. IEEE, Buenos Aires, 20\u201328 May 2017","DOI":"10.1109\/ICSE-SEIP.2017.16"},{"key":"1_CR58","doi-asserted-by":"crossref","unstructured":"Mitchell, B.S., Traverso, M., Mancoridis, S.: An architecture for distributing the computation of software clustering algorithms. In: IEEE\/IFIP Working Conference on Software Architecture (WICSA 2001), pp. 181\u2013190. IEEE Computer Society, Amsterdam (2001)","DOI":"10.1109\/WICSA.2001.948427"},{"issue":"1","key":"1_CR59","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0164-1212(00)00119-9","volume":"57","author":"N Mansour","year":"2001","unstructured":"Mansour, N., Bahsoon, R., Baradhi, G.: Empirical comparison of regression test selection algorithms. Syst. Softw. 57(1), 79\u201390 (2001)","journal-title":"Syst. Softw."},{"issue":"2","key":"1_CR60","doi-asserted-by":"publisher","first-page":"11:1","DOI":"10.1145\/1883612.1883618","volume":"43","author":"C Nie","year":"2011","unstructured":"Nie, C., Leung, H.: A survey of combinatorial testing. ACM Comput. Surv. 43(2), 11:1\u201311:29 (2011)","journal-title":"ACM Comput. Surv."},{"issue":"3","key":"1_CR61","doi-asserted-by":"publisher","first-page":"23:1","DOI":"10.1145\/2932631","volume":"25","author":"A Ouni","year":"2016","unstructured":"Ouni, A., Kessentini, M., Sahraoui, H.A., Inoue, K., Deb, K.: Multi-criteria code refactoring using search-based software engineering: an industrial case study. ACM Trans. Softw. Eng. Methodol. 25(3), 23:1\u201323:53 (2016)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"1_CR62","doi-asserted-by":"crossref","unstructured":"Palomba, F., Zaidman, A.: Does refactoring of test smells induce fixing flakey tests? In: International Conference on Software Maintenance and Evolution (ICSME 2017), pp. 1\u201312. IEEE Computer Society (2017)","DOI":"10.1109\/ICSME.2017.12"},{"key":"1_CR63","volume-title":"Causality","author":"J Pearl","year":"2000","unstructured":"Pearl, J.: Causality. Cambridge University Press, Cambridge (2000)"},{"key":"1_CR64","doi-asserted-by":"crossref","unstructured":"Petke, J., Cohen, M.B., Harman, M., Yoo, S.: Efficiency and early fault detection with lower and higher strength combinatorial interaction testing. In: European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC\/FSE 2013, pp. 26\u201336. ACM, Saint Petersburg, August 2013","DOI":"10.1145\/2491411.2491436"},{"key":"1_CR65","doi-asserted-by":"crossref","unstructured":"Petke, J., Haraldsson, S.O., Harman, M., Langdon, W.B., White, D.R., Woodward, J.R.: Genetic improvement of software: a comprehensive survey. IEEE Trans. Evol. Comput. (2018, to appear)","DOI":"10.1109\/TEVC.2017.2693219"},{"key":"1_CR66","doi-asserted-by":"crossref","unstructured":"Podgurski, A., et al.: Automated support for classifying software failure reports. In: 25th International Conference on Software Engineering (ICSE 2003), pp. 465\u2013477. IEEE Computer Society, Piscataway, 3\u201310 May 2003","DOI":"10.1109\/ICSE.2003.1201224"},{"issue":"8","key":"1_CR67","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1109\/32.536955","volume":"22","author":"G Rothermel","year":"1996","unstructured":"Rothermel, G., Harrold, M.J.: Analyzing regression test selection techniques. IEEE Trans. Softw. Eng. 22(8), 529\u2013551 (1996)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"5","key":"1_CR68","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1016\/0306-4573(88)90021-0","volume":"24","author":"G Salton","year":"1988","unstructured":"Salton, G., Buckley, C.: Term-weighting approaches in automatic text retrieval. Inf. Process. Manag. 24(5), 513\u2013523 (1988)","journal-title":"Inf. Process. Manag."},{"key":"1_CR69","doi-asserted-by":"crossref","unstructured":"Shin, S.Y., Nejati, S., Sabetzadeh, M., Briand, L., Zimmer, F.: Test case prioritization for acceptance testing of cyber physical systems: a multi-objective search-based approach. In: International Symposium on Software Testing and Analysis (ISSTA 2018) (to appear)","DOI":"10.1145\/3213846.3213852"},{"key":"1_CR70","doi-asserted-by":"crossref","unstructured":"Tillmann, N., de Halleux, J., Xie, T.: Transferring an automated test generation tool to practice: from Pex to Fakes and Code Digger. In: 29th ACM\/IEEE International Conference on Automated Software Engineering (ASE), pp. 385\u2013396 (2014)","DOI":"10.1145\/2642937.2642941"},{"key":"1_CR71","unstructured":"Tracey, N., Clark, J., Mander, K.: The way forward for unifying dynamic test-case generation: the optimisation-based approach. In: International Workshop on Dependable Computing and Its Applications (DCIA), IFIP, pp. 169\u2013180, January 1998"},{"issue":"14","key":"1_CR72","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. Inf. Softw. Technol. 43(14), 841\u2013854 (2001)","journal-title":"Inf. Softw. Technol."},{"key":"1_CR73","doi-asserted-by":"crossref","unstructured":"Yang, L., Dang, Z., Fischer, T.R., Kim, M.S., Tan, L.: Entropy and software systems: towards an information-theoretic foundation of software testing. In: 2010 FSE\/SDP Workshop on the Future of Software Engineering Research, pp. 427\u2013432, November 2010","DOI":"10.1145\/1882362.1882449"},{"issue":"2","key":"1_CR74","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/stv.430","volume":"22","author":"S Yoo","year":"2012","unstructured":"Yoo, S., Harman, M.: Regression testing minimisation, selection and prioritisation: a survey. J. Softw. Testing Verif. Reliab. 22(2), 67\u2013120 (2012)","journal-title":"J. Softw. Testing Verif. Reliab."},{"key":"1_CR75","doi-asserted-by":"crossref","unstructured":"Yoo, S., Harman, M., Clark, D.: Fault localization prioritization: comparing information theoretic and coverage based approaches. ACM Trans. Softw. Eng. Methodol. 22(3), Article no. 19 (2013)","DOI":"10.1145\/2491509.2491513"},{"issue":"3","key":"1_CR76","doi-asserted-by":"publisher","first-page":"550","DOI":"10.1007\/s10664-013-9247-y","volume":"18","author":"S Yoo","year":"2013","unstructured":"Yoo, S., Harman, M., Ur, S.: GPGPU test suite minimisation: search based software engineering performance improvement using graphics cards. J. Empir. Softw. Eng. 18(3), 550\u2013593 (2013)","journal-title":"J. Empir. Softw. Eng."},{"key":"1_CR77","unstructured":"Yoo, S., Nilsson, R., Harman, M.: Faster fault finding at Google using multi objective regression test optimisation. In: 8th European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC\/FSE 2011), Szeged, Hungary, 5th\u20139th September 2011. Industry Track"}],"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-99241-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,22]],"date-time":"2019-10-22T13:33:34Z","timestamp":1571751214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99241-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319992402","9783319992419"],"references-count":77,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99241-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}