Copertina

VeriGrey: Greybox Agent Validation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Zhang, Yuntong, Kang, Sungmin, Meng, Ruijie, Böhme, Marcel, Roychoudhury, Abhik
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

AutoCodeRover: Autonomous Program Improvement
di: Zhang, Yuntong, et al.
Pubblicazione: (2024)

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

Agentic AI for Software: thoughts from Software Engineering community
di: Roychoudhury, Abhik
Pubblicazione: (2025)

Code Review Agent Benchmark
di: Zhang, Yuntong, et al.
Pubblicazione: (2026)

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

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

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

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

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

On Interaction Effects in Greybox Fuzzing
di: Kitsios, Konstantinos, et al.
Pubblicazione: (2025)

Empirical Computation
di: Tang, Eric, et al.
Pubblicazione: (2025)

Program Environment Fuzzing
di: Meng, Ruijie, et al.
Pubblicazione: (2024)

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

LLAMAFUZZ: Large Language Model Enhanced Greybox Fuzzing
di: Zhang, Hongxiang, et al.
Pubblicazione: (2024)

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

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

Can LLM Generate Regression Tests for Software Commits?
di: Liu, Jing, et al.
Pubblicazione: (2025)

VeriMoA: A Mixture-of-Agents Framework for Spec-to-HDL Generation
di: Ping, Heng, et al.
Pubblicazione: (2025)

Advancing Medical Image Segmentation: Morphology-Driven Learning with Diffusion Transformer
di: Kang, Sungmin, et al.
Pubblicazione: (2024)

VeriTrace: Evolving Mental Models for Deep Research Agents
di: Zhao, Haolang, et al.
Pubblicazione: (2026)

Very Large-Scale Multi-Agent Simulation in AgentScope
di: Pan, Xuchen, et al.
Pubblicazione: (2024)

VeriTrip: A Verifiable Benchmark for Travel Planning Agents over Unstructured Web Corpora
di: Xu, Yuting, et al.
Pubblicazione: (2026)

To Defend Against Cyber Attacks, We Must Teach AI Agents to Hack
di: Zhuo, Terry Yue, et al.
Pubblicazione: (2026)

Incoherence as Oracle-less Measure of Error in LLM-Based Code Generation
di: Valentin, Thomas, et al.
Pubblicazione: (2025)

VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks
di: Feng, Yu, et al.
Pubblicazione: (2025)

From Benchmark Data To Applicable Program Repair: An Experience Report
di: Chandramohan, Mahinthan, et al.
Pubblicazione: (2025)

rSDNet: Unified Robust Neural Learning against Label Noise and Adversarial Attacks
di: Jana, Suryasis, et al.
Pubblicazione: (2026)

Neural Interaction Energy for Multi-Agent Trajectory Prediction
di: Shen, Kaixin, et al.
Pubblicazione: (2024)

Evaluating Very Long-Term Conversational Memory of LLM Agents
di: Maharana, Adyasha, et al.
Pubblicazione: (2024)

Grey-informed neural network for time-series forecasting
di: Xie, Wanli, et al.
Pubblicazione: (2024)

Improving LLM Reasoning with Multi-Agent Tree-of-Thought Validator Agent
di: Haji, Fatemeh, et al.
Pubblicazione: (2024)

Logic Agent: Enhancing Validity with Logic Rule Invocation
di: Liu, Hanmeng, et al.
Pubblicazione: (2024)

ELAD: Explanation-Guided Large Language Models Active Distillation
di: Zhang, Yifei, et al.
Pubblicazione: (2024)

TAGA: Text-Attributed Graph Self-Supervised Learning by Synergizing Graph and Text Mutual Transformations
di: Zhang, Zheng, et al.
Pubblicazione: (2024)

Agent Hospital: A Simulacrum of Hospital with Evolvable Medical Agents
di: Li, Junkai, et al.
Pubblicazione: (2024)

Breaking the Blocks: Continuous Low-Rank Decomposed Scaling for Unified LLM Quantization and Adaptation
di: Tang, Pingzhi, et al.
Pubblicazione: (2026)

Where Code Meets Natural Language: Taxonomy-Driven Information Flow Analysis for LLM-Integrated Applications
di: Xu, Zihao, et al.
Pubblicazione: (2026)

On the Convergence of Sigmoid and tanh Fuzzy General Grey Cognitive Maps
di: Gao, Xudong, et al.
Pubblicazione: (2024)

MPVO: Motion-Prior based Visual Odometry for PointGoal Navigation
di: Paul, Sayan, et al.
Pubblicazione: (2024)