Buchumschlag

Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Cramer, Marcos, McIntyre, Lucian
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
von: Erfan, Md, et al.
Veröffentlicht: (2026)

Generating Automotive Code: Large Language Models for Software Development and Verification in Safety-Critical Systems
von: Kirchner, Sven, et al.
Veröffentlicht: (2025)

Generating Minimalist Adversarial Perturbations to Test Object-Detection Models: An Adaptive Multi-Metric Evolutionary Search Approach
von: McIntyre-Garcia, Cristopher, et al.
Veröffentlicht: (2024)

WybeCoder: Verified Imperative Code Generation
von: Gloeckle, Fabian, et al.
Veröffentlicht: (2026)

In-Context Code-Text Learning for Bimodal Software Engineering
von: Tang, Xunzhu, et al.
Veröffentlicht: (2024)

On Simulation-Guided LLM-based Code Generation for Safe Autonomous Driving Software
von: Nouri, Ali, et al.
Veröffentlicht: (2025)

AutoICE: Automatically Synthesizing Verifiable C Code via LLM-driven Evolution
von: Luo, Weilin, et al.
Veröffentlicht: (2025)

Verification Limits Code LLM Training
von: Gureja, Srishti, et al.
Veröffentlicht: (2025)

Talking with Verifiers: Automatic Specification Generation for Neural Network Verification
von: Elboher, Yizhak Y., et al.
Veröffentlicht: (2026)

Scoring Verifiers: Evaluating Synthetic Verification for Code and Reasoning
von: Ficek, Aleksander, et al.
Veröffentlicht: (2025)

OpenComputer: Verifiable Software Worlds for Computer-Use Agents
von: Wei, Jinbiao, et al.
Veröffentlicht: (2026)

SIEVE: Towards Verifiable Certification for Code-datasets
von: Mbodji, Fatou Ndiaye, et al.
Veröffentlicht: (2025)

Chain of Targeted Verification Questions to Improve the Reliability of Code Generated by LLMs
von: Ngassom, Sylvain Kouemo, et al.
Veröffentlicht: (2024)

In Line with Context: Repository-Level Code Generation via Context Inlining
von: Hu, Chao, et al.
Veröffentlicht: (2026)

On the Impacts of Contexts on Repository-Level Code Generation
von: Hai, Nam Le, et al.
Veröffentlicht: (2024)

CATCODER: Repository-Level Code Generation with Relevant Code and Type Context
von: Pan, Zhiyuan, et al.
Veröffentlicht: (2024)

Faver: Boosting LLM-based RTL Generation with Function Abstracted Verifiable Middleware
von: Mu, Jianan, et al.
Veröffentlicht: (2025)

From Code Generation to Software Testing: AI Copilot with Context-Based RAG
von: Wang, Yuchen, et al.
Veröffentlicht: (2025)

MEnvAgent: Scalable Polyglot Environment Construction for Verifiable Software Engineering
von: Guo, Chuanzhe, et al.
Veröffentlicht: (2026)

Aletheia: What Makes RLVR For Code Verifiers Tick?
von: Venkatkrishna, Vatsal, et al.
Veröffentlicht: (2026)

Future of Code with Generative AI: Transparency and Safety in the Era of AI Generated Software
von: Hanson, David
Veröffentlicht: (2025)

Can LLM Generate Regression Tests for Software Commits?
von: Liu, Jing, et al.
Veröffentlicht: (2025)

Identifying Performance-Sensitive Configurations in Software Systems through Code Analysis with LLM Agents
von: Wang, Zehao, et al.
Veröffentlicht: (2024)

Clover: Closed-Loop Verifiable Code Generation
von: Sun, Chuyue, et al.
Veröffentlicht: (2023)

Investigating The Smells of LLM Generated Code
von: Paul, Debalina Ghosh, et al.
Veröffentlicht: (2025)

Agentic Agile-V: From Vibe Coding to Verified Engineering in Software and Hardware Development
von: Koch, Christopher
Veröffentlicht: (2026)

LoCoBench-Agent: An Interactive Benchmark for LLM Agents in Long-Context Software Engineering
von: Qiu, Jielin, et al.
Veröffentlicht: (2025)

FastCoder: Accelerating Repository-level Code Generation via Efficient Retrieval and Verification
von: Zhao, Qianhui, et al.
Veröffentlicht: (2025)

Edit, But Verify: An Empirical Audit of Instructed Code-Editing Benchmarks
von: Ebrahimi, Amir M., et al.
Veröffentlicht: (2026)

An Execution-Verified Multi-Language Benchmark for Code Semantic Reasoning
von: Li, Yikun, et al.
Veröffentlicht: (2026)

AI Code in the Wild: Measuring Security Risks and Ecosystem Shifts of AI-Generated Code in Modern Software
von: Wang, Bin, et al.
Veröffentlicht: (2025)

Evaluating LLM-Based Test Generation Under Software Evolution
von: Haroon, Sabaat, et al.
Veröffentlicht: (2026)

Code Copycat Conundrum: Demystifying Repetition in LLM-based Code Generation
von: Liu, Mingwei, et al.
Veröffentlicht: (2025)

Uncertainty Quantification for LLM-based Code Generation
von: Xu, Senrong, et al.
Veröffentlicht: (2026)

WebVIA: A Web-based Vision-Language Agentic Framework for Interactive and Verifiable UI-to-Code Generation
von: Xu, Mingde, et al.
Veröffentlicht: (2025)

Learn to Code Sustainably: An Empirical Study on LLM-based Green Code Generation
von: Vartziotis, Tina, et al.
Veröffentlicht: (2024)

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software
von: Patil, Minal Suresh, et al.
Veröffentlicht: (2024)

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification
von: Li, Zenan, et al.
Veröffentlicht: (2026)

A Performance Study of LLM-Generated Code on Leetcode
von: Coignion, Tristan, et al.
Veröffentlicht: (2024)

Bias Testing and Mitigation in LLM-based Code Generation
von: Huang, Dong, et al.
Veröffentlicht: (2023)