Buchumschlag

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

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Töpfer, Michal, Plášil, František, Bureš, Tomáš, Hnětynka, Petr
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Software Engineering Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Feedback-based Automated Verification in Vibe Coding of CAS Adaptation Built on Constraint Logic
von: Töpfer, Michal, et al.
Veröffentlicht: (2026)

Vibe Coding in Practice: Flow, Technical Debt, and Guidelines for Sustainable Use
von: Waseem, Muhammad, et al.
Veröffentlicht: (2025)

Vibe Checker: Aligning Code Evaluation with Human Preference
von: Zhong, Ming, et al.
Veröffentlicht: (2025)

Vibe Coding vs. Agentic Coding: Fundamentals and Practical Implications of Agentic AI
von: Sapkota, Ranjan, et al.
Veröffentlicht: (2025)

Automated Repair of AI Code with Large Language Models and Formal Verification
von: Charalambous, Yiannis, et al.
Veröffentlicht: (2024)

Ambiguity Resolution with Human Feedback for Code Writing Tasks
von: Nandan, Aditey, et al.
Veröffentlicht: (2025)

Hybrid-Code v2: Zero-Hallucination Clinical ICD-10 Coding via Neuro-Symbolic Verification and Automated Knowledge Base Expansion
von: Yu, Yunguo
Veröffentlicht: (2025)

Is Vibe Coding the Future? An Empirical Assessment of LLM Generated Codes for Construction Safety
von: Uddin, S M Jamil
Veröffentlicht: (2026)

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
von: Erfan, Md, et al.
Veröffentlicht: (2026)

Vibe Coding on Trial: Operating Characteristics of Unanimous LLM Juries
von: Ullah, Muhammad Aziz, et al.
Veröffentlicht: (2026)

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification
von: Li, Zenan, et al.
Veröffentlicht: (2026)

VIBEPASS: Can Vibe Coders Really Pass the Vibe Check?
von: Bansal, Srijan, et al.
Veröffentlicht: (2026)

To Vibe Research or Not to Vibe Research? Generative AI in Qualitative Research
von: Karhu, Katja, et al.
Veröffentlicht: (2026)

Previously on... Automating Code Review
von: Heumüller, Robert, et al.
Veröffentlicht: (2025)

VibeCodeHPC: An Agent-Based Iterative Prompting Auto-Tuner for HPC Code Generation Using LLMs
von: Hayashi, Shun-ichiro, et al.
Veröffentlicht: (2025)

Agentic Agile-V: From Vibe Coding to Verified Engineering in Software and Hardware Development
von: Koch, Christopher
Veröffentlicht: (2026)

(R)evolution of Programming: Vibe Coding as a Post-Coding Paradigm
von: Krings, Kevin, et al.
Veröffentlicht: (2025)

Chatbot-Based Assessment of Code Understanding in Automated Programming Assessment Systems
von: Frankford, Eduard, et al.
Veröffentlicht: (2026)

Reflective Paper-to-Code Reproduction Enabled by Fine-Grained Verification
von: Zhou, Mingyang, et al.
Veröffentlicht: (2025)

Enhancing LLM-Based Code Generation with Complexity Metrics: A Feedback-Driven Approach
von: Sepidband, Melika, et al.
Veröffentlicht: (2025)

SecureVibeBench: Benchmarking Secure Vibe Coding of AI Agents via Reconstructing Vulnerability-Introducing Scenarios
von: Chen, Junkai, et al.
Veröffentlicht: (2025)

Augmenting Large Language Models with Static Code Analysis for Automated Code Quality Improvements
von: Abtahi, Seyed Moein, et al.
Veröffentlicht: (2025)

Towards Continuous Experiment-driven MLOps
von: Rajenthiram, Keerthiga, et al.
Veröffentlicht: (2025)

Using a Feedback Loop for LLM-based Infrastructure as Code Generation
von: Palavalli, Mayur Amarnath, et al.
Veröffentlicht: (2024)

Chain of Targeted Verification Questions to Improve the Reliability of Code Generated by LLMs
von: Ngassom, Sylvain Kouemo, et al.
Veröffentlicht: (2024)

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK
von: Cramer, Marcos, et al.
Veröffentlicht: (2025)

Code for Machines, Not Just Humans: Quantifying AI-Friendliness with Code Health Metrics
von: Borg, Markus, et al.
Veröffentlicht: (2026)

Learning to Code with Context: A Study-Based Approach
von: Borghoff, Uwe M., et al.
Veröffentlicht: (2025)

Learning to Align Human Code Preferences
von: Yin, Xin, et al.
Veröffentlicht: (2025)

Academic Vibe Coding: Opportunities for Accelerating Research in an Era of Resource Constraint
von: Crowson, Matthew G, et al.
Veröffentlicht: (2025)

Automated Classification of Source Code Changes Based on Metrics Clustering in the Software Development Process
von: Kniazev, Evgenii
Veröffentlicht: (2026)

Vibe Coding as a Reconfiguration of Intent Mediation in Software Development: Definition, Implications, and Research Agenda
von: Meske, Christian, et al.
Veröffentlicht: (2025)

Automated Snippet-Alignment Data Augmentation for Code Translation
von: Zhang, Zhiming, et al.
Veröffentlicht: (2025)

BugSpotter: Automated Generation of Code Debugging Exercises
von: Pădurean, Victor-Alexandru, et al.
Veröffentlicht: (2024)

Auto-SPT: Automating Semantic Preserving Transformations for Code
von: Hooda, Ashish, et al.
Veröffentlicht: (2025)

Automated Benchmark Generation for Repository-Level Coding Tasks
von: Vergopoulos, Konstantinos, et al.
Veröffentlicht: (2025)

Professional Software Developers Don't Vibe, They Control: AI Agent Use for Coding in 2025
von: Huang, Ruanqianqian, et al.
Veröffentlicht: (2025)

Vibe-driven model-based engineering
von: Cabot, Jordi
Veröffentlicht: (2026)

Verification Limits Code LLM Training
von: Gureja, Srishti, et al.
Veröffentlicht: (2025)

Hallucination in LLM-Based Code Generation: An Automotive Case Study
von: Pavel, Marc, et al.
Veröffentlicht: (2025)