:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Guo, Hua, Ji, Yunhong, Zhou, Xuan
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2509.11566
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Code Comments for Quantum Software Development Kits: An Empirical Study on Qiskit
by: Zhou, Zenghui, et al.
Published: (2025)

iReDev: A Knowledge-Driven Multi-Agent Framework for Intelligent Requirements Development
by: Jin, Dongming, et al.
Published: (2025)

Prompt Driven Development with Claude Code: Building a Complete TUI Framework for the Ring Programming Language
by: Fayed, Mahmoud Samir, et al.
Published: (2026)

GluPredKit: Development and User Evaluation of a Standardization Software for Blood Glucose Prediction
by: Wolff, Miriam K., et al.
Published: (2024)

A Web-based Software Development Kit for Quantum Network Simulation
by: DiAdamo, Stephen, et al.
Published: (2024)

From Specification to Service: Accelerating API-First Development Using Multi-Agent Systems
by: Chauhan, Saurabh, et al.
Published: (2025)

Empowering Enterprise Development by Building and Deploying Admin Dashboard using Refine Framework
by: Gajjala, Sai Teja, et al.
Published: (2024)

QuanUML: Towards A Modeling Language for Model-Driven Quantum Software Development
by: Guo, Xiaoyu, et al.
Published: (2025)

Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems
by: Karakaya, Kadiray, et al.
Published: (2024)

Towards a Framework for Operationalizing the Specification of Trustworthy AI Requirements
by: Villamizar, Hugo, et al.
Published: (2025)

Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications
by: Castro, Pablo F., et al.
Published: (2025)

Understanding Specification-Driven Code Generation with LLMs: An Empirical Study Design
by: Rosa, Giovanni, et al.
Published: (2026)

M2QCode: A Model-Driven Framework for Generating Multi-Platform Quantum Programs
by: Guo, Xiaoyu, et al.
Published: (2025)

Production-Grade AI Coding System for Client-Side Development
by: Wang, Ruihan, et al.
Published: (2026)

UIBenchKit: A unified toolkit for design-to-code model evaluation
by: Le, Chinh T., et al.
Published: (2026)

Build Code Needs Maintenance Too: A Study on Refactoring and Technical Debt in Build Systems
by: Ghammam, Anwar, et al.
Published: (2025)

LAPIS: Lightweight API Specification for Intelligent Systems
by: Garcia, Daniel
Published: (2026)

A Generalizable Framework for Building Executable Domain-Specific LLMs under Data Scarcity: Demonstration on Semiconductor TCAD Simulation
by: Wang, Di, et al.
Published: (2026)

DMAS-Forge: A Framework for Transparent Deployment of AI Applications as Distributed Systems
by: Cornacchia, Alessandro, et al.
Published: (2025)

An Agile Formal Specification Language Design Based on K Framework
by: Zhang, Jianyu, et al.
Published: (2024)

Assisting Novice Developers Learning in Flutter Through Cognitive-Driven Development
by: Ferreira, Ronivaldo, et al.
Published: (2024)

Building Living Software Systems with Generative & Agentic AI
by: White, Jules
Published: (2024)

Specification-Driven Code Translation Powered by Large Language Models: How Far Are We?
by: Saha, Soumit Kanti, et al.
Published: (2024)

Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation
by: Zhou, Zhehua, et al.
Published: (2023)

MORTAR: A Model-based Runtime Action Repair Framework for AI-enabled Cyber-Physical Systems
by: Wang, Renzhi, et al.
Published: (2024)

Behavior Driven Development for 3D Games
by: Ricós, Fernando Pastor, et al.
Published: (2025)

SGCR: A Specification-Grounded Framework for Trustworthy LLM Code Review
by: Wang, Kai, et al.
Published: (2025)

Bot-Driven Development: From Simple Automation to Autonomous Software Development Bots
by: Treude, Christoph, et al.
Published: (2024)

When the Specification Emerges: Benchmarking Faithfulness Loss in Long-Horizon Coding Agents
by: Yan, Lu, et al.
Published: (2026)

The Cost of Downgrading Build Systems: A Case Study of Kubernetes
by: Ranjan, Gareema, et al.
Published: (2025)

Developer Perceptions on Utilising Low-Code Approaches to Build Accessible and Adaptive Applications for Seniors
by: Wickramathilaka, Shavindra, et al.
Published: (2025)

A Benchmark for Language Models in Real-World System Building
by: Jin, Weilin, et al.
Published: (2026)

Embedded Software Development with Digital Twins: Specific Requirements for Small and Medium-Sized Enterprises
by: Barbie, Alexander, et al.
Published: (2023)

Skeet: Towards a Lightweight Serverless Framework Supporting Modern AI-Driven App Development
by: Fumitake, Kawasaki, et al.
Published: (2024)

Beyond Basic Specifications? A Systematic Study of Logical Constructs in LLM-based Specification Generation
by: Chen, Zehan, et al.
Published: (2026)

Generative AI for Test Driven Development: Preliminary Results
by: Mock, Moritz, et al.
Published: (2024)

Synergistic Enhancement of Requirement-to-Code Traceability: A Framework Combining Large Language Model based Data Augmentation and an Advanced Encoder
by: Zhang, Jianzhang, et al.
Published: (2025)

Multi-Grained Specifications for Distributed System Model Checking and Verification
by: Ouyang, Lingzhi, et al.
Published: (2024)

SoVAR: Building Generalizable Scenarios from Accident Reports for Autonomous Driving Testing
by: Guo, An, et al.
Published: (2024)

Think-on-Process: Dynamic Process Generation for Collaborative Development of Multi-Agent System
by: Lin, Leilei, et al.
Published: (2024)