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
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
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
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
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
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
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
Genprog: A generic method for automatic software repair, IEEE Transactions on Software Engineering, vol.38, issue.1, pp.54-72, 2012. ,
SemFix: Program repair via semantic analysis, 2013 35th International Conference on Software Engineering (ICSE), pp.772-781, 2013. ,
DOI : 10.1109/ICSE.2013.6606623