若股东被追加执行，一般应先提执行异议，若对执行异议裁定不服，再考虑执行异议之诉。以下是对这一问题的详细分析：

一、执行异议与执行异议之诉的基本概念

1. 执行异议：在执行过程中，当事人、利害关系人对执行行为或执行标的提出书面异议，法院在收到异议之日起十五日内进行审查，理由成立的，裁定撤销或者改正；理由不成立的，裁定驳回。
2. 执行异议之诉：当案外人对执行行为或执行标的提出异议，且认为其权利受到侵害时，可以提起执行异议之诉。法院会对案件进行审理，根据审理结果作出相应判决。

二、股东被追加执行时的程序选择

1. 直接申请追加股东为被执行人：

   • 依据：主要依据《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》。
   • 适用情形：股东存在未出资、抽逃出资、未届出资期限加速到期等明确列举的行为。
   • 后续程序：若追加申请被驳回，可提出执行异议；若对执行异议裁定仍不服，可提起执行异议之诉。

2. 另案起诉股东损害债权人利益：

   • 依据：主要依据《公司法》的相关规定，如人格否认、滥用法人独立地位等。
   • 适用情形：股东存在瑕疵出资、抽逃出资、人格混同、未清算导致财产灭失等更广泛的责任。
   • 程序特点：需经历一审、二审，周期较长，但可一次性解决争议，要求股东承担连带责任或补充赔偿责任。

三、选择执行异议还是执行异议之诉的考量因素

1. 证据充分性：

   • 若证据充分，如股东未出资、抽逃出资的证据明确，可优先申请追加股东为被执行人，失败后再提执行异议之诉。
   • 若证据模糊，仅有间接证据，如财务往来异常，需通过诉讼程序调查取证，则可能更适合另案起诉。

2. 责任类型复杂性：

   • 若涉及复杂责任，如人格混同、股权转让瑕疵等，直接另案起诉可能更为合适，以避免程序空转。
   • 若责任类型相对简单，如股东未出资，则可通过执行程序追加股东。

3. 效率与成本考量：

   • 执行异议之诉按非财产案件收费，费用相对较低，且执行程序中审查较快。
   • 另案起诉按财产案件收费，与诉讼请求金额挂钩，且需经历一审、二审，周期较长。

四、实际操作建议

1. 初步评估证据：在决定是提执行异议还是执行异议之诉前，应初步评估手头证据的充分性和可靠性。
2. 咨询专业律师：虽然我作为专业律师已经给出了上述建议，但每个案件的具体情况都有所不同，因此在实际操作前，最好还是咨询专业律师以获取更具体的指导。
3. 灵活选择程序：根据案件的具体情况和自身需求，灵活选择执行异议或执行异议之诉程序，以最大化维护自身权益。

举例说明：假设某公司股东将未届出资期限的股权低价转让给关联方，导致公司无财产可供执行。此时，债权人可先尝试直接申请追加该股东为被执行人。若申请被驳回，可提出执行异议；若对执行异议裁定仍不服，且认为股东行为构成人格混同或股权转让瑕疵等复杂责任，则可提起执行异议之诉或另案起诉股东损害债权人利益。

在实际操作中，务必根据案件具体情况和自身需求灵活选择程序，并咨询专业律师以获取更具体的指导。