Image de couverture de livre

SpecPylot: Python Specification Generation using Large Language Models

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ayon, Ragib Shahariar, Ahmed, Shibbir
Format:	Preprint
Publié:	2026
Sujets:	Software Engineering Artificial Intelligence Emerging Technologies
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

AutoReSpec: A Framework for Generating Specification using Large Language Models
par: Ayon, Ragib Shahariar, et autres
Publié: (2026)

From Helpful to Trustworthy: LLM Agents for Pair Programming
par: Ayon, Ragib Shahariar
Publié: (2026)

LLM4DS: Evaluating Large Language Models for Data Science Code Generation
par: Nascimento, Nathalia, et autres
Publié: (2024)

Automatic Qiskit Code Refactoring Using Large Language Models
par: Suárez, José Manuel, et autres
Publié: (2025)

Holon Programming Model -- A Software-Defined Approach for System of Systems
par: Ashfaq, Muhammad, et autres
Publié: (2024)

Large Language Models to Generate System-Level Test Programs Targeting Non-functional Properties
par: Schwachhofer, Denis, et autres
Publié: (2024)

LLM as a code generator in Agile Model Driven Development
par: Sadik, Ahmed R., et autres
Publié: (2024)

Taxonomy of migration scenarios for Qiskit refactoring using LLMs
par: Suárez, José Manuel, et autres
Publié: (2025)

Lessons Learned from the Use of Generative AI in Engineering and Quality Assurance of a WEB System for Healthcare
par: Travassos, Guilherme H., et autres
Publié: (2025)

HoneyGPT: Breaking the Trilemma in Terminal Honeypots with Large Language Model
par: Wang, Ziyang, et autres
Publié: (2024)

On Large Language Models in Mission-Critical IT Governance: Are We Ready Yet?
par: Esposito, Matteo, et autres
Publié: (2024)

Automating Detection and Root-Cause Analysis of Flaky Tests in Quantum Software
par: Sivaloganathan, Janakan, et autres
Publié: (2026)

Human-Certified Module Repositories for the AI Age
par: Enyedi, Szilárd
Publié: (2026)

An AST-guided LLM Approach for SVRF Code Synthesis
par: Abdelmalak, Abanoub E., et autres
Publié: (2025)

Variational Quantum Rainbow Deep Q-Network for Optimizing Resource Allocation Problem
par: Nguyen, Truong Thanh Hung, et autres
Publié: (2025)

OrQstrator: An AI-Powered Framework for Advanced Quantum Circuit Optimization
par: Baird, Laura, et autres
Publié: (2025)

LLM-Powered Quantum Code Transpilation
par: Siavash, Nazanin, et autres
Publié: (2025)

GIScience in the Era of Artificial Intelligence: A Research Agenda Towards Autonomous GIS
par: Li, Zhenlong, et autres
Publié: (2025)

Evaluating Quantized Large Language Models for Code Generation on Low-Resource Language Benchmarks
par: Nyamsuren, Enkhbold
Publié: (2024)

An Initial Exploration of Fine-tuning Small Language Models for Smart Contract Reentrancy Vulnerability Detection
par: Pofcher, Ignacio Mariano Andreozzi, et autres
Publié: (2025)

LLM-Ehnanced Holonic Architecture for Ad-Hoc Scalable SoS
par: Ashfaq, Muhammad, et autres
Publié: (2025)

From over-reliance to smart integration: using Large-Language Models as translators between specialized modeling and simulation tools
par: Giabbanelli, Philippe J., et autres
Publié: (2025)

Programmers Aren't Obsolete Yet: A Syllabus for Teaching CS Students to Responsibly Use Large Language Models for Code Generation
par: Cipriano, Bruno Pereira, et autres
Publié: (2025)

Investigating the Role of Cultural Values in Adopting Large Language Models for Software Engineering
par: Lambiase, Stefano, et autres
Publié: (2024)

Beyond Formal Semantics for Capabilities and Skills: Model Context Protocol in Manufacturing
par: da Silva, Luis Miguel Vieira, et autres
Publié: (2025)

Clawed and Dangerous: Can We Trust Open Agentic Systems?
par: Chen, Shiping, et autres
Publié: (2026)

Beyond the model: Key differentiators in large language models and multi-agent services
par: Goyal, Muskaan, et autres
Publié: (2025)

AI Simulation by Digital Twins: Systematic Survey, Reference Framework, and Mapping to a Standardized Architecture
par: Liu, Xiaoran, et autres
Publié: (2025)

Adoption of Generative Artificial Intelligence in the German Software Engineering Industry: An Empirical Study
par: Felder, Ludwig, et autres
Publié: (2026)

Mitigating "Epistemic Debt" in Generative AI-Scaffolded Novice Programming using Metacognitive Scripts
par: Sankaranarayanan, Sreecharan
Publié: (2026)

Verification of Digital Twins using Classical and Statistical Model Checking
par: Gunasekaran, Raghavendran, et autres
Publié: (2025)

Model Context Protocol (MCP) at First Glance: Studying the Security and Maintainability of MCP Servers
par: Hasan, Mohammed Mehedi, et autres
Publié: (2025)

Model Context Protocol (MCP) Tool Descriptions Are Smelly! Towards Improving AI Agent Efficiency with Augmented MCP Tool Descriptions
par: Hasan, Mohammed Mehedi, et autres
Publié: (2026)

LLM4VV: Evaluating Cutting-Edge LLMs for Generation and Evaluation of Directive-Based Parallel Programming Model Compiler Tests
par: Sollenberger, Zachariah, et autres
Publié: (2025)

Generative AI for Software Architecture. Applications, Challenges, and Future Directions
par: Esposito, Matteo, et autres
Publié: (2025)

A Context-Driven Approach for Co-Auditing Smart Contracts with The Support of GPT-4 code interpreter
par: Bouafif, Mohamed Salah, et autres
Publié: (2024)

An Empirical Study of Testing Practices in Open Source AI Agent Frameworks and Agentic Applications
par: Hasan, Mohammed Mehedi, et autres
Publié: (2025)

GIS Copilot: Towards an Autonomous GIS Agent for Spatial Analysis
par: Akinboyewa, Temitope, et autres
Publié: (2024)

A Research Roadmap for Augmenting Software Engineering Processes and Software Products with Generative AI
par: Amalfitano, Domenico, et autres
Publié: (2025)

Reformulating Regression Test Suite Optimization using Quantum Annealing -- an Empirical Study
par: Trovato, Antonio, et autres
Publié: (2024)