Ce projet vise à étudier la faisabilité et l'efficacité de l'utilisation de la génération de tests pour atténuer le problème de sur-ajustement dans les techniques de réparation de programmes basées sur les jeux de tests. Il utilise l'outil EvoSuite pour générer des tests et propose deux approches pour améliorer la réparation de programmes : MinImpact et UnsatGuided. Les résultats de l'expérimentation sur 224 bugs de Defects4J sont inclus dans le dépôt.

Le projet maven-repair vise à automatiser la réparation des bugs Java en générant des correctifs pour les projets Maven. Il analyse les rapports de tests unitaires et fournit des solutions de réparation en utilisant des techniques avancées telles que Nopol et Astor.

Dépôt de code source pour le système de génération de correctifs Itzal, axé sur l'open-science. Il permet le développement et l'expérimentation de systèmes dédiés à la génération automatique de correctifs pour des logiciels.