agentsfactbullishIterative agentic loops combining witness search with parity-preserving mutations can overcome locked paragraphs that prevent deeper program exploration during legacy code migration testingArtificial Intelligence02 Aug 2026http://arxiv.org/abs/2607.28271v1