Buchumschlag

FalseCrashReducer: Mitigating False Positive Crashes in OSS-Fuzz-Gen Using Agentic AI

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Amusuo, Paschal C., Liu, Dongge, Mendez, Ricardo Andres Calvo, Metzman, Jonathan, Chang, Oliver, Davis, James C.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering Cryptography and Security Multiagent Systems D.2.4; F.3.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Unit Proofing Framework for Code-level Verification: A Research Agenda
von: Amusuo, Paschal C., et al.
Veröffentlicht: (2024)

Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification
von: Amusuo, Paschal C., et al.
Veröffentlicht: (2025)

AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification
von: Amusuo, Paschal C., et al.
Veröffentlicht: (2026)

Veritas-RPM: Provenance-Guided Multi-Agent False Positive Suppression for Remote Patient Monitoring
von: Misro, Aswini, et al.
Veröffentlicht: (2026)

Physical oceanography during Thomas G. Thompson cruise 31TTTPS24_2 on section P03
von: WOCE Hydrographic Programme, WHP
Veröffentlicht: (2002)

Hydrochemistry measured on water bottle samples during Thomas G. Thompson cruise 31TTTPS24_2 on section P03W
von: WOCE Hydrographic Programme, WHP
Veröffentlicht: (2002)

Physical oceanography during Thomas G. Thompson cruise 31TTTPS24_1 on section P03
von: WOCE Hydrographic Programme, WHP
Veröffentlicht: (2002)

Hydrochemistry measured on water bottle samples during Thomas G. Thompson cruise 31TTTPS24_1 on section P03E
von: WOCE Hydrographic Programme, WHP
Veröffentlicht: (2002)

Hydrochemistry measured on water bottle samples during Ronald H. Brown cruise 31RBOACES24N_2 on section AR01
von: WOCE Hydrographic Programme, WHP
Veröffentlicht: (2002)

Physical oceanography during Ronald H. Brown cruise 31RBOACES24N_2 on section AR01
von: WOCE Hydrographic Programme, WHP
Veröffentlicht: (2002)

Pramana: A Protocol-Layer Treatment of Claim Verification in Autonomous Agent Networks
von: Kadaboina, Ravi Kiran
Veröffentlicht: (2026)

A-MapReduce: Executing Wide Search via Agentic MapReduce
von: Chen, Mingju, et al.
Veröffentlicht: (2026)

HDP: A Lightweight Cryptographic Protocol for Human Delegation Provenance in Agentic AI Systems
von: Dalugoda, Asiri
Veröffentlicht: (2026)

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

A Fuzzy Supervisor Agent Design for Clinical Reasoning Assistance in a Multi-Agent Educational Clinical Scenario Simulation
von: Zheng, Weibing, et al.
Veröffentlicht: (2025)

Ablation Study of a Fairness Auditing Agentic System for Bias Mitigation in Early-Onset Colorectal Cancer Detection
von: Ionescu, Amalia, et al.
Veröffentlicht: (2026)

Modelling Human Values for AI Reasoning
von: Osman, Nardine, et al.
Veröffentlicht: (2024)

ChargingBoul: A Competitive Negotiating Agent with Novel Opponent Modeling
von: Shymanski, Joe
Veröffentlicht: (2025)

HECATE: An ECS-based Framework for Teaching and Developing Multi-Agent Systems
von: Casals, Arthur, et al.
Veröffentlicht: (2025)

Context Engineering: From Prompts to Corporate Multi-Agent Architecture
von: Vishnyakova, Vera V.
Veröffentlicht: (2026)

Rational Silence and False Polarization: How Viewpoint Organizations and Recommender Systems Distort the Expression of Public Opinion
von: Sarkar, Atrisha, et al.
Veröffentlicht: (2024)

TrueReason: An Exemplar Personalised Learning System Integrating Reasoning with Foundational Models
von: Bulathwela, Sahan, et al.
Veröffentlicht: (2025)

Empowering VLMs for Few-Shot Multimodal Time Series Classification via Tailored Agentic Reasoning
von: Li, Lin, et al.
Veröffentlicht: (2026)

RubikSQL: Lifelong Learning Agentic Knowledge Base as an Industrial NL2SQL System
von: Chen, Zui, et al.
Veröffentlicht: (2025)

TaskGen: A Task-Based, Memory-Infused Agentic Framework using StrictJSON
von: Tan, John Chong Min, et al.
Veröffentlicht: (2024)

I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems
von: Galimullin, Rustam, et al.
Veröffentlicht: (2026)

The impact of the COVID-19 pandemic on poverty and inequality in Mexico
von: Luis Huesca
Veröffentlicht: (2021)

VERITAS: Verifiable Epistemic Reasoning for Image-Derived Hypothesis Testing via Agentic Systems
von: Stoffl, Lucas, et al.
Veröffentlicht: (2026)

Intelligent Product 3.0: Decentralised AI Agents and Web3 Intelligence Standards
von: Wong, Alex C. Y., et al.
Veröffentlicht: (2025)

Hallucination Mitigation with Agentic AI, Nested Learning, and AI Sustainability via Semantic Caching
von: Gosmar, Diego, et al.
Veröffentlicht: (2026)

From Multi-Agent Systems and the Semantic Web to Agentic AI: A Unified Narrative of the Web of Agents
von: Petrova, Tatiana, et al.
Veröffentlicht: (2025)

Prompt Injection Mitigation with Agentic AI, Nested Learning, and AI Sustainability via Semantic Caching
von: Gosmar, Diego, et al.
Veröffentlicht: (2026)

CARES: Collaborative Agentic Reasoning for Error Detection in Surgery
von: Low, Chang Han, et al.
Veröffentlicht: (2025)

Common $p$-Belief with Plausibility Measures: Extended Abstract
von: Pacuit, Eric, et al.
Veröffentlicht: (2025)

Ensuring trustworthy and ethical behaviour in intelligent logical agents
von: Costantini, Stefania
Veröffentlicht: (2024)

Emergent Formal Verification: How an Autonomous AI Ecosystem Independently Discovered SMT-Based Safety Across Six Domains
von: Untila, Octavian
Veröffentlicht: (2026)

Space-time process algebra with asynchronous communication
von: Bergstra, J. A., et al.
Veröffentlicht: (2024)

CREW-WILDFIRE: Benchmarking Agentic Multi-Agent Collaborations at Scale
von: Hyun, Jonathan, et al.
Veröffentlicht: (2025)

From Prototype to Classroom: An Intelligent Tutoring System for Quantum Education
von: Elhaimeur, Iizalaarab, et al.
Veröffentlicht: (2026)

QuickCheck for VDM
von: Battle, Nick, et al.
Veröffentlicht: (2024)