:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Wolf, Alex, Palma, Marco Edoardo, Salza, Pasquale, Gall, Harald C.
Format:	Preprint
Publié:	2024
Sujets:	Software Engineering
Accès en ligne:	https://arxiv.org/abs/2402.13792
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

On-the-Fly Syntax Highlighting: Generalisation and Speed-ups
par: Palma, Marco Edoardo, et autres
Publié: (2024)

Key-Augmented Neural Triggers for Knowledge Sharing
par: Wolf, Alex, et autres
Publié: (2025)

Multi Language Models for On-the-Fly Syntax Highlighting
par: Palma, Marco Edoardo, et autres
Publié: (2025)

Do LLMs Favor Their Providers? Measuring Vertical Integration Bias in Code Generation
par: Catal, Melih, et autres
Publié: (2026)

Engineering Trustworthy Software: A Mission for LLMs
par: Vieira, Marco
Publié: (2024)

Towards Privacy-Preserving Code Generation: Differentially Private Code Language Models
par: Catal, Melih, et autres
Publié: (2025)

Execution-free Program Repair
par: Huang, Li, et autres
Publié: (2024)

Fine-grained Data Access Control for Collaborative Process Execution on Blockchain
par: Marangone, Edoardo, et autres
Publié: (2022)

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
par: Yaacov, Tom, et autres
Publié: (2024)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
par: Yang, Fanpeng, et autres
Publié: (2025)

SpaceTime Programming: Live and Omniscient Exploration of Code and Execution
par: Döderlein, Jean-Baptiste, et autres
Publié: (2026)

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

Towards More Trustworthy Deep Code Models by Enabling Out-of-Distribution Detection
par: Yan, Yanfu, et autres
Publié: (2025)

Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
par: Xiao, Yuan-An, et autres
Publié: (2023)

Can LLMs Recover Program Semantics? A Systematic Evaluation with Symbolic Execution
par: Feng, Rong, et autres
Publié: (2025)

Trustworthy AI Software Engineers
par: Aleti, Aldeida, et autres
Publié: (2026)

STELP: Secure Transpilation and Execution of LLM-Generated Programs
par: Shinde, Swapnil, et autres
Publié: (2026)

Is Your Automated Software Engineer Trustworthy?
par: Mathews, Noble Saji, et autres
Publié: (2025)

TrustOps: Continuously Building Trustworthy Software
par: Brito, Eduardo, et autres
Publié: (2024)

Anchor Attention, Small Cache: Code Generation with Large Language Models
par: Zhang, Xiangyu, et autres
Publié: (2024)

An Efficient VCGen-based Modular Verification of Relational Properties
par: Blatter, Lionel, et autres
Publié: (2024)

Anteater: Interactive Visualization of Program Execution Values in Context
par: Faust, Rebecca, et autres
Publié: (2019)

Fakeium: A Dynamic Execution Environment for JavaScript Program Analysis
par: Moreno, José Miguel, et autres
Publié: (2024)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
par: Baek, Doehyun, et autres
Publié: (2025)

Towards Effectively Leveraging Execution Traces for Program Repair with Code LLMs
par: Haque, Mirazul, et autres
Publié: (2025)

Req2Road: A GenAI Pipeline for SDV Test Artifact Generation and On-Vehicle Execution
par: Zyberaj, Denesa, et autres
Publié: (2026)

POLARIS: A framework to guide the development of Trustworthy AI systems
par: Baldassarre, Maria Teresa, et autres
Publié: (2024)

Towards a Framework for Operationalizing the Specification of Trustworthy AI Requirements
par: Villamizar, Hugo, et autres
Publié: (2025)

X.509 Information Security Certification Based on Post-Quantum Cryptography
par: Chen, Abel C. H.
Publié: (2024)

Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation
par: Mahe, Erwan, et autres
Publié: (2024)

SGCR: A Specification-Grounded Framework for Trustworthy LLM Code Review
par: Wang, Kai, et autres
Publié: (2025)

DynaFix: Iterative Automated Program Repair Driven by Execution-Level Dynamic Information
par: Huang, Zhili, et autres
Publié: (2025)

Compiling Code LLMs into Lightweight Executables
par: Shi, Jieke, et autres
Publié: (2026)

An Integrated Platform for LEED Certification Automation Using Computer Vision and LLM-RAG
par: Lee, Jooyeol
Publié: (2025)

CodeBenchGen: Creating Scalable Execution-based Code Generation Benchmarks
par: Xie, Yiqing, et autres
Publié: (2024)

Towards Trustworthy LLMs for Code: A Data-Centric Synergistic Auditing Framework
par: Wang, Chong, et autres
Publié: (2024)

Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover
par: Fang, Jian, et autres
Publié: (2026)

Towards Trustworthy Sentiment Analysis in Software Engineering: Dataset Characteristics and Tool Selection
par: Obaidi, Martin, et autres
Publié: (2025)

Maestro: Intelligent Execution for Quantum Circuit Simulation
par: Bertomeu, Oriol, et autres
Publié: (2025)

Mokav: Execution-driven Differential Testing with LLMs
par: Etemadi, Khashayar, et autres
Publié: (2024)