2026

• ExplosionGuard: Policy Synthesis and Guardrails for Budget-Constrained Symbolic Execution
  Jaeyeong Lee and GeonWoo Lee
  Korea Conference on Software Engineering (KCSE), 2026