Enregistré dans:
| Auteurs principaux: | Dolcetti, Greta, Arceri, Vincenzo, Iotti, Eleonora, Maffeis, Sergio, Cortesi, Agostino, Zaffanella, Enea |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | https://arxiv.org/abs/2412.14841 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Twinning automata and regular expressions for string static analysis
par: Negrini, Luca, et autres
Publié: (2020)
par: Negrini, Luca, et autres
Publié: (2020)
Tarsis: An effective automata‐based abstract domain for string analysis
par: Luca Negrini, et autres
Publié: (2024)
par: Luca Negrini, et autres
Publié: (2024)
SEER: Sustainability Enhanced Engineering of Software Requirements
par: Roy, Mandira, et autres
Publié: (2025)
par: Roy, Mandira, et autres
Publié: (2025)
APIRL: Deep Reinforcement Learning for REST API Fuzzing
par: Foley, Myles, et autres
Publié: (2024)
par: Foley, Myles, et autres
Publié: (2024)
Are LLMs Ready for TOON? Benchmarking Structural Correctness-Sustainability Trade-offs in Novel Structured Output Formats
par: Masciari, Elio, et autres
Publié: (2026)
par: Masciari, Elio, et autres
Publié: (2026)
Blue Teaming Function-Calling Agents
par: Dolcetti, Greta, et autres
Publié: (2026)
par: Dolcetti, Greta, et autres
Publié: (2026)
CoRe: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
par: Xie, Danning, et autres
Publié: (2025)
par: Xie, Danning, et autres
Publié: (2025)
Static Program Analysis Guided LLM Based Unit Test Generation
par: Roychowdhury, Sujoy, et autres
Publié: (2025)
par: Roychowdhury, Sujoy, et autres
Publié: (2025)
AutoSafeCoder: A Multi-Agent Framework for Securing LLM Code Generation through Static Analysis and Fuzz Testing
par: Nunez, Ana, et autres
Publié: (2024)
par: Nunez, Ana, et autres
Publié: (2024)
ReCatcher: Towards LLMs Regression Testing for Code Generation
par: Abbassi, Altaf Allah, et autres
Publié: (2025)
par: Abbassi, Altaf Allah, et autres
Publié: (2025)
Towards a Taxonomy of Sustainability Requirements for Software Design
par: Roy, Mandira, et autres
Publié: (2025)
par: Roy, Mandira, et autres
Publié: (2025)
Beyond Execution: Static-Analysis Rewards and Hint-Conditioned Diffusion RL for Code Generation
par: Ouyang, Shuyin, et autres
Publié: (2026)
par: Ouyang, Shuyin, et autres
Publié: (2026)
Using a Feedback Loop for LLM-based Infrastructure as Code Generation
par: Palavalli, Mayur Amarnath, et autres
Publié: (2024)
par: Palavalli, Mayur Amarnath, et autres
Publié: (2024)
Do Code LLMs Do Static Analysis?
par: Su, Chia-Yi, et autres
Publié: (2025)
par: Su, Chia-Yi, et autres
Publié: (2025)
Chain of Targeted Verification Questions to Improve the Reliability of Code Generated by LLMs
par: Ngassom, Sylvain Kouemo, et autres
Publié: (2024)
par: Ngassom, Sylvain Kouemo, et autres
Publié: (2024)
Augmenting Large Language Models with Static Code Analysis for Automated Code Quality Improvements
par: Abtahi, Seyed Moein, et autres
Publié: (2025)
par: Abtahi, Seyed Moein, et autres
Publié: (2025)
DSTC: Direct Preference Learning with Only Self-Generated Tests and Code to Improve Code LMs
par: Liu, Zhihan, et autres
Publié: (2024)
par: Liu, Zhihan, et autres
Publié: (2024)
Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness
par: Blyth, Scott, et autres
Publié: (2025)
par: Blyth, Scott, et autres
Publié: (2025)
Can LLM Generate Regression Tests for Software Commits?
par: Liu, Jing, et autres
Publié: (2025)
par: Liu, Jing, et autres
Publié: (2025)
Combining Large Language Models with Static Analyzers for Code Review Generation
par: Jaoua, Imen, et autres
Publié: (2025)
par: Jaoua, Imen, et autres
Publié: (2025)
Using an LLM to Help With Code Understanding
par: Nam, Daye, et autres
Publié: (2023)
par: Nam, Daye, et autres
Publié: (2023)
$\mathbb{USCD}$: Improving Code Generation of LLMs by Uncertainty-Aware Selective Contrastive Decoding
par: Wang, Shuai, et autres
Publié: (2024)
par: Wang, Shuai, et autres
Publié: (2024)
Klear-CodeTest: Scalable Test Case Generation for Code Reinforcement Learning
par: Fu, Jia, et autres
Publié: (2025)
par: Fu, Jia, et autres
Publié: (2025)
Analysis on LLMs Performance for Code Summarization
par: Akib, Md. Ahnaf, et autres
Publié: (2024)
par: Akib, Md. Ahnaf, et autres
Publié: (2024)
Improving Code Generation by Training with Natural Language Feedback
par: Chen, Angelica, et autres
Publié: (2023)
par: Chen, Angelica, et autres
Publié: (2023)
ZeroFalse: Improving Precision in Static Analysis with LLMs
par: Iranmanesh, Mohsen, et autres
Publié: (2025)
par: Iranmanesh, Mohsen, et autres
Publié: (2025)
CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs towards CWE Detection
par: Dubniczky, Richard A., et autres
Publié: (2025)
par: Dubniczky, Richard A., et autres
Publié: (2025)
Test-Driven Development for Code Generation
par: Mathews, Noble Saji, et autres
Publié: (2024)
par: Mathews, Noble Saji, et autres
Publié: (2024)
Mutation-based Consistency Testing for Evaluating the Code Understanding Capability of LLMs
par: Li, Ziyu, et autres
Publié: (2024)
par: Li, Ziyu, et autres
Publié: (2024)
TREAT: A Code LLMs Trustworthiness / Reliability Evaluation and Testing Framework
par: Gao, Shuzheng, et autres
Publié: (2025)
par: Gao, Shuzheng, et autres
Publié: (2025)
PerfCodeGen: Improving Performance of LLM Generated Code with Execution Feedback
par: Peng, Yun, et autres
Publié: (2024)
par: Peng, Yun, et autres
Publié: (2024)
A Controlled Experiment on the Energy Efficiency of the Source Code Generated by Code Llama
par: Cursaru, Vlad-Andrei, et autres
Publié: (2024)
par: Cursaru, Vlad-Andrei, et autres
Publié: (2024)
From Static to Intelligent: Evolving SaaS Pricing with LLMs
par: Cavero, Francisco Javier, et autres
Publié: (2025)
par: Cavero, Francisco Javier, et autres
Publié: (2025)
Evaluating the Energy-Efficiency of the Code Generated by LLMs
par: Islam, Md Arman, et autres
Publié: (2025)
par: Islam, Md Arman, et autres
Publié: (2025)
QLPro: Automated Code Vulnerability Discovery via LLM and Static Code Analysis Integration
par: Hu, Junze, et autres
Publié: (2025)
par: Hu, Junze, et autres
Publié: (2025)
LLMs for Science: Usage for Code Generation and Data Analysis
par: Nejjar, Mohamed, et autres
Publié: (2023)
par: Nejjar, Mohamed, et autres
Publié: (2023)
LLMs as Continuous Learners: Improving the Reproduction of Defective Code in Software Issues
par: Lin, Yalan, et autres
Publié: (2024)
par: Lin, Yalan, et autres
Publié: (2024)
A Theoretical Analysis of Test-Driven Code Generation
par: Menet, Nicolas, et autres
Publié: (2026)
par: Menet, Nicolas, et autres
Publié: (2026)
LLMs for Test Input Generation for Semantic Caches
par: Rasool, Zafaryab, et autres
Publié: (2024)
par: Rasool, Zafaryab, et autres
Publié: (2024)
Revisit Self-Debugging with Self-Generated Tests for Code Generation
par: Chen, Xiancai, et autres
Publié: (2025)
par: Chen, Xiancai, et autres
Publié: (2025)
Documents similaires
-
Twinning automata and regular expressions for string static analysis
par: Negrini, Luca, et autres
Publié: (2020) -
Tarsis: An effective automata‐based abstract domain for string analysis
par: Luca Negrini, et autres
Publié: (2024) -
SEER: Sustainability Enhanced Engineering of Software Requirements
par: Roy, Mandira, et autres
Publié: (2025) -
APIRL: Deep Reinforcement Learning for REST API Fuzzing
par: Foley, Myles, et autres
Publié: (2024) -
Are LLMs Ready for TOON? Benchmarking Structural Correctness-Sustainability Trade-offs in Novel Structured Output Formats
par: Masciari, Elio, et autres
Publié: (2026)