执行程序中案外人如何提起执行异议之诉？

问题
案外人认为法院执行的标的（如房产、车辆、股权等）属于自己所有，或对该标的享有足以排除强制执行的实体权利（如租赁权、抵押权），向法院提出执行异议后被驳回，能否提起执行异议之诉？起诉条件、程序、诉讼请求及法律后果是什么？
解答
案外人可在收到异议驳回裁定书后 15 日内，向执行法院提起执行异议之诉。根据《民事诉讼法》第二百三十四条、《最高人民法院关于适用 <中华人民共和国民事诉讼法> 的解释》第三百零五条，起诉条件为：案外人执行异议被法院裁定驳回；起诉在法定 15 日期限内；有明确的诉讼请求（不得执行该执行标的、确认对标的的实体权利）；被告为申请执行人（被执行人反对案外人主张的，列为共同被告）；提交证明对执行标的享有实体权利的证据。法院经审理，若认定案外人享有足以排除强制执行的实体权利，判决不得执行该标的；反之，判决驳回诉讼请求。
案例
赵某名下房产被法院查封执行，案外人孙某提出执行异议，主张该房产系其与赵某签订购房合同后全款购买，已实际占有但未过户，因赵某原因导致查封，异议被法院驳回。孙某在收到驳回裁定书后 10 日内向执行法院提起执行异议之诉，提交购房合同、全款支付凭证、物业费及水电费缴纳记录等证据。法院审理认定孙某享有足以排除执行的权利，判决不得执行该房产。
法律分析
执行异议之诉是案外人实体权利救济的核心程序，与执行异议（程序审查）不同，其重点审查案外人是否享有优于申请执行人的实体权利。诉讼期间，不停止执行，但案外人可申请法院中止执行，避免标的被处置后无法恢复。
上海执行律师建议
执行异议被驳回后，务必在 15 日内提起诉讼，避免超过法定起诉期限；诉讼请求需明确两项核心内容：“不得执行案涉标的” 及 “确认对标的的实体权利”（如所有权、租赁权）；收集完整的权利证据链，如合同、付款凭证、占有证明、未过户原因证明等，证明权利合法有效且成立于查封之前；若被执行人反对案外人主张，需将其列为共同被告，全面参与诉讼；诉讼中可申请法院对执行标的采取保全措施，防止标的被拍卖、变卖；积极配合法院审理，必要时申请证人出庭或提交鉴定意见，强化权利主张。