R. Abreu, P. Zoeteweij, and A. J. Van-gemund, On the Accuracy of Spectrum-based Fault Localization, Testing: Academic and Industrial Conference Practice and Research Techniques, MUTATION (TAICPART-MUTATION 2007), pp.89-98, 2007.
DOI : 10.1109/TAIC.PART.2007.13

R. Bolze, F. Cappello, E. Caron, M. Daydé, F. Desprez et al., Grid'5000: A Large Scale And Highly Reconfigurable Experimental Grid Testbed, International Journal of High Performance Computing Applications, vol.20, issue.4, pp.481-494, 2006.
DOI : 10.1177/1094342006070078

URL : https://hal.archives-ouvertes.fr/hal-00684943

J. Campos, A. Riboira, A. Perez, and R. Abreu, GZoltar: an eclipse plug-in for testing and debugging, Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, ASE 2012, 2012.
DOI : 10.1145/2351676.2351752

F. Demarco, J. Xuan, D. L. Berre, and M. Monperrus, Automatic repair of buggy if conditions and missing preconditions with SMT, Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, CSTVA 2014, 2014.
DOI : 10.1145/2593735.2593740

URL : https://hal.archives-ouvertes.fr/hal-00977798

J. Galenson, P. Reames, R. Bodik, K. Hartmann, and . Sen, CodeHint: dynamic and interactive synthesis of code snippets, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp.653-663, 2014.
DOI : 10.1145/2568225.2568250

S. Jha, S. Gulwani, S. A. Seshia, and A. Tiwari, Oracle-guided component-based program synthesis, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, pp.215-224, 2010.
DOI : 10.1145/1806799.1806833

R. Just, D. Jalali, and M. D. Ernst, Defects4J: a database of existing faults to enable controlled testing studies for Java programs, Proceedings of the 2014 International Symposium on Software Testing and Analysis, ISSTA 2014, pp.437-440, 2014.
DOI : 10.1145/2610384.2628055

C. , L. Goues, T. Nguyen, S. Forrest, and W. Weimer, Genprog: A generic method for automatic software repair, IEEE Transactions on Software Engineering, vol.38, issue.1, pp.54-72, 2012.

H. D. Nguyen, D. Qi, A. Roychoudhury, and S. Chandra, SemFix: Program repair via semantic analysis, 2013 35th International Conference on Software Engineering (ICSE), pp.772-781, 2013.
DOI : 10.1109/ICSE.2013.6606623