paper-with-me

Papers

Leveraging Test Driven Development with Large Language Models for Reliable and Verifiable Spreadsheet Code Generation: A Research Framework

2025-10-17 · Simon Thorne, Advait Sarkar arxiv

Large Language Models (LLMs), such as ChatGPT, are increasingly leveraged for generating both traditional software code and spreadsheet logic. Despite their impressive generative capabilities, these models frequently exhibit critical issues such as hallucinations, subtle logical inconsistencies, and syntactic errors, risks particularly acute in high stakes domains like financial modelling and scientific computations, where accuracy and reliability are paramount. This position paper proposes a structured research framework that integrates the proven software engineering practice of Test-Driven Development (TDD) with Large Language Model (LLM) driven generation to enhance the correctness of, reliability of, and user confidence in generated outputs. We hypothesise that a "test first" methodology provides both technical constraints and cognitive scaffolding, guiding LLM outputs towards more accurate, verifiable, and comprehensible solutions. Our framework, applicable across diverse programming contexts, from spreadsheet formula generation to scripting languages such as Python and strongly typed languages like Rust, includes an explicitly outlined experimental design with clearly defined participant groups, evaluation metrics, and illustrative TDD based prompting examples. By emphasising test driven thinking, we aim to improve computational thinking, prompt engineering skills, and user engagement, particularly benefiting spreadsheet users who often lack formal programming training yet face serious consequences from logical errors. We invite collaboration to refine and empirically evaluate this approach, ultimately aiming to establish responsible and reliable LLM integration in both educational and professional development practices.

📄 PDF Abstract BibTeX arXiv:2510.15585

Code (0)

등록된 구현이 없습니다.

Tasks

Prompt EngineeringCode Generation

Similar Papers 제목 키워드 기반

From Code Generation to Software Testing: AI Copilot with Context-Based RAG

2025-04-02 · Yuchen Wang, Shangxin Guo, Chee Wei Tan

The rapid pace of large-scale software development places increasing demands on traditional testing methodologies, often leading to bottlenecks in efficiency, accuracy, and coverage. We propose a novel perspective on sof…

ChatbotCode GenerationRAGRetrieval-augmented Generation+1

GenAI for Automotive Software Development: From Requirements to Wheels

2025-07-24 · Nenad Petrovic, Fengjunjie Pan, Vahid Zolfaghari, Krzysztof Lebioda 외 arxiv

This paper introduces a GenAI-empowered approach to automated development of automotive software, with emphasis on autonomous and Advanced Driver Assistance Systems (ADAS) capabilities. The process starts with requiremen…

Autonomous DrivingCode Generation

Synergy of Large Language Model and Model Driven Engineering for Automated Development of Centralized Vehicular Systems

2024-04-08 · Nenad Petrovic, Fengjunjie Pan, Krzysztof Lebioda, Vahid Zolfaghari 외

We present a prototype of a tool leveraging the synergy of model driven engineering (MDE) and Large Language Models (LLM) for the purpose of software development process automation in the automotive industry. In this app…

Code GenerationLanguage ModelingLanguage ModellingLarge Language Model+1

LLM4TDD: Best Practices for Test Driven Development Using Large Language Models

2023-12-07 · Sanyogita Piya, Allison Sullivan

In today's society, we are becoming increasingly dependent on software systems. However, we also constantly witness the negative impacts of buggy software. Program synthesis aims to improve software correctness by automa…

Program Synthesistest driven development

Unit Testing in ASP Revisited: Language and Test-Driven Development Environment

2024-01-04 · Giovanni Amendola, Tobias Berei, Giuseppe Mazzotta, Francesco Ricca

Unit testing frameworks are nowadays considered a best practice, included in almost all modern software development processes, to achieve rapid development of correct specifications. Knowledge representation and reasonin…

test driven development