Image de couverture de livre

Meta-Engineering Harnesses for AI-Native Software Production: A Contract-Driven Adversarial Verification Architecture with Early Deployment Report

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Sengupta, Satadru, Briggs, Tamunokorite, Myshakivskyi, Ivan
Format:	Preprint
Publié:	2026
Sujets:	Software Engineering Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Software Reuse in the Generative AI Era: From Cargo Cult Towards AI Native Software Engineering
par: Mikkonen, Tommi, et autres
Publié: (2025)

Interacting with AI Reasoning Models: Harnessing "Thoughts" for AI-Driven Software Engineering
par: Treude, Christoph, et autres
Publié: (2025)

AI Harness Engineering: A Runtime Substrate for Foundation-Model Software Agents
par: Zhong, Hailin, et autres
Publié: (2026)

From Translation to Superset: Benchmark-Driven Evolution of a Production AI Agent from Rust to Python
par: Wang, Jinhua, et autres
Publié: (2026)

Towards AI-Native Software Engineering (SE 3.0): A Vision and a Challenge Roadmap
par: Hassan, Ahmed E., et autres
Publié: (2024)

ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software Verification
par: Pirzada, Muhammad A. A., et autres
Publié: (2026)

Unified Software Engineering Agent as AI Software Engineer
par: Applis, Leonhard, et autres
Publié: (2025)

Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs
par: Corazza, Jan, et autres
Publié: (2025)

Evidence-Driven Decision Support for AI Model Selection in Research Software Engineering
par: Joonbakhsh, Alireza, et autres
Publié: (2025)

Rethinking Software Engineering in the Foundation Model Era: From Task-Driven AI Copilots to Goal-Driven AI Pair Programmers
par: Hassan, Ahmed E., et autres
Publié: (2024)

AI-Tutoring in Software Engineering Education
par: Frankford, Eduard, et autres
Publié: (2024)

More Is Different: Toward a Theory of Emergence in AI-Native Software Ecosystems
par: Russo, Daniel
Publié: (2026)

Agentic AI Software Engineers: Programming with Trust
par: Roychoudhury, Abhik, et autres
Publié: (2025)

MASAI: Modular Architecture for Software-engineering AI Agents
par: Arora, Daman, et autres
Publié: (2024)

Architecture Without Architects: How AI Coding Agents Shape Software Architecture
par: Konrad, Phongsakon Mark, et autres
Publié: (2026)

From Human Interfaces to Agent Interfaces: Rethinking Software Design in the Age of AI-Native Systems
par: Wang, Shaolin, et autres
Publié: (2026)

Spec-Driven Development:From Code to Contract in the Age of AI Coding Assistants
par: Piskala, Deepak Babu
Publié: (2026)

AI-Driven Self-Evolving Software: A Promising Path Toward Software Automation
par: Cai, Liyi, et autres
Publié: (2025)

Asking What Matters: Reward-Driven Clarification for Software Engineering Tasks
par: Vijayvargiya, Sanidhya, et autres
Publié: (2026)

Will AI replace Software Engineers? Do not hold your breath
par: Roychoudhury, Abhik, et autres
Publié: (2025)

Reproducible, Explainable, and Effective Evaluations of Agentic AI for Software Engineering
par: Li, Jingyue, et autres
Publié: (2026)

Generative AI and Empirical Software Engineering: A Paradigm Shift
par: Treude, Christoph, et autres
Publié: (2025)

Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
par: Richter, Cedric, et autres
Publié: (2025)

Greening AI-enabled Systems with Software Engineering: A Research Agenda for Environmentally Sustainable AI Practices
par: Cruz, Luís, et autres
Publié: (2025)

Breaking Barriers in Software Testing: The Power of AI-Driven Automation
par: Naqvi, Saba, et autres
Publié: (2025)

MAAD: Automate Software Architecture Design through Knowledge-Driven Multi-Agent Collaboration
par: Li, Ruiyin, et autres
Publié: (2025)

Shift-Up: A Framework for Software Engineering Guardrails in AI-native Software Development -- Initial Findings
par: Lipsanen, Petrus, et autres
Publié: (2026)

Copilot Evaluation Harness: Evaluating LLM-Guided Software Programming
par: Agarwal, Anisha, et autres
Publié: (2024)

Rethinking Autonomy: Preventing Failures in AI-Driven Software Engineering
par: Navneet, Satyam Kumar, et autres
Publié: (2025)

Early External Safety Testing of OpenAI's o3-mini: Insights from the Pre-Deployment Evaluation
par: Arrieta, Aitor, et autres
Publié: (2025)

Mitigating Prompt-Induced Cognitive Biases in General-Purpose AI for Software Engineering
par: Sovrano, Francesco, et autres
Publié: (2026)

A Gray Literature Study on Fairness Requirements in AI-enabled Software Engineering
par: Nguyen, Thanh, et autres
Publié: (2025)

Generating Software Architecture Description from Source Code using Reverse Engineering and Large Language Model
par: Hatahet, Ahmad, et autres
Publié: (2025)

Harden and Catch for Just-in-Time Assured LLM-Based Software Testing: Open Research Challenges
par: Harman, Mark, et autres
Publié: (2025)

When Prompt Engineering Meets Software Engineering: CNL-P as Natural and Robust "APIs'' for Human-AI Interaction
par: Xing, Zhenchang, et autres
Publié: (2025)

LLMs: A Game-Changer for Software Engineers?
par: Haque, Md Asraful
Publié: (2024)

SWE-Hub: A Unified Production System for Scalable, Executable Software Engineering Tasks
par: Zeng, Yucheng, et autres
Publié: (2026)

Software Performance Engineering for Foundation Model-Powered Software
par: Zhang, Haoxiang, et autres
Publié: (2024)

Taking a Pulse on How Generative AI is Reshaping the Software Engineering Research Landscape
par: Trinkenreich, Bianca, et autres
Publié: (2026)

Search-Based Software Engineering and AI Foundation Models: Current Landscape and Future Roadmap
par: Sartaj, Hassan, et autres
Publié: (2025)