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

B. Baudry and M. Monperrus, The Multiple Facets of Software Diversity, ACM Computing Surveys, vol.48, issue.1, pp.1-26, 2015.
DOI : 10.1145/2807593
URL : https://hal.archives-ouvertes.fr/hal-01067782

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, 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, 2007 IEEE 13th International Symposium on High Performance Computer Architecture, pp.181-192, 2007.
DOI : 10.1109/HPCA.2007.346196
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.115.759

L. Morell, B. Murrill, and R. Rand, Perturbation analysis of computer programs, Proceedings of COMPASS '97: 12th Annual Conference on Computer Assurance, pp.77-87, 1997.
DOI : 10.1109/CMPASS.1997.613242

R. Pawlak, M. Monperrus, N. Petitprez, C. Noguera, and L. Seinturier, Spoon, Proceedings of the 1st workshop on Aspect oriented middleware development , AOMD '05, pp.1155-1179, 2015.
DOI : 10.1145/1101560.1101566
URL : https://hal.archives-ouvertes.fr/inria-00071366

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.
DOI : 10.1145/1094855.1094866

P. Roy, R. Ray, C. Wang, and W. F. Wong, ASAC, ACM SIGPLAN Notices, vol.49, issue.5, pp.95-104, 2014.
DOI : 10.1145/2666357.2597812

R. Sedgewick, Implementing Quicksort programs, Communications of the ACM, vol.21, issue.10, pp.847-857, 1978.
DOI : 10.1145/359619.359631

S. Tallam, C. Tian, R. Gupta, and X. Zhang, Avoiding Program Failures Through Safe Execution Perturbations, 2008 32nd Annual IEEE International Computer Software and Applications Conference, pp.152-159, 2008.
DOI : 10.1109/COMPSAC.2008.23
URL : http://alumni.cs.ucr.edu/~tianc/publications/compsac08.pdf

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.
DOI : 10.1145/1831708.1831724

N. Wang, M. Fertig, and S. Patel, Y-branches: when you come to a fork in the road, take it, Oceans 2002 Conference and Exhibition. Conference Proceedings (Cat. No.02CH37362), pp.56-66, 2003.
DOI : 10.1109/PACT.2003.1238002

T. A. Welch, A Technique for High-Performance Data Compression, Computer, vol.17, issue.6, pp.8-19, 1984.
DOI : 10.1109/MC.1984.1659158