结论前置：在执行程序中，若公司财产不足以清偿债务，债权人可依法申请追加存在特定情形的股东为被执行人，要求其承担相应责任。即便追加股东后，若股东仍不执行，债权人可依据相关法律法规，通过法院强制执行程序来维护自身权益。以下是对这些情形的详细解析及法律依据：
一、股东未履行或未全面履行出资义务
法律依据：
- 《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第十七条：作为被执行人的营利法人，财产不足以清偿生效法律文书确定的债务，申请执行人申请变更、追加未缴纳或未足额缴纳出资的股东、出资人或依公司法规定对该出资承担连带责任的发起人为被执行人，在尚未缴纳出资的范围内依法承担责任的，人民法院应予支持。
具体条件：
- 股东未按公司章程规定的出资额、出资方式、出资期限足额缴纳出资。
法律后果：
- 股东需在未出资本息范围内对公司债务不能清偿的部分承担补充赔偿责任。若股东仍不执行，法院可依法对其财产进行查封、扣押、冻结等强制执行措施。
二、股东抽逃出资
法律依据：
- 《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第十八条：作为被执行人的营利法人，财产不足以清偿生效法律文书确定的债务，申请执行人申请变更、追加抽逃出资的股东、出资人为被执行人，在抽逃出资的范围内承担责任的，人民法院应予支持。
- 《最高人民法院关于适用〈中华人民共和国公司法〉若干问题的规定（三）》第十四条：股东抽逃出资，公司或者其他股东请求其向公司返还出资本息、协助抽逃出资的其他股东、董事、高级管理人员或者实际控制人对此承担连带责任的，人民法院应予支持。公司债权人请求抽逃出资的股东在抽逃出资本息范围内对公司债务不能清偿的部分承担补充赔偿责任、协助抽逃出资的其他股东、董事、高级管理人员或者实际控制人对此承担连带责任的，人民法院应予支持。
具体条件：
法律后果：
- 股东需在抽逃出资的范围内对公司债务承担责任。若股东仍不执行，法院可依法采取强制执行措施。
三、一人有限责任公司股东财产混同
法律依据：
- 《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第二十条：作为被执行人的一人有限责任公司，财产不足以清偿生效法律文书确定的债务，股东不能证明公司财产独立于自己的财产，申请执行人申请变更、追加该股东为被执行人，对公司债务承担连带责任的，人民法院应予支持。
- 《中华人民共和国公司法》第六十三条：一人有限责任公司的股东不能证明公司财产独立于股东自己的财产的，应当对公司债务承担连带责任。
具体条件：
- 公司为一人有限责任公司。
- 股东不能证明公司财产独立于其个人财产。
法律后果：
- 股东需对公司债务承担连带责任。若股东仍不执行，法院可依法对其个人财产进行强制执行。
四、公司解散时未依法清算
法律依据：
- 《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第二十一条：作为被执行人的公司，未经清算即办理注销登记，导致公司无法进行清算，申请执行人申请变更、追加有限责任公司的股东、股份有限公司的董事和控股股东为被执行人，对公司债务承担连带清偿责任的，人民法院应予支持。
具体条件：
- 公司未经清算即办理注销登记。
- 导致公司无法进行清算。
法律后果：
- 股东需对公司债务承担连带清偿责任。若股东仍不执行，法院可依法采取强制执行措施。
五、股东恶意处置公司财产
法律依据：
- 《最高人民法院关于民事执行中变更、追加当事人若干问题的规定》第二十二条：作为被执行人的法人或非法人组织，被注销或出现被吊销营业执照、被撤销、被责令关闭、歇业等解散事由后，其股东、出资人或主管部门无偿接受其财产，致使该被执行人无遗留财产或遗留财产不足以清偿债务，申请执行人申请变更、追加该股东、出资人或主管部门为被执行人，在接受的财产范围内承担责任的，人民法院应予支持。
具体条件：
- 公司解散后，股东无偿接受公司财产或恶意处置公司财产。
- 致使公司无足够财产偿债。
法律后果：
- 股东需在接受的财产范围内或恶意处置财产的范围内对公司债务负责。若股东仍不执行，法院可依法采取强制执行措施。
六、执行程序中的特殊要求
申请与审查：
- 追加被执行人通常需依当事人或权利人的申请启动，执行法院不得依职权启动。
- 申请人需提交书面申请及相关证据材料，执行法院将依法进行审查并作出裁定。
听证与裁定：
- 对于涉及重大实体权利的追加申请，执行法院可能组成合议庭进行审查并公开听证。
- 经审查理由成立的，裁定变更、追加；理由不成立的，裁定驳回。
强制执行措施：
- 若股东仍不执行法院裁定，法院可依法对其财产进行查封、扣押、冻结等强制执行措施，甚至可能对其采取限制高消费、纳入失信被执行人名单等措施。
建议：在执行程序中追加股东为被执行人需严格遵守相关法律法规和法院要求，确保执行行为的合法性和有效性。债权人应充分了解相关法律规定，并在必要时寻求专业法律帮助，如直接向我咨询，以维护自身权益。