E. Barr, M. Harman, P. Mcminn, M. Shahbaz, and S. Yoo, The oracle problem in software testing: A survey, IEEE Transactions on Software Engineering, vol.41, issue.5, pp.507-525, 2015.
DOI : 10.1109/tse.2014.2372785
URL : http://doi.org/10.1109/tse.2014.2372785

B. Baudry and M. Monperrus, The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond. ACM Computing Surveys, pp.1-26, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01182103

E. W. Dijkstra, On the cruelty of really teaching computing science, 1988.

P. R. Eggert and D. S. Parker, Perturbing and evaluating numerical programs without recompilation-the wonglediff way. Software: Practice and Experience, vol.35, pp.313-322, 2005.
DOI : 10.1002/spe.637

W. M. Khoo, Decompilation as Search, 2013.

X. Li and D. Yeung, Application-level correctness and its impact on fault tolerance, IEEE 13th International Symposium on High Performance Computer Architecture, pp.181-192, 2007.
DOI : 10.1109/hpca.2007.346196
URL : http://maggini.eng.umd.edu/pub/faults-HPCA2007.ps

S. , A survey of techniques for approximate computing, ACM Comput. Surv, vol.48, issue.4, 2016.

L. Morell, B. Murrill, and R. Rand, Perturbation analysis of computer programs, Computer Assurance, 1997. COMPASS '97. Are We Making Progress Towards Computer Assurance? Proceedings of the 12th Annual Conference on, pp.77-87, 1997.

R. Pawlak, M. Monperrus, N. Petitprez, C. Noguera, and L. Seinturier, Spoon: A Library for Implementing Analyses and Transformations of Java Source Code. Software: Practice and Experience, vol.46, pp.1155-1179, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01078532

M. Rinard, C. Cadar, and H. H. Nguyen, Exploring the acceptability envelope, Companion to the 20th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, OOPSLA '05, pp.21-30, 2005.

P. Roy, R. Ray, C. Wang, and W. F. Wong, Asac: Automatic sensitivity analysis for approximate computing, SIGPLAN Not, vol.49, issue.5, pp.95-104, 2014.

R. Sedgewick, Implementing quicksort programs, Communications of the ACM, vol.21, issue.10, pp.847-857, 1978.

S. Tallam, C. Tian, R. Gupta, and X. Zhang, Avoiding program failures through safe execution perturbations, Proceedings of the 2008 32Nd Annual IEEE International Computer Software and Applications Conference, COMPSAC '08, pp.152-159, 2008.

E. Tang, E. Barr, X. Li, and Z. Su, Perturbing numerical calculations for statistical analysis of floating-point program (in)stability, Proceedings of the 19th International Symposium on Software Testing and Analysis, ISSTA '10, pp.131-142, 2010.

N. Wang, M. Fertig, and S. Patel, Y-branches: when you come to a fork in the road, take it, 12th International Conference on Parallel Architectures and Compilation Techniques, pp.56-66, 2003.

T. A. Welch, A technique for high-performance data compression, Computer, vol.17, issue.6, pp.8-19, 1984.