:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Wolf, Alex, Palma, Marco Edoardo, Salza, Pasquale, Gall, Harald C.
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2402.13792
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On-the-Fly Syntax Highlighting: Generalisation and Speed-ups
by: Palma, Marco Edoardo, et al.
Published: (2024)

Key-Augmented Neural Triggers for Knowledge Sharing
by: Wolf, Alex, et al.
Published: (2025)

Multi Language Models for On-the-Fly Syntax Highlighting
by: Palma, Marco Edoardo, et al.
Published: (2025)

Do LLMs Favor Their Providers? Measuring Vertical Integration Bias in Code Generation
by: Catal, Melih, et al.
Published: (2026)

Engineering Trustworthy Software: A Mission for LLMs
by: Vieira, Marco
Published: (2024)

Towards Privacy-Preserving Code Generation: Differentially Private Code Language Models
by: Catal, Melih, et al.
Published: (2025)

Execution-free Program Repair
by: Huang, Li, et al.
Published: (2024)

Fine-grained Data Access Control for Collaborative Process Execution on Blockchain
by: Marangone, Edoardo, et al.
Published: (2022)

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
by: Yaacov, Tom, et al.
Published: (2024)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
by: Yang, Fanpeng, et al.
Published: (2025)

SpaceTime Programming: Live and Omniscient Exploration of Code and Execution
by: Döderlein, Jean-Baptiste, et al.
Published: (2026)

From Helpful to Trustworthy: LLM Agents for Pair Programming
by: Ayon, Ragib Shahariar
Published: (2026)

Towards More Trustworthy Deep Code Models by Enabling Out-of-Distribution Detection
by: Yan, Yanfu, et al.
Published: (2025)

Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling
by: Xiao, Yuan-An, et al.
Published: (2023)

Can LLMs Recover Program Semantics? A Systematic Evaluation with Symbolic Execution
by: Feng, Rong, et al.
Published: (2025)

Trustworthy AI Software Engineers
by: Aleti, Aldeida, et al.
Published: (2026)

STELP: Secure Transpilation and Execution of LLM-Generated Programs
by: Shinde, Swapnil, et al.
Published: (2026)

Is Your Automated Software Engineer Trustworthy?
by: Mathews, Noble Saji, et al.
Published: (2025)

TrustOps: Continuously Building Trustworthy Software
by: Brito, Eduardo, et al.
Published: (2024)

Anchor Attention, Small Cache: Code Generation with Large Language Models
by: Zhang, Xiangyu, et al.
Published: (2024)

An Efficient VCGen-based Modular Verification of Relational Properties
by: Blatter, Lionel, et al.
Published: (2024)

Anteater: Interactive Visualization of Program Execution Values in Context
by: Faust, Rebecca, et al.
Published: (2019)

Fakeium: A Dynamic Execution Environment for JavaScript Program Analysis
by: Moreno, José Miguel, et al.
Published: (2024)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
by: Baek, Doehyun, et al.
Published: (2025)

Towards Effectively Leveraging Execution Traces for Program Repair with Code LLMs
by: Haque, Mirazul, et al.
Published: (2025)

Req2Road: A GenAI Pipeline for SDV Test Artifact Generation and On-Vehicle Execution
by: Zyberaj, Denesa, et al.
Published: (2026)

POLARIS: A framework to guide the development of Trustworthy AI systems
by: Baldassarre, Maria Teresa, et al.
Published: (2024)

Towards a Framework for Operationalizing the Specification of Trustworthy AI Requirements
by: Villamizar, Hugo, et al.
Published: (2025)

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

Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation
by: Mahe, Erwan, et al.
Published: (2024)

SGCR: A Specification-Grounded Framework for Trustworthy LLM Code Review
by: Wang, Kai, et al.
Published: (2025)

DynaFix: Iterative Automated Program Repair Driven by Execution-Level Dynamic Information
by: Huang, Zhili, et al.
Published: (2025)

Compiling Code LLMs into Lightweight Executables
by: Shi, Jieke, et al.
Published: (2026)

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

CodeBenchGen: Creating Scalable Execution-based Code Generation Benchmarks
by: Xie, Yiqing, et al.
Published: (2024)

Towards Trustworthy LLMs for Code: A Data-Centric Synergistic Auditing Framework
by: Wang, Chong, et al.
Published: (2024)

Trustworthy Software Project Generation : a Case Study with an Interactive Theorem Prover
by: Fang, Jian, et al.
Published: (2026)

Towards Trustworthy Sentiment Analysis in Software Engineering: Dataset Characteristics and Tool Selection
by: Obaidi, Martin, et al.
Published: (2025)

Maestro: Intelligent Execution for Quantum Circuit Simulation
by: Bertomeu, Oriol, et al.
Published: (2025)

Mokav: Execution-driven Differential Testing with LLMs
by: Etemadi, Khashayar, et al.
Published: (2024)