AI-Assisted Programming with Test-Based Refinement2025-01-010 PRE AI DOI:10.1007/978-3-031-73741-1_24OriginalShareSaveAbstract En