Copertina

AI for software engineering: from probable to provable

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Meyer, Bertrand
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering Artificial Intelligence 68N30, 68T20, 68T05 D.2.4; D.2.2; I.2.2; F.3.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
di: Lauer, Alexander, et al.
Pubblicazione: (2026)

A Prompt Learning Framework for Source Code Summarization
di: Xu, Tingting, et al.
Pubblicazione: (2023)

TDAD: Test-Driven Agentic Development - Reducing Code Regressions in AI Coding Agents via Graph-Based Impact Analysis
di: Alonso, Pepe, et al.
Pubblicazione: (2026)

Combining Mechanical and Agentic Specification Inference for Move
di: Grieskamp, Wolfgang, et al.
Pubblicazione: (2026)

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
di: Lin, Hongyu, et al.
Pubblicazione: (2026)

Kodezi Chronos: A Debugging-First Language Model for Repository-Scale Code Understanding
di: Khan, Ishraq, et al.
Pubblicazione: (2025)

Feature-Factory: Automating Software Feature Integration Using Generative AI
di: Vsevolodovna, Ruslan Idelfonso Magana
Pubblicazione: (2024)

NES: An Instruction-Free, Low-Latency Next Edit Suggestion Framework Powered by Learned Historical Editing Trajectories
di: Chen, Xinfang, et al.
Pubblicazione: (2025)

Contract-based Verification of Digital Twins
di: Naeem, Muhammad, et al.
Pubblicazione: (2025)

Chain-Oriented Objective Logic with Neural Network Feedback Control and Cascade Filtering for Dynamic Multi-DSL Regulation
di: Han, Jipeng
Pubblicazione: (2024)

Multiple Query Satisfiability of Constrained Horn Clauses
di: De Angelis, Emanuele, et al.
Pubblicazione: (2022)

Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis
di: Xu, Zhihao, et al.
Pubblicazione: (2025)

SLEAN: Simple Lightweight Ensemble Analysis Network for Multi-Provider LLM Coordination: Design, Implementation, and Vibe Coding Bug Investigation Case Study
di: Vargas, Matheus J. T.
Pubblicazione: (2025)

Validation of an analyzability model for quantum software: a family of experiments
di: Díaz-Muñoz, Ana, et al.
Pubblicazione: (2026)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
di: Guo, Jinyao, et al.
Pubblicazione: (2025)

Generative AI and the Transformation of Software Development Practices
di: Acharya, Vivek
Pubblicazione: (2025)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
di: Oza, Neeva, et al.
Pubblicazione: (2025)

BRIDGE: Building Representations In Domain Guided Program Synthesis
di: George, Robert Joseph, et al.
Pubblicazione: (2025)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
di: López, Hugo A., et al.
Pubblicazione: (2024)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
di: Helbling, Caleb, et al.
Pubblicazione: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
di: Helbling, Caleb, et al.
Pubblicazione: (2025)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
di: Wang, Chengpeng, et al.
Pubblicazione: (2024)

Array-Carrying Symbolic Execution for Function Contract Generation
di: Lu, Weijie, et al.
Pubblicazione: (2026)

Supporting software engineering tasks with agentic AI: Demonstration on document retrieval and test scenario generation
di: Kica, Marian, et al.
Pubblicazione: (2026)

See-Saw Generative Mechanism for Scalable Recursive Code Generation with Generative AI
di: Vsevolodovna, Ruslan Idelfonso Magaña
Pubblicazione: (2024)

Trace Validation of Unmodified Concurrent Systems with OmniLink
di: Hackett, Finn, et al.
Pubblicazione: (2026)

Context Engineering for Multi-Agent LLM Code Assistants Using Elicit, NotebookLM, ChatGPT, and Claude Code
di: Haseeb, Muhammad
Pubblicazione: (2025)

Hypernetwork Theory: The Structural Kernel
di: Charlesworth, Richard D.
Pubblicazione: (2025)

AdvFusion: Adapter-based Knowledge Transfer for Code Summarization on Code Language Models
di: Saberi, Iman, et al.
Pubblicazione: (2023)

Optimizing Large Language Models for OpenAPI Code Completion
di: Petryshyn, Bohdan, et al.
Pubblicazione: (2024)

Locality, Consistency, and the Tractability Frontier
di: Simas, Tristan
Pubblicazione: (2026)

LTL Verification of Memoryful Neural Agents
di: Hosseini, Mehran, et al.
Pubblicazione: (2025)

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
di: Liyanage, Danushka, et al.
Pubblicazione: (2025)

Verifying Correctness of PLC Software during System Evolution using Model Containment Approach
di: Bandyopadhyay, Soumyadip, et al.
Pubblicazione: (2025)

Inferring Input Grammars from Code with Symbolic Parsing
di: Bettscheider, Leon, et al.
Pubblicazione: (2025)

React-ing to Grace Hopper 200: Five Open-Weights Coding Models, One React Native App, One GH200, One Weekend
di: Potanin, Alex
Pubblicazione: (2026)

Adding complex numbers to expression template algorithmic differentiation tools
di: Sagebaum, Max, et al.
Pubblicazione: (2025)

Algorithmic differentiation for domain specific languages in C++ with expression templates
di: Sagebaum, Max, et al.
Pubblicazione: (2026)

Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation
di: Liu, Kuangxiangzi, et al.
Pubblicazione: (2025)

Utilization of Pre-trained Language Model for Adapter-based Knowledge Transfer in Software Engineering
di: Saberi, Iman, et al.
Pubblicazione: (2023)