在执行异议之诉中追加股东，需要遵循一定的程序和列明方式。以下是我为您详细梳理的步骤和要点：
一、核心结论
在执行异议之诉中追加股东，需先向法院申请强制执行，并在收到“终本裁定”后，持相关材料向法院申请追加被执行人。若申请被驳回，则需在15日内提起执行异议之诉。在列明股东时，应明确其身份、出资情况、责任范围等。
二、详细步骤
申请强制执行：
- 待判决书生效后，向法院申请强制执行。
- 法院经过网络查控，无法找到可供执行的财产，会做出“终结本次执行程序”的《执行裁定书》（即“终本裁定”）。
申请追加被执行人：
- 收到“终本裁定”后，持终本裁定、申请追加被执行人申请书、工商登记档案等材料，去执行庭申请追加被执行人。
- 执行庭进行形式审查，可能会做出驳回申请的裁定。
提起执行异议之诉：
- 在收到驳回申请的《执行裁定书》后15日内，向法院提起执行异议之诉。
- 起诉时需提交起诉状、证据材料等。
- 法院会开庭审理，进行实质审查是否本案可以追加公司股东为案件的被执行人。
三、列明股东的方式
在执行异议之诉中列明股东时，应包括以下内容：
- 股东基本信息：姓名、性别、年龄、民族、住址、身份证号码等。
- 股东出资情况：出资额、出资方式、出资时间、出资比例等。
- 股东责任范围：明确股东在本案中应承担的责任范围，如出资不实、抽逃出资等。
- 诉讼请求：明确请求法院追加该股东为被执行人，并在其责任范围内承担相应责任。
四、注意事项
- 提交材料的准确性：确保提交的材料真实、准确、完整，以避免因材料问题导致申请被驳回。
- 时间要求：提起执行异议之诉有严格的时间要求，务必在收到裁定的15日内提交。
- 法院选择：注意区分执行庭和立案庭的职能，确保在正确的部门提交申请和起诉材料。
- 法律依据：在申请和起诉过程中，应充分引用相关法律法规和司法解释，以支持自己的主张。
希望以上内容能对您有所帮助。如有任何疑问或需要进一步的法律帮助，请随时向我咨询。