e-Otter++ 自动生成 fail-to-pass 复现测试，破解 bug 验证难题

e-Otter++ 系统自动生成并筛选复现测试，在修复前失败、修复后通过，用于验证 bug 是否真实。该系统面向现代软件工程的测试需求，支持测试驱动开发、确认补丁有效和防止回归。其关键约束是在最终修复补丁写出来之前生成符合 fail-to-pass 行为的自动化测试。