Análisis de Mutaciones con Manchas de Ejecución