执行异议之诉未列被告，确实可能构成程序严重违法，但具体是否构成需结合案件具体情况判断。以下从多个角度进行分析：
一、程序合法性的基本要求
在民事诉讼中，程序合法性是确保审判公正、保障当事人诉讼权利的重要基础。执行异议之诉作为一种特殊的诉讼程序，同样需要遵循程序合法性的基本要求。其中，正确列明被告是程序合法性的重要一环。被告是诉讼中的一方当事人，其参与诉讼对于查明事实、分清责任、保障当事人诉讼权利具有重要意义。
二、未列被告可能导致的程序问题
剥夺被告诉讼权利：如果执行异议之诉中未列明被告，那么被告将无法参与诉讼，无法行使陈述、答辩、举证、质证等诉讼权利。这显然剥夺了被告的诉讼权利，违反了程序合法性的基本要求。
影响案件事实查明：被告作为诉讼的一方当事人，其参与诉讼有助于全面、客观地查明案件事实。如果未列明被告，那么案件事实的查明可能受到限制，导致判决结果的不公正。
损害司法权威：程序合法性是司法权威的重要体现。如果执行异议之诉中未列明被告，那么该诉讼程序可能被视为存在严重瑕疵，从而损害司法权威。
三、是否构成程序严重违法的判断标准
虽然未列明被告在执行异议之诉中可能构成程序问题，但是否构成“严重违法”需结合具体案件情况判断。以下是一些可能的判断标准：
是否影响案件结果：如果未列明被告对案件结果产生了实质性影响，如导致判决结果的不公正，那么可能构成程序严重违法。
是否可补救：如果未列明被告是由于疏忽或错误导致的，且可以通过补正程序（如追加被告）进行补救，那么可能不构成程序严重违法。但如果无法补救或补救后仍无法消除影响，则可能构成程序严重违法。
是否违反强制性规定：如果相关法律法规或司法解释明确规定了执行异议之诉中必须列明被告，且未列明被告违反了这些强制性规定，那么可能构成程序严重违法。
四、法律建议
在提起执行异议之诉时，务必仔细审查案件材料，确保正确列明所有被告。这有助于保障诉讼程序的合法性，避免后续可能出现的程序问题。
如果发现未列明被告的情况，应及时与法院沟通并申请追加被告。在申请追加被告时，应提供充分的证据和理由，以说明追加被告的必要性和合理性。
如果认为未列明被告已经构成了程序严重违法，并影响了案件结果，可以考虑在上诉或申请再审时提出相关主张。但需要注意的是，提出此类主张时应提供充分的证据和理由，以支持自己的观点。
如有任何关于执行异议之诉或其他法律问题的疑问，可以直接向我咨询。我会结合你的具体情况，为你提供全面、准确的法律解答。