:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Meng, Ruijie, Pham, Van-Thuan, Böhme, Marcel, Roychoudhury, Abhik
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering
Online-Zugang:	https://arxiv.org/abs/2412.20324
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Fuzzing: On Benchmarking Outcome as a Function of Benchmark Properties
von: Wolff, Dylan, et al.
Veröffentlicht: (2022)

Program Environment Fuzzing
von: Meng, Ruijie, et al.
Veröffentlicht: (2024)

Large Language Model assisted Hybrid Fuzzing
von: Meng, Ruijie, et al.
Veröffentlicht: (2024)

BGPFuzz: Automated Configuration Fuzzing of the Border Gateway Protocol
von: Zhang, Chenlu, et al.
Veröffentlicht: (2025)

GraphFuzz: Automated Testing of Graph Algorithm Implementations with Differential Fuzzing and Lightweight Feedback
von: Yan, Wenqi, et al.
Veröffentlicht: (2025)

Enhancing Code Review through Fuzzing and Likely Invariants
von: Charoenwet, Wachiraphan, et al.
Veröffentlicht: (2025)

Agentic AI for Software: thoughts from Software Engineering community
von: Roychoudhury, Abhik
Veröffentlicht: (2025)

Agentic Verification of Software Systems
von: Tu, Haoxin, et al.
Veröffentlicht: (2025)

Following Dragons: Code Review-Guided Fuzzing
von: Luu, Viet Hoang, et al.
Veröffentlicht: (2026)

Computation Tree Logic Guided Program Repair
von: Liu, Yu, et al.
Veröffentlicht: (2025)

DynamiQ: Unlocking the Potential of Dynamic Task Allocation in Parallel Fuzzing
von: Yan, Wenqi, et al.
Veröffentlicht: (2025)

Will AI replace Software Engineers? Do not hold your breath
von: Roychoudhury, Abhik, et al.
Veröffentlicht: (2025)

On Interaction Effects in Greybox Fuzzing
von: Kitsios, Konstantinos, et al.
Veröffentlicht: (2025)

Fixing Security Vulnerabilities with AI in OSS-Fuzz
von: Zhang, Yuntong, et al.
Veröffentlicht: (2024)

WuppieFuzz: Coverage-Guided, Stateful REST API Fuzzing
von: Rooijakkers, Thomas, et al.
Veröffentlicht: (2025)

InsightQL: Advancing Human-Assisted Fuzzing with a Unified Code Database and Parameterized Query Interface
von: Gao, Wentao, et al.
Veröffentlicht: (2025)

Fundamental Challenges in Cybersecurity and a Philosophy of Vulnerability-Guided Hardening
von: Böhme, Marcel
Veröffentlicht: (2024)

SpecRover: Code Intent Extraction via LLMs
von: Ruan, Haifeng, et al.
Veröffentlicht: (2024)

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

An Empirical Study of Fuzz Harness Degradation
von: Görz, Philipp, et al.
Veröffentlicht: (2025)

Agent That Debugs: Dynamic State-Guided Vulnerability Repair
von: Liu, Zhengyao, et al.
Veröffentlicht: (2025)

Codexity: Secure AI-assisted Code Generation
von: Kim, Sung Yong, et al.
Veröffentlicht: (2024)

AutoCodeSherpa: Symbolic Explanations in AI Coding Agents
von: Kang, Sungmin, et al.
Veröffentlicht: (2025)

AutoCodeRover: Autonomous Program Improvement
von: Zhang, Yuntong, et al.
Veröffentlicht: (2024)

Agentic AI Software Engineers: Programming with Trust
von: Roychoudhury, Abhik, et al.
Veröffentlicht: (2025)

Software Engineering Educational Experience in Building an Intelligent Tutoring System
von: Fan, Zhiyu, et al.
Veröffentlicht: (2023)

Lemma Discovery in Agentic Program Verification
von: Zhao, Huan, et al.
Veröffentlicht: (2026)

FLARE: Agentic Coverage-Guided Fuzzing for LLM-Based Multi-Agent Systems
von: Hui, Mingxuan, et al.
Veröffentlicht: (2026)

Evaluating the Effectiveness of Coverage-Guided Fuzzing for Testing Deep Learning Library APIs
von: Qin, Feiran, et al.
Veröffentlicht: (2025)

Coverage-Guided Multi-Agent Harness Generation for Java Library Fuzzing
von: Loose, Nils, et al.
Veröffentlicht: (2026)

How and Why Agents Can Identify Bug-Introducing Commits
von: Risse, Niklas, et al.
Veröffentlicht: (2026)

Perception-Guided Fuzzing for Simulated Scenario-Based Testing of Autonomous Driving Systems
von: Pham, Tri Minh Triet, et al.
Veröffentlicht: (2024)

An Empirical Study of Static Analysis Tools for Secure Code Review
von: Charoenwet, Wachiraphan, et al.
Veröffentlicht: (2024)

Toward Effective Secure Code Reviews: An Empirical Study of Security-Related Coding Weaknesses
von: Charoenwet, Wachiraphan, et al.
Veröffentlicht: (2023)

Assured Automatic Programming via Large Language Models
von: Mirchev, Martin, et al.
Veröffentlicht: (2024)

FuzzWiz -- Fuzzing Framework for Efficient Hardware Coverage
von: Gadde, Deepak Narayan, et al.
Veröffentlicht: (2024)

Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search
von: Tu, Haoxin, et al.
Veröffentlicht: (2024)

FuzzAug: Data Augmentation by Coverage-guided Fuzzing for Neural Test Generation
von: He, Yifeng, et al.
Veröffentlicht: (2024)

Unified Software Engineering Agent as AI Software Engineer
von: Applis, Leonhard, et al.
Veröffentlicht: (2025)

Empirical Computation
von: Tang, Eric, et al.
Veröffentlicht: (2025)