Whose fault is it anyway? SILC: Safe Integration of LLM-Generated Code
Fuente:
arXiv
Guardado en:
| Autores principales: | Lin, Peisen, Zhang, Yuntong, Costea, Andreea, Roychoudhury, Abhik |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
SpecRover: Code Intent Extraction via LLMs
por: Ruan, Haifeng, et al.
Publicado: (2024)
por: Ruan, Haifeng, et al.
Publicado: (2024)
Assured Automatic Programming via Large Language Models
por: Mirchev, Martin, et al.
Publicado: (2024)
por: Mirchev, Martin, et al.
Publicado: (2024)
AutoCodeRover: Autonomous Program Improvement
por: Zhang, Yuntong, et al.
Publicado: (2024)
por: Zhang, Yuntong, et al.
Publicado: (2024)
Code Review Agent Benchmark
por: Zhang, Yuntong, et al.
Publicado: (2026)
por: Zhang, Yuntong, et al.
Publicado: (2026)
Codexity: Secure AI-assisted Code Generation
por: Kim, Sung Yong, et al.
Publicado: (2024)
por: Kim, Sung Yong, et al.
Publicado: (2024)
Unified Software Engineering Agent as AI Software Engineer
por: Applis, Leonhard, et al.
Publicado: (2025)
por: Applis, Leonhard, et al.
Publicado: (2025)
Agentic AI for Software: thoughts from Software Engineering community
por: Roychoudhury, Abhik
Publicado: (2025)
por: Roychoudhury, Abhik
Publicado: (2025)
AutoCodeSherpa: Symbolic Explanations in AI Coding Agents
por: Kang, Sungmin, et al.
Publicado: (2025)
por: Kang, Sungmin, et al.
Publicado: (2025)
Will AI replace Software Engineers? Do not hold your breath
por: Roychoudhury, Abhik, et al.
Publicado: (2025)
por: Roychoudhury, Abhik, et al.
Publicado: (2025)
Fuzzing: On Benchmarking Outcome as a Function of Benchmark Properties
por: Wolff, Dylan, et al.
Publicado: (2022)
por: Wolff, Dylan, et al.
Publicado: (2022)
Program Environment Fuzzing
por: Meng, Ruijie, et al.
Publicado: (2024)
por: Meng, Ruijie, et al.
Publicado: (2024)
Computation Tree Logic Guided Program Repair
por: Liu, Yu, et al.
Publicado: (2025)
por: Liu, Yu, et al.
Publicado: (2025)
Fixing Security Vulnerabilities with AI in OSS-Fuzz
por: Zhang, Yuntong, et al.
Publicado: (2024)
por: Zhang, Yuntong, et al.
Publicado: (2024)
AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing
por: Meng, Ruijie, et al.
Publicado: (2024)
por: Meng, Ruijie, et al.
Publicado: (2024)
Large Language Model assisted Hybrid Fuzzing
por: Meng, Ruijie, et al.
Publicado: (2024)
por: Meng, Ruijie, et al.
Publicado: (2024)
HintPilot: LLM-based Compiler Hint Synthesis for Code Optimization
por: Jiang, Hanyun, et al.
Publicado: (2026)
por: Jiang, Hanyun, et al.
Publicado: (2026)
Lemma Discovery in Agentic Program Verification
por: Zhao, Huan, et al.
Publicado: (2026)
por: Zhao, Huan, et al.
Publicado: (2026)
Agentic AI Software Engineers: Programming with Trust
por: Roychoudhury, Abhik, et al.
Publicado: (2025)
por: Roychoudhury, Abhik, et al.
Publicado: (2025)
Software Engineering Educational Experience in Building an Intelligent Tutoring System
por: Fan, Zhiyu, et al.
Publicado: (2023)
por: Fan, Zhiyu, et al.
Publicado: (2023)
Agentic Verification of Software Systems
por: Tu, Haoxin, et al.
Publicado: (2025)
por: Tu, Haoxin, et al.
Publicado: (2025)
Agent That Debugs: Dynamic State-Guided Vulnerability Repair
por: Liu, Zhengyao, et al.
Publicado: (2025)
por: Liu, Zhengyao, et al.
Publicado: (2025)
SE Journals in 2036: Looking Back at the Future We Need to Have
por: Menzies, Tim, et al.
Publicado: (2026)
por: Menzies, Tim, et al.
Publicado: (2026)
Inducing Vulnerable Code Generation in LLM Coding Assistants
por: Zeng, Binqi, et al.
Publicado: (2025)
por: Zeng, Binqi, et al.
Publicado: (2025)
On Simulation-Guided LLM-based Code Generation for Safe Autonomous Driving Software
por: Nouri, Ali, et al.
Publicado: (2025)
por: Nouri, Ali, et al.
Publicado: (2025)
Condor: A Code Discriminator Integrating General Semantics with Code Details
por: Liang, Qingyuan, et al.
Publicado: (2024)
por: Liang, Qingyuan, et al.
Publicado: (2024)
Automatic Programming: Large Language Models and Beyond
por: Lyu, Michael R., et al.
Publicado: (2024)
por: Lyu, Michael R., et al.
Publicado: (2024)
Are They All Good? Evaluating the Quality of CoTs in LLM-based Code Generation
por: Zhang, Binquan, et al.
Publicado: (2025)
por: Zhang, Binquan, et al.
Publicado: (2025)
Bias Unveiled: Investigating Social Bias in LLM-Generated Code
por: Ling, Lin, et al.
Publicado: (2024)
por: Ling, Lin, et al.
Publicado: (2024)
CodeGrad: Integrating Multi-Step Verification with Gradient-Based LLM Refinement
por: Zhang, Yueke, et al.
Publicado: (2025)
por: Zhang, Yueke, et al.
Publicado: (2025)
SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation
por: Sheng, Junjie, et al.
Publicado: (2025)
por: Sheng, Junjie, et al.
Publicado: (2025)
Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems
por: Zhang, Jianyu, et al.
Publicado: (2024)
por: Zhang, Jianyu, et al.
Publicado: (2024)
An Empirical Study of Interaction Smells in Multi-Turn Human-LLM Collaborative Code Generation
por: Zhang, Binquan, et al.
Publicado: (2026)
por: Zhang, Binquan, et al.
Publicado: (2026)
LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation
por: Bedell, Sarah, et al.
Publicado: (2026)
por: Bedell, Sarah, et al.
Publicado: (2026)
Beyond Code Generation: Assessing Code LLM Maturity with Postconditions
por: He, Fusen, et al.
Publicado: (2024)
por: He, Fusen, et al.
Publicado: (2024)
CodeCoR: An LLM-Based Self-Reflective Multi-Agent Framework for Code Generation
por: Pan, Ruwei, et al.
Publicado: (2025)
por: Pan, Ruwei, et al.
Publicado: (2025)
Quantum-Guided Test Case Minimization for LLM-Based Code Generation
por: Zhang, Huixiang, et al.
Publicado: (2025)
por: Zhang, Huixiang, et al.
Publicado: (2025)
Is Vibe Coding Safe? Benchmarking Vulnerability of Agent-Generated Code in Real-World Tasks
por: Zhao, Songwen, et al.
Publicado: (2025)
por: Zhao, Songwen, et al.
Publicado: (2025)
CodeAgent: Enhancing Code Generation with Tool-Integrated Agent Systems for Real-World Repo-level Coding Challenges
por: Zhang, Kechi, et al.
Publicado: (2024)
por: Zhang, Kechi, et al.
Publicado: (2024)
CodeArena: A Collective Evaluation Platform for LLM Code Generation
por: Du, Mingzhe, et al.
Publicado: (2025)
por: Du, Mingzhe, et al.
Publicado: (2025)
LAURA: Enhancing Code Review Generation with Context-Enriched Retrieval-Augmented LLM
por: Zhang, Yuxin, et al.
Publicado: (2025)
por: Zhang, Yuxin, et al.
Publicado: (2025)
Ejemplares similares
-
SpecRover: Code Intent Extraction via LLMs
por: Ruan, Haifeng, et al.
Publicado: (2024) -
Assured Automatic Programming via Large Language Models
por: Mirchev, Martin, et al.
Publicado: (2024) -
AutoCodeRover: Autonomous Program Improvement
por: Zhang, Yuntong, et al.
Publicado: (2024) -
Code Review Agent Benchmark
por: Zhang, Yuntong, et al.
Publicado: (2026) -
Codexity: Secure AI-assisted Code Generation
por: Kim, Sung Yong, et al.
Publicado: (2024)