Volume: Vol-4075 GeCoIn 2025 | Year: 2025

Paper: « paper4 | paper5 | paper6 »

UnitTenX: Generating Tests for Legacy Packages with AI Agents Powered by Formal Verification

• Yiannis Charalambous
• Claudionor N. Coelho Jr
• Luis Lamb
• Lucas C. Cordeiro

PDF