Cover Image

Protocol-Driven Development: Governing Generated Software Through Invariants and Continuous Evidence

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	He, Jun, Yu, Deying
Format:	Preprint
Published:	2026
Subjects:	Software Engineering Artificial Intelligence Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

AI-Driven Code Refactoring: Using Graph Neural Networks to Enhance Software Maintainability
by: Bandarupalli, Gopichand
Published: (2025)

SetupBench: Assessing Software Engineering Agents' Ability to Bootstrap Development Environments
by: Arora, Avi, et al.
Published: (2025)

VibeTensor: System Software for Deep Learning, Fully Generated by AI Agents
by: Xu, Bing, et al.
Published: (2026)

Explainable Artificial Intelligence Techniques for Software Development Lifecycle: A Phase-specific Survey
by: Arora, Lakshit, et al.
Published: (2025)

Intuition to Evidence: Measuring AI's True Impact on Developer Productivity
by: Kumar, Anand, et al.
Published: (2025)

Legal Aspects for Software Developers Interested in Generative AI Applications
by: Herbold, Steffen, et al.
Published: (2024)

Understanding LLM-Driven Test Oracle Generation
by: Bodicoat, Adam, et al.
Published: (2026)

A Theoretical Analysis of Test-Driven Code Generation
by: Menet, Nicolas, et al.
Published: (2026)

Protocode: Prototype-Driven Interpretability for Code Generation in LLMs
by: Bodla, Krishna Vamshi, et al.
Published: (2025)

Is ChatGPT a Good Software Librarian? An Exploratory Study on the Use of ChatGPT for Software Library Recommendations
by: Latendresse, Jasmine, et al.
Published: (2024)

Experiential Co-Learning of Software-Developing Agents
by: Qian, Chen, et al.
Published: (2023)

Challenges and Paths Towards AI for Software Engineering
by: Gu, Alex, et al.
Published: (2025)

ChatGPT Incorrectness Detection in Software Reviews
by: Tanzil, Minaoar Hossain, et al.
Published: (2024)

On the Replicability and Reproducibility of Deep Learning in Software Engineering
by: Liu, Chao, et al.
Published: (2020)

OpenKedge: Governing Agentic Mutation with Execution-Bound Safety and Evidence Chains
by: He, Jun, et al.
Published: (2026)

LLMs in Coding and their Impact on the Commercial Software Engineering Landscape
by: Belozerov, Vladislav, et al.
Published: (2025)

Adaptive Detection of Software Aging under Workload Shift
by: Silva, Rafael Jose Moura, et al.
Published: (2025)

Utilizing Deep Learning to Optimize Software Development Processes
by: Li, Keqin, et al.
Published: (2024)

DevBench: A Realistic, Developer-Informed Benchmark for Code Generation Models
by: Kumarappan, Adarsh, et al.
Published: (2026)

EGSS: Entropy-guided Stepwise Scaling for Reliable Software Engineering
by: Mao, Chenhui, et al.
Published: (2026)

DRAGON: Robust Classification for Very Large Collections of Software Repositories
by: Balla, Stefano, et al.
Published: (2026)

The Impact of Software Testing with Quantum Optimization Meets Machine Learning
by: Bandarupalli, Gopichand
Published: (2025)

Toward Explaining Large Language Models in Software Engineering Tasks
by: Vitale, Antonio, et al.
Published: (2025)

SWE-Replay: Efficient Test-Time Scaling for Software Engineering Agents
by: Ding, Yifeng, et al.
Published: (2026)

Foundation Model Engineering: Engineering Foundation Models Just as Engineering Software
by: Ran, Dezhi, et al.
Published: (2024)

BitsAI-Fix: LLM-Driven Approach for Automated Lint Error Resolution in Practice
by: Li, Yuanpeng, et al.
Published: (2025)

Model Lake: a New Alternative for Machine Learning Models Management and Governance
by: Garouani, Moncef, et al.
Published: (2025)

Towards a Classification of Open-Source ML Models and Datasets for Software Engineering
by: González, Alexandra, et al.
Published: (2024)

A Large-Scale Study of Model Integration in ML-Enabled Software Systems
by: Sens, Yorick, et al.
Published: (2024)

The Hitchhikers Guide to Production-ready Trustworthy Foundation Model powered Software (FMware)
by: Vasilevski, Kirill, et al.
Published: (2025)

Code Generation by Differential Test Time Scaling
by: He, Yifeng, et al.
Published: (2026)

SWE-MiniSandbox: Container-Free Reinforcement Learning for Building Software Engineering Agents
by: Yuan, Danlong, et al.
Published: (2026)

Towards Engineering Fair and Equitable Software Systems for Managing Low-Altitude Airspace Authorizations
by: Gohar, Usman, et al.
Published: (2024)

ML-On-Rails: Safeguarding Machine Learning Models in Software Systems A Case Study
by: Abdelkader, Hala, et al.
Published: (2024)

Advancing Software Security and Reliability in Cloud Platforms through AI-based Anomaly Detection
by: Saleh, Sabbir M., et al.
Published: (2024)

LiCoEval: Evaluating LLMs on License Compliance in Code Generation
by: Xu, Weiwei, et al.
Published: (2024)

Human-In-the-Loop Software Development Agents
by: Takerngsaksiri, Wannita, et al.
Published: (2024)

Predicting Open Source Software Sustainability with Deep Temporal Neural Hierarchical Architectures and Explainable AI
by: Karim, S M Rakib Ul, et al.
Published: (2026)

Teaching an Online Multi-Institutional Research Level Software Engineering Course with Industry -- an Experience Report
by: Jalote, Pankaj, et al.
Published: (2025)

Order Matters! An Empirical Study on Large Language Models' Input Order Bias in Software Fault Localization
by: Rafi, Md Nakhla, et al.
Published: (2024)