{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:42:01Z","timestamp":1740123721878,"version":"3.37.3"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T00:00:00Z","timestamp":1561420800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T00:00:00Z","timestamp":1561420800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100004063","name":"Knut och Alice Wallenbergs Stiftelse","doi-asserted-by":"crossref","award":["64274"],"award-info":[{"award-number":["64274"]}],"id":[{"id":"10.13039\/501100004063","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/100010667","name":"H2020 Industrial Leadership","doi-asserted-by":"publisher","award":["731529"],"award-info":[{"award-number":["731529"]}],"id":[{"id":"10.13039\/100010667","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Genet Program Evolvable Mach"],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1007\/s10710-019-09355-3","type":"journal-article","created":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T13:34:56Z","timestamp":1561469696000},"page":"531-580","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":23,"title":["A journey among Java neutral program variants"],"prefix":"10.1007","volume":"20","author":[{"given":"Nicolas","family":"Harrand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Allier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelino","family":"Rodriguez-Cancio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Monperrus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4015-4640","authenticated-orcid":false,"given":"Benoit","family":"Baudry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,6,25]]},"reference":[{"key":"9355_CR1","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1109\/MS.2014.150","volume":"32","author":"S Allier","year":"2015","unstructured":"S. Allier, O. Barais, B. Baudry, J. Bourcier, E. Daubert, F. Fleurey, M. Monperrus, H. Song, M. Tricoire, Multi-tier diversification in web-based software applications. IEEE Softw. 32, 83\u201390 (2015)","journal-title":"IEEE Softw."},{"key":"9355_CR2","doi-asserted-by":"crossref","unstructured":"E.T. Barr, M. Harman, Y. Jia, A. Marginean, J. Petke, Automated software transplantation, in Proceedings of the 2015 International Symposium on Software Testing and Analysis (ACM, 2015), pp. 257\u2013269","DOI":"10.1145\/2771783.2771796"},{"key":"9355_CR3","doi-asserted-by":"crossref","unstructured":"M. Basios, L. Li, F. Wu, L. Kanthan, E.T. Barr, Darwinian data structure selection, in Proceedings of ESEC\/FSE (2018)","DOI":"10.1145\/3236024.3236043"},{"key":"9355_CR4","unstructured":"B. Baudry, S. Allier, M. Monperrus, Tailored source code transformations to synthesize computationally diverse program variants, in Proceedings of ISSTA (2014), pp. 149\u2013159"},{"issue":"1","key":"9355_CR5","doi-asserted-by":"publisher","first-page":"16:1","DOI":"10.1145\/2807593","volume":"48","author":"B Baudry","year":"2015","unstructured":"B. Baudry, M. Monperrus, The multiple facets of software diversity: recent developments in year 2000 and beyond. ACM Comput. Surv. 48(1), 16:1\u201316:26 (2015)","journal-title":"ACM Comput. Surv."},{"issue":"4","key":"9355_CR6","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1177\/1094342006070078","volume":"20","author":"R Bolze","year":"2006","unstructured":"R. Bolze, F. Cappello, E. Caron, M. Dayd\u00e9, F. Desprez, E. Jeannot, Y. J\u00e9gou, S. Lanteri, J. Leduc, N. Melab et al., Grid\u20195000: a large scale and highly reconfigurable experimental grid testbed. Int. J. High Perform. Comput. Appl. 20(4), 481\u2013494 (2006)","journal-title":"Int. J. High Perform. Comput. Appl."},{"key":"9355_CR7","unstructured":"A. Carzaniga, A. Goffi, A. Gorla, A. Mattavelli, M. Pezz\u00e8, Cross-checking oracles from intrinsic software redundancy, in Proceedings of ICSE, ICSE 2014 (2014), pp. 931\u2013942"},{"key":"9355_CR8","unstructured":"A. Carzaniga, A. Mattavelli, M. Pezz\u00e8, Measuring software redundancy, in Proceedings of ICSE, vol. 1 (2015), pp. 156\u2013166"},{"key":"9355_CR9","doi-asserted-by":"crossref","unstructured":"S. Chiba, Load-time structural reflection in java, in Proceedings of ECOOP, (Springer, 2000), pp. 313\u2013336","DOI":"10.1007\/3-540-45102-1_16"},{"key":"9355_CR10","doi-asserted-by":"crossref","unstructured":"B. Cody-Kenny, M. O\u2019Neill, S. Barrett, Performance localisation, in Proceedings of GI (2018)","DOI":"10.1145\/3194810.3194815"},{"issue":"6","key":"9355_CR11","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1016\/0167-4048(93)90054-9","volume":"12","author":"FB Cohen","year":"1993","unstructured":"F.B. Cohen, Operating system protection through program evolution. Comput. Secur. 12(6), 565\u2013584 (1993)","journal-title":"Comput. Secur."},{"issue":"4","key":"9355_CR12","doi-asserted-by":"publisher","first-page":"2086","DOI":"10.1007\/s10664-017-9571-8","volume":"23","author":"B Danglot","year":"2017","unstructured":"B. Danglot, P. Preux, B. Baudry, M. Monperrus, Correctness attraction: a study of stability of software behavior under runtime perturbation. Empir. Softw. Eng. 23(4), 2086\u20132119 (2017)","journal-title":"Empir. Softw. Eng."},{"key":"9355_CR13","doi-asserted-by":"crossref","unstructured":"E.F. de Souza, C.L. Goues, C.G. Camilo-Junior, A novel fitness function for automated program repair based on source code checkpoints, in Proceedings of GECCO (IEEE, 2018), pp. 1443\u20131450","DOI":"10.1145\/3205455.3205566"},{"issue":"3","key":"9355_CR14","first-page":"4038","volume":"5","author":"PS Devan","year":"2014","unstructured":"P.S. Devan, R. Kamat, A review-loop dependence analysis for parallelizing compiler. Int. J. Comput. Sci. Inf. Technol. 5(3), 4038\u20134046 (2014)","journal-title":"Int. J. Comput. Sci. Inf. Technol."},{"issue":"6","key":"9355_CR15","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1049\/ip-sen:19982444","volume":"145","author":"R Feldt","year":"1998","unstructured":"R. Feldt, Generating diverse software versions with genetic programming: an experimental study. IEE Proc. Softw. 145(6), 228\u2013236 (1998)","journal-title":"IEE Proc. Softw."},{"key":"9355_CR16","doi-asserted-by":"crossref","unstructured":"M. Gabel, Z. Su, A study of the uniqueness of source code, in Proceedings of FSE (ACM, 2010), pp. 147\u2013156","DOI":"10.1145\/1882291.1882315"},{"key":"9355_CR17","doi-asserted-by":"crossref","unstructured":"S.O. Haraldsson, J.R. Woodward, A.E.I. Brownlee, A.V. Smith, V. Gudnason, Genetic improvement of runtime and its fitness landscape in a bioinformatics application, in Proceedings of the Genetic and Evolutionary Computation Conference Companion, GECCO\u201917, New York, NY, USA (ACM, 2017), pp. 1521\u20131528","DOI":"10.1145\/3067695.3082526"},{"issue":"14","key":"9355_CR18","doi-asserted-by":"publisher","first-page":"833","DOI":"10.1016\/S0950-5849(01)00189-6","volume":"43","author":"M Harman","year":"2001","unstructured":"M. Harman, B.F. Jones, Search-based software engineering. Inf. Softw. Technol. 43(14), 833\u2013839 (2001)","journal-title":"Inf. Softw. Technol."},{"key":"9355_CR19","unstructured":"N. Harrand, B. Baudry, Software diversification as an obfuscation technique, in International Workshop on Obfuscation: Science, Technology, and Theory (2017), pp. 31\u201334"},{"issue":"4","key":"9355_CR20","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1145\/2775054.2694394","volume":"50","author":"D Kim","year":"2015","unstructured":"D. Kim, Y. Kwon, W.N. Sumner, X. Zhang, D. Xu, Dual execution for on the fly fine grained execution comparison. SIGPLAN Not. 50(4), 325\u2013338 (2015)","journal-title":"SIGPLAN Not."},{"key":"9355_CR21","doi-asserted-by":"crossref","unstructured":"W.B. Langdon, J. Petke, Software is not fragile, in First Complex Systems Digital Campus World E-Conference 2015 (Springer, 2017), pp. 203\u2013211","DOI":"10.1007\/978-3-319-45901-1_24"},{"key":"9355_CR22","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-319-55696-3_7","volume-title":"Genetic Programming","author":"WB Langdon","year":"2017","unstructured":"W.B. Langdon, N. Veerapen, G. Ochoa, Visualising the search landscape of the triangle program, in Genetic Programming, ed. by J. McDermott, M. Castelli, L. Sekanina, E. Haasdijk, P. Garc\u00eda-S\u00e1nchez (Springer, Cham, 2017), pp. 96\u2013113"},{"key":"9355_CR23","doi-asserted-by":"crossref","unstructured":"J. L\u00f3pez, N. Kushik, N. Yevtushenko, Source code optimization using equivalent mutants. CoRR, abs\/1803.09571 (2018)","DOI":"10.1016\/j.infsof.2018.06.013"},{"key":"9355_CR24","doi-asserted-by":"crossref","unstructured":"I. Manotas, L. Pollock, J. Clause, Seeds: a software engineer\u2019s energy-optimization decision support framework, in Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, New York, NY, USA (ACM, 2014), pp. 503\u2013514","DOI":"10.1145\/2568225.2568297"},{"issue":"4","key":"9355_CR25","first-page":"62","volume":"48","author":"S Mittal","year":"2016","unstructured":"S. Mittal, A survey of techniques for approximate computing. ACM Comput. Surv. 48(4), 62 (2016)","journal-title":"ACM Comput. Surv."},{"issue":"2","key":"9355_CR26","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/MSP.2013.137","volume":"12","author":"H Okhravi","year":"2014","unstructured":"H. Okhravi, T. Hobson, D. Bigelow, W. Streilein, Finding focus in the blur of moving-target techniques. IEEE Secur. Priv. Mag. 12(2), 16\u201326 (2014)","journal-title":"IEEE Secur. Priv. Mag."},{"key":"9355_CR27","doi-asserted-by":"publisher","first-page":"1155","DOI":"10.1002\/spe.2346","volume":"46","author":"R Pawlak","year":"2015","unstructured":"R. Pawlak, M. Monperrus, N. Petitprez, C. Noguera, L. Seinturier, Spoon: a library for implementing analyses and transformations of java source code. Softw. Pract. Exp. 46, 1155\u20131179 (2015)","journal-title":"Softw. Pract. Exp."},{"issue":"3","key":"9355_CR28","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1109\/TEVC.2017.2693219","volume":"22","author":"J Petke","year":"2017","unstructured":"J. Petke, S. Haraldsson, M. Harman, D. White, J. Woodward et al., Genetic improvement of software: a comprehensive survey. IEEE Trans. Evolut. Comput. 22(3), 415\u2013432 (2017)","journal-title":"IEEE Trans. Evolut. Comput."},{"key":"9355_CR29","doi-asserted-by":"crossref","unstructured":"J. Renzullo, W. Weimer, M. Moses, S. Forrest, Neutrality and epistasis in program space, in Proceedings of GI (ACM, 2018)","DOI":"10.1145\/3194810.3194812"},{"key":"9355_CR30","doi-asserted-by":"crossref","unstructured":"M. Rinard, Obtaining and reasoning about good enough software, in Proceedings of DAC (ACM, 2012), pp. 930\u2013935","DOI":"10.1145\/2228360.2228526"},{"key":"9355_CR31","doi-asserted-by":"crossref","unstructured":"M. Rodriguez-Cancio, B. Combemale, B. Baudry, Automatic microbenchmark generation to prevent dead code elimination and constant folding, in Proceedings of ASE (Singapore, Singapore, 2016)","DOI":"10.1145\/2970276.2970346"},{"key":"9355_CR32","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-540-30579-8_14","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"A S\u0103lcianu","year":"2005","unstructured":"A. S\u0103lcianu, M. Rinard, Purity and side effect analysis for Java programs, in Verification, Model Checking, and Abstract Interpretation, ed. by R. Cousot (Springer, Berlin, 2005), pp. 199\u2013215"},{"key":"9355_CR33","doi-asserted-by":"crossref","unstructured":"E. Schulte, J. Dorn, S. Harding, S. Forrest, W. Weimer, Post-compiler software optimization for reducing energy, in ACM SIGARCH Computer Architecture News, vol.\u00a042 (ACM, 2014), pp. 639\u2013652","DOI":"10.1145\/2654822.2541980"},{"issue":"3","key":"9355_CR34","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/s10710-013-9195-8","volume":"15","author":"E Schulte","year":"2014","unstructured":"E. Schulte, Z.P. Fry, E. Fast, W. Weimer, S. Forrest, Software mutational robustness. Genet. Program. Evolvable Mach. 15(3), 281\u2013312 (2014)","journal-title":"Genet. Program. Evolvable Mach."},{"issue":"6","key":"9355_CR35","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1145\/1543135.1542522","volume":"44","author":"O Shacham","year":"2009","unstructured":"O. Shacham, M. Vechev, E. Yahav, Chameleon: adaptive selection of collections. SIGPLAN Not. 44(6), 408\u2013418 (2009)","journal-title":"SIGPLAN Not."},{"issue":"2","key":"9355_CR36","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/s10664-008-9060-1","volume":"13","author":"FJ Shull","year":"2008","unstructured":"F.J. Shull, J.C. Carver, S. Vegas, N. Juristo, The role of replications in Empirical Software Engineering. Empir. Softw. Eng. 13(2), 211\u2013218 (2008)","journal-title":"Empir. Softw. Eng."},{"key":"9355_CR37","doi-asserted-by":"crossref","unstructured":"M. Suzuki, A.C. de\u00a0Paula, E. Guerra, C.V. Lopes, O.A.L. Lemos, An exploratory study of functional redundancy in code repositories, in Proceedings of SCAM (IEEE, 2017), pp. 31\u201340","DOI":"10.1109\/SCAM.2017.21"},{"key":"9355_CR38","doi-asserted-by":"crossref","unstructured":"S. Wang, P. Wang, D. Wu, Composite software diversification, in Proceedings of ICSME (IEEE, 2017), pp. 284\u2013294","DOI":"10.1109\/ICSME.2017.61"},{"key":"9355_CR39","unstructured":"X. Yao, M. Harman, Y. Jia, A study of equivalent and stubborn mutation operators using human analysis of equivalence, in Proceedings of ICSE (2014), pp. 919\u2013930"},{"key":"9355_CR40","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2874648","author":"Y Yuan","year":"2018","unstructured":"Y. Yuan, W. Banzhaf, Arja: automated repair of Java programs via multi-objective genetic programming. IEEE Trans. Softw. Eng. (2018). \n                    https:\/\/doi.org\/10.1109\/TSE.2018.2874648","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Genetic Programming and Evolvable Machines"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10710-019-09355-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10710-019-09355-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10710-019-09355-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,23]],"date-time":"2020-06-23T23:16:41Z","timestamp":1592954201000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10710-019-09355-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,25]]},"references-count":40,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["9355"],"URL":"https:\/\/doi.org\/10.1007\/s10710-019-09355-3","relation":{},"ISSN":["1389-2576","1573-7632"],"issn-type":[{"type":"print","value":"1389-2576"},{"type":"electronic","value":"1573-7632"}],"subject":[],"published":{"date-parts":[[2019,6,25]]},"assertion":[{"value":"18 December 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 May 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 June 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}