Cover Image

Codexity: Secure AI-assisted Code Generation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kim, Sung Yong, Fan, Zhiyu, Noller, Yannic, Roychoudhury, Abhik
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Software Engineering Educational Experience in Building an Intelligent Tutoring System
by: Fan, Zhiyu, et al.
Published: (2023)

AutoCodeRover: Autonomous Program Improvement
by: Zhang, Yuntong, et al.
Published: (2024)

Agentic AI for Software: thoughts from Software Engineering community
by: Roychoudhury, Abhik
Published: (2025)

AutoCodeSherpa: Symbolic Explanations in AI Coding Agents
by: Kang, Sungmin, et al.
Published: (2025)

Will AI replace Software Engineers? Do not hold your breath
by: Roychoudhury, Abhik, et al.
Published: (2025)

Whose fault is it anyway? SILC: Safe Integration of LLM-Generated Code
by: Lin, Peisen, et al.
Published: (2024)

Large Language Model assisted Hybrid Fuzzing
by: Meng, Ruijie, et al.
Published: (2024)

SpecRover: Code Intent Extraction via LLMs
by: Ruan, Haifeng, et al.
Published: (2024)

Fuzzing: On Benchmarking Outcome as a Function of Benchmark Properties
by: Wolff, Dylan, et al.
Published: (2022)

Program Environment Fuzzing
by: Meng, Ruijie, et al.
Published: (2024)

Agentic AI Software Engineers: Programming with Trust
by: Roychoudhury, Abhik, et al.
Published: (2025)

Exploring Generalizable Automated Program Repair with Large Language Models
by: Campos, Viola, et al.
Published: (2025)

Fixing Security Vulnerabilities with AI in OSS-Fuzz
by: Zhang, Yuntong, et al.
Published: (2024)

Computation Tree Logic Guided Program Repair
by: Liu, Yu, et al.
Published: (2025)

AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing
by: Meng, Ruijie, et al.
Published: (2024)

ReproBreak: A Dataset of Reproducible Web Locator Breaks
by: de Moura, Thiago Santos, et al.
Published: (2026)

Lemma Discovery in Agentic Program Verification
by: Zhao, Huan, et al.
Published: (2026)

Code Review Agent Benchmark
by: Zhang, Yuntong, et al.
Published: (2026)

Engineering Pitfalls in AI Coding Tools: An Empirical Study of Bugs in Claude Code, Codex, and Gemini CLI
by: Zhang, Ruixin, et al.
Published: (2026)

Unified Software Engineering Agent as AI Software Engineer
by: Applis, Leonhard, et al.
Published: (2025)

Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models
by: Koh, Daniel, et al.
Published: (2025)

Agentic Verification of Software Systems
by: Tu, Haoxin, et al.
Published: (2025)

Risk Estimation in Differential Fuzzing via Extreme Value Theory
by: Baez, Rafael, et al.
Published: (2025)

Designing for Novice Debuggers: A Pilot Study on an AI-Assisted Debugging Tool
by: Kurniawan, Oka, et al.
Published: (2025)

Simulated Interactive Debugging
by: Noller, Yannic, et al.
Published: (2025)

Agent That Debugs: Dynamic State-Guided Vulnerability Repair
by: Liu, Zhengyao, et al.
Published: (2025)

Assured Automatic Programming via Large Language Models
by: Mirchev, Martin, et al.
Published: (2024)

Context-Aware CodeLLM Eviction for AI-assisted Coding
by: Thangarajah, Kishanthan, et al.
Published: (2025)

SE Journals in 2036: Looking Back at the Future We Need to Have
by: Menzies, Tim, et al.
Published: (2026)

Before Autonomy Takes Control: Software Testing in Robotics
by: Chur, Nils, et al.
Published: (2026)

The Role of Generative AI in Strengthening Secure Software Coding Practices: A Systematic Perspective
by: Alwageed, Hathal S., et al.
Published: (2025)

Automatic Programming: Large Language Models and Beyond
by: Lyu, Michael R., et al.
Published: (2024)

Benchmarks for Trajectory Safety Evaluation and Diagnosis in OpenClaw and Codex: ATBench-Claw and ATBench-Codex
by: Yang, Zhonghao, et al.
Published: (2026)

iCodeReviewer: Improving Secure Code Review with Mixture of Prompts
by: Peng, Yun, et al.
Published: (2025)

AI Code in the Wild: Measuring Security Risks and Ecosystem Shifts of AI-Generated Code in Modern Software
by: Wang, Bin, et al.
Published: (2025)

Multi-line AI-assisted Code Authoring
by: Dunay, Omer, et al.
Published: (2024)

Guiding AI to Fix Its Own Flaws: An Empirical Study on LLM-Driven Secure Code Generation
by: Yan, Hao, et al.
Published: (2025)

DeVAIC: A Tool for Security Assessment of AI-generated Code
by: Cotroneo, Domenico, et al.
Published: (2024)

Assessing the Quality and Security of AI-Generated Code: A Quantitative Analysis
by: Sabra, Abbas, et al.
Published: (2025)

Is Your AI-Generated Code Really Safe? Evaluating Large Language Models on Secure Code Generation with CodeSecEval
by: Wang, Jiexin, et al.
Published: (2024)