追加、变更被执行人程序在特定情形下确实可以包括追加增资股东，但需满足法定条件并遵循严格程序。以下从不同角度详细分析：

一、可追加增资股东的法定情形

根据《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》及相关法律，以下情形可申请追加增资股东为被执行人：

1. 未缴纳或未足额缴纳增资部分出资：

   • 若增资股东未按期足额履行增资部分的出资义务，且公司财产不足以清偿债务时，可追加该增资股东在未出资本息范围内承担责任。例如，公司原注册资本100万元，后增资至200万元，增资股东承诺出资100万元但实际仅出资50万元，此时若公司债务超过150万元，可追加该增资股东在未出资的50万元及相应利息范围内承担责任。

2. 抽逃增资部分出资：

   • 增资股东在公司增资后非法抽回其增资部分的出资，损害债权人利益，可追加其在抽逃增资出资本息范围内承担责任。例如，增资股东在公司增资后，通过虚构交易等方式将增资款转出，导致公司财产减少，此时可追加该增资股东承担相应责任。

3. 其他符合法律规定的情形：

   • 如增资股东无偿接受公司财产、虚假增资等，若符合法律规定的可追加情形，亦可申请追加。

二、追加增资股东的程序

1. 提交书面申请：

   • 向执行法院提出书面追加申请，列明被申请人（增资股东）信息、追加理由及法律依据。申请中需明确指出增资股东未履行或未全面履行出资义务的具体事实及证据。

2. 提供初步证据：

   • 包括公司章程、验资报告（证明增资情况及股东出资情况）、银行流水（证明抽逃出资或未出资）、工商登记资料（证明增资程序及股东身份）等。例如，提供验资报告显示增资股东实缴金额低于认缴金额，或提供资金转出记录及公司账目异常等证据证明抽逃出资。

3. 参与听证程序并举证质证：

   • 执行法院将审查申请材料，必要时组织听证会，要求双方陈述意见并举证。申请人需证明增资股东存在法定可追加情形；被申请人可反驳并提供反证（如出资凭证、审计报告等）。例如，对于“未足额出资”主张，增资股东可能提供银行转账记录证明已实际出资。

4. 等待裁定并执行救济：

   • 若申请成立，法院将裁定追加增资股东为被执行人；若不成立则驳回申请。被申请人可在收到裁定后10日内向执行法院提出异议；对异议裁定不服的，可在15日内向上级法院申请复议。追加成功后，可对增资股东采取查封财产、冻结账户、限制高消费等执行措施。

三、注意事项

1. 时效要求：

   • 需在执行终结前提出申请，避免因程序终结丧失追加机会。若执行程序已终结，则无法再追加增资股东为被执行人。

2. 专业支持：

   • 建议委托律师协助收集证据、起草法律文书并参与听证，以提升成功率。律师可凭借专业知识和经验，更准确地判断案件走向和制定应对策略。

3. 风险防控：

   • 申请人需提供充分证据证明增资股东存在法定可追加情形，否则可能承担不利后果；被申请人应积极抗辩并提供反证，维护自身权益。例如，增资股东可提供审计报告证明其出资情况或公司财产独立性。

如有具体案件或进一步疑问，可直接向我咨询，我将结合案件事实和法律规定，为你提供更详细的法律分析和建议。