Vulnerability Repair via Concolic Execution and Code Mutations. - Shariffdeen, Ridwan; Timperley, Christopher S.; Noller, Yannic; Le Goues, Claire; Roychoudhury, Abhik (ACM Transactions on Software Engineering & Methodology, 2025)