Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study

arXiv:2604.14867v1 Announce Type: cross Abstract: Vibe coding inherently assumes iterative refinement of LLM-generated code through feedback loops. While effective for conventional software tasks, its reliability in runtime-adaptive systems is unclear -- especially when generated code is not manually inspected. This paper studies feedback-based automated verification of LLM-generated adaptation managers in Collective Adaptive Systems (CAS). We focus on the key challenges of verification in the l