Buchumschlag

Abductive Vibe Coding (Extended Abstract)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Murphy, Logan, Babikian, Aren A., Chechik, Marsha
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Assurance Case Development for Evolving Software Product Lines: A Formal Approach
von: Murphy, Logan, et al.
Veröffentlicht: (2025)

Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search
von: Babikian, Aren A., et al.
Veröffentlicht: (2023)

PLACIDUS: Engineering Product Lines of Rigorous Assurance Cases
von: Murphy, Logan, et al.
Veröffentlicht: (2024)

Projectional Decoding: Towards Semantic-Aware LLM Generation
von: Chen, Boqi, et al.
Veröffentlicht: (2026)

LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation
von: Chen, Boqi, et al.
Veröffentlicht: (2025)

Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects
von: Feng, Nick, et al.
Veröffentlicht: (2024)

VibeContract: The Missing Quality Assurance Piece in Vibe Coding
von: Wang, Song
Veröffentlicht: (2026)

A Software Engineering Perspective on Testing Large Language Models: Research, Practice, Tools and Benchmarks
von: Hudson, Sinclair, et al.
Veröffentlicht: (2024)

Future of Software Engineering Research: The SIGSOFT Perspective
von: Di Penta, Massimiliano, et al.
Veröffentlicht: (2026)

Context Before Code: An Experience Report on Vibe Coding in Practice
von: Shuvo, Md Nasir Uddin, et al.
Veröffentlicht: (2026)

Operationalizing Human Values in the Requirements Engineering Process of Ethics-Aware Autonomous Systems
von: Júnior, Everaldo Silva, et al.
Veröffentlicht: (2026)

Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins
von: Chechik, Marsha, et al.
Veröffentlicht: (2025)

From Prompting to Verification: How Experience Shapes Vibe Coding Practices
von: Fawzy, Ahmed, et al.
Veröffentlicht: (2026)

Code for All: Educational Applications of the "Vibe Coding" Hackathon in Programming Education across All Skill Levels
von: Chen, Ashley J., et al.
Veröffentlicht: (2026)

Specification Vibing for Automated Program Repair
von: Zhu, Taohong, et al.
Veröffentlicht: (2026)

Multi-CoLoR: Context-Aware Localization and Reasoning across Multi-Language Codebases
von: Vats, Indira, et al.
Veröffentlicht: (2026)

Abstraction Engineering
von: Bencomo, Nelly, et al.
Veröffentlicht: (2024)

Novice Developers Produce Larger Review Overhead for Project Maintainers while Vibe Coding
von: Asdaque, Syed Ammar, et al.
Veröffentlicht: (2026)

Vibe Modeling: Challenges and Opportunities
von: Cabot, Jordi
Veröffentlicht: (2025)

Vibe Coding in Practice: Motivations, Challenges, and a Future Outlook -- a Grey Literature Review
von: Fawzy, Ahmed, et al.
Veröffentlicht: (2025)

Good Vibrations? A Qualitative Study of Co-Creation, Communication, Flow, and Trust in Vibe Coding
von: Pimenova, Veronica, et al.
Veröffentlicht: (2025)

Is Vibe Coding Safe? Benchmarking Vulnerability of Agent-Generated Code in Real-World Tasks
von: Zhao, Songwen, et al.
Veröffentlicht: (2025)

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)

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

Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study
von: Töpfer, Michal, et al.
Veröffentlicht: (2026)

Computer Science Achievement and Writing Skills Predict Vibe Coding Proficiency
von: Thorgeirsson, Sverrir, et al.
Veröffentlicht: (2026)

Rapid Development of Omics Data Analysis Applications through Vibe Coding
von: Meyer, Jesse G.
Veröffentlicht: (2025)

Formalizing and validating properties in Asmeta with Large Language Models (Extended Abstract)
von: Bombarda, Andrea, et al.
Veröffentlicht: (2026)

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

Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
von: Mitchell, Jacqueline, et al.
Veröffentlicht: (2025)

Social, Legal, Ethical, Empathetic and Cultural Norm Operationalisation for AI Agents
von: Calinescu, Radu, et al.
Veröffentlicht: (2026)

Vibe Coding: Toward an AI-Native Paradigm for Semantic and Intent-Driven Programming
von: Bamil, Vinay
Veröffentlicht: (2025)

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

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

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

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

AVDA: Autonomous Vibe Detection Authoring for Cybersecurity
von: Bulut, Fatih, et al.
Veröffentlicht: (2026)

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

Normative Requirements Operationalization with Large Language Models
von: Feng, Nick, et al.
Veröffentlicht: (2024)