ToolFuzz - Automated Agent Tool Testing. - Ivan Milev; Mislav Balunovic; Maximilian Baader; Martin T. Vechev (CoRR, 2025)