Enviar por SMS: Mining hints for fixing formal specifications