Imagen de Portada

CovRL: Fuzzing JavaScript Engines with Coverage-Guided Reinforcement Learning for LLM-based Mutation

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Eom, Jueon, Jeong, Seyeon, Kwon, Taekyoung
Formato:	Preprint
Publicado:	2024
Materias:	Cryptography and Security Computation and Language Machine Learning Software Engineering D.4.6; I.2.5; D.2.4
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Secure coding for web applications: Frameworks, challenges, and the role of LLMs
por: Kiashemshaki, Kiana, et al.
Publicado: (2025)

Testing SSD Firmware with State Data-Aware Fuzzing: Accelerating Coverage in Nondeterministic I/O Environments
por: Yoon, Gangho, et al.
Publicado: (2025)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
por: Garcia, Rémi, et al.
Publicado: (2024)

Model checking of hyperproperties for high-level relational models
por: Macedo, Nuno, et al.
Publicado: (2025)

The Range Shrinks, the Threat Remains: Re-evaluating LLM Package Hallucinations on the 2026 Frontier-Model Cohort
por: Churilov, Aleksandr
Publicado: (2026)

Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
por: Susan, Ştefan-Claudiu, et al.
Publicado: (2025)

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
por: Liyanage, Danushka, et al.
Publicado: (2025)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
por: Mitra, Joydeep, et al.
Publicado: (2020)

Adaptive Proof Refinement with LLM-Guided Strategy Selection
por: Lu, Minghai, et al.
Publicado: (2025)

PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
por: Li, Xiaoqi, et al.
Publicado: (2026)

RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
por: Bai, Yubo, et al.
Publicado: (2025)

Constitutional Spec-Driven Development: Enforcing Security by Construction in AI-Assisted Code Generation
por: Marri, Srinivas Rao
Publicado: (2026)

Validating Formal Specifications with LLM-generated Test Cases
por: Cunha, Alcino, et al.
Publicado: (2025)

Comparing Human and LLM Generated Code: The Jury is Still Out!
por: Licorish, Sherlock A., et al.
Publicado: (2025)

Anumati: Proof of Adherence as a Formal Consent Model for Autonomous Agent Protocols
por: Kadaboina, Ravi Kiran
Publicado: (2026)

LibLMFuzz: LLM-Augmented Fuzz Target Generation for Black-box Libraries
por: Hardgrove, Ian, et al.
Publicado: (2025)

SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark
por: Yu, Boxi, et al.
Publicado: (2026)

Combined Program Analysis Techniques: A Systematic Mapping Study
por: Braione, Pietro, et al.
Publicado: (2026)

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
por: McCormack, Ian, et al.
Publicado: (2024)

Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions
por: Sharmin, Shaila, et al.
Publicado: (2025)

Scalable Language Agnostic Taint Tracking using Explicit Data Dependencies
por: Effendi, Sedick David Baker, et al.
Publicado: (2025)

Analyzing Logs of Large-Scale Software Systems using Time Curves Visualization
por: Borysenkov, Dmytro, et al.
Publicado: (2024)

Safeguarding DeFi Smart Contracts against Oracle Deviations
por: Deng, Xun, et al.
Publicado: (2024)

Orion: Fuzzing Workflow Automation
por: Bazalii, Max, et al.
Publicado: (2025)

Secure IVSHMEM: End-to-End Shared-Memory Protocol with Hypervisor-CA Handshake and In-Kernel Access Control
por: Kim, Hyunwoo, et al.
Publicado: (2025)

Swarm Contract: A Multi-Sovereign Agent Consensus Mechanism
por: Yang, Haowei
Publicado: (2024)

A History Equivalence Algorithm for Dynamic Process Migration
por: Bakshi, Gargi, et al.
Publicado: (2024)

Governed Capability Evolution: Lifecycle-Time Compatibility Checking and Rollback for AI-Component-Based Systems, with Embodied Agents as Case Study
por: Qin, Xue, et al.
Publicado: (2026)

From Separate Compilation to Sound Language Composition
por: Bruzzone, Federico, et al.
Publicado: (2026)

Synthesizing Test Cases for Narrowing Specification Candidates
por: Cunha, Alcino, et al.
Publicado: (2025)

ATLAS: A Layered Constraint-Guided Framework for Structured Artifact Generation in LLM-Assisted MDE
por: Ma, Tong, et al.
Publicado: (2025)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
por: Beg, Arshad, et al.
Publicado: (2026)

Secure and Scalable Blockchain Voting: A Comparative Framework and the Role of Large Language Models
por: Kiashemshaki, Kiana, et al.
Publicado: (2025)

C8s: A Confidential Kubernetes Architecture
por: Asad, Amean, et al.
Publicado: (2026)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
por: Beg, Arshad, et al.
Publicado: (2026)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
por: Beg, Arshad, et al.
Publicado: (2025)

A Short Survey on Formalising Software Requirements using Large Language Models
por: Beg, Arshad, et al.
Publicado: (2025)

Continuous Discovery of Vulnerabilities in LLM Serving Systems with Fuzzing
por: Zhao, Yunze, et al.
Publicado: (2026)

Verifying Device Drivers with Pancake
por: Zhao, Junming, et al.
Publicado: (2025)

The Specification as Quality Gate: Three Hypotheses on AI-Assisted Code Review
por: Zietsman, Christo
Publicado: (2026)