Hacia Una Reparación Automatizada de Programas Más Confiable mediante la Integración de Técnicas de Análisis Estático