执行异议之诉，是指当事人和案外人对执行标的实体权利存有争议，请求执行法院解决争议而引起的诉讼。执行异议之诉是执行救济的重要途径之一。

执行程序中，被申请人或申请人对执行法院依据以下情形之一作出的变更、追加被申请人裁定或驳回申请裁定不服的，可以自裁定书送达之日起十五日内，向执行法院提起执行异议之诉：

1、作为被执行人的有限合伙企业，财产不足以清偿生效法律文书确定的债务，申请执行人申请变更、追加未按期足额缴纳出资的有限合伙人为被执行人，要求在未足额缴纳出资的范围内承担责任的。

2、作为被执行人的营利法人，财产不足以清偿生效法律文书确定的债务，申请执行人申请变更、追加未缴纳或未足额缴纳出资的股东、出资人或依公司法规定对该出资承担连带责任的发起人为被执行人，要求在尚未缴纳出资的范围内依法承担责任的。

3、作为被执行人的营利法人，财产不足以清偿生效法律文书确定的债务，申请执行人申请变更、追加抽逃出资的股东、出资人为被执行人，要求在抽逃出资的范围内承担责任的。

4、作为被执行人的公司，财产不足以清偿生效法律文书确定的债务，其股东未依法履行出资义务即转让股权，申请执行人申请变更、追加该原股东或依公司法规定对该出资承担连带责任的发起人为被执行人，要求在未依法出资的范围内承担责任的。

5、作为被执行人的一人有限责任公司，财产不足以清偿生效法律文书确定的债务，股东不能证明公司财产独立于自己的财产，申请执行人申请变更、追加该股东为被执行人，要求对公司债务承担连带责任的。

6、作为被执行人的公司，未经清算即办理注销登记，导致公司无法进行清算，申请执行人申请变更、追加有限责任公司的股东、股份有限公司的董事和控股股东为被执行人，要求对公司债务承担连带清偿责任的。

被申请人提起执行异议之诉的，以申请人为被告。申请人提起执行异议之诉的，以被申请人为被告。诉讼期间，人民法院不得对被申请人争议范围内的财产进行处分，申请人请求人民法院继续执行并提供相应担保的，人民法院可以准许。