Buchumschlag

A Comparative Quality Metric for Untargeted Fuzzing with Logic State Coverage

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Lee, Gwangmu
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering Cryptography and Security D.2.5; F.3.2; G.3
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Control Flow Graph Recovery for Dynamically Loaded Code via Symbolic Library Resolution
von: Mostovyi, Oleksandr
Veröffentlicht: (2026)

FuzzRDUCC: Fuzzing with Reconstructed Def-Use Chain Coverage
von: Feng, Kai, et al.
Veröffentlicht: (2025)

FuzzPilot: Plateau-Triggered Recipe Validation for Structured Text Fuzzing
von: Yao, Zhiyi
Veröffentlicht: (2026)

Levels of Binary Equivalence for the Comparison of Binaries from Alternative Builds
von: Dietrich, Jens, et al.
Veröffentlicht: (2024)

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

FuzzDistill: Intelligent Fuzzing Target Selection using Compile-Time Analysis and Machine Learning
von: Upadhyay, Saket
Veröffentlicht: (2024)

Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation
von: Chen, Jinbao, et al.
Veröffentlicht: (2024)

Detecting Vulnerabilities in Encrypted Software Code while Ensuring Code Privacy
von: Martins, Jorge, et al.
Veröffentlicht: (2025)

Securing Mixed Rust with Hardware Capabilities
von: Yu, Jason Zhijingcheng, et al.
Veröffentlicht: (2025)

A Survey on Testing and Analysis of Quantum Software
von: Paltenghi, Matteo, et al.
Veröffentlicht: (2024)

Cross-ecosystem categorization: A manual-curation protocol for the categorization of Java Maven libraries along Python PyPI Topics
von: Paramitha, Ranindya, et al.
Veröffentlicht: (2024)

Harnessing the Power of Large Language Models for Software Testing Education: A Focus on ISTQB Syllabus
von: Ngo, Tuan-Phong, et al.
Veröffentlicht: (2025)

LLM Based Input Space Partitioning Testing for Library APIs
von: Li, Jiageng, et al.
Veröffentlicht: (2024)

LSPFuzz: Hunting Bugs in Language Servers
von: Zhu, Hengcheng, et al.
Veröffentlicht: (2025)

Hyperfuzzing: black-box security hypertesting with a grey-box fuzzer
von: Blackwell, Daniel, et al.
Veröffentlicht: (2023)

ETrace:Event-Driven Vulnerability Detection in Smart Contracts via LLM-Based Trace Analysis
von: Peng, Chenyang, et al.
Veröffentlicht: (2025)

Automating the Detection of Code Vulnerabilities by Analyzing GitHub Issues
von: Cipollone, Daniele, et al.
Veröffentlicht: (2025)

AddressWatcher: Sanitizer-Based Localization of Memory Leak Fixes
von: Murali, Aniruddhan, et al.
Veröffentlicht: (2024)

Orion: Fuzzing Workflow Automation
von: Bazalii, Max, et al.
Veröffentlicht: (2025)

LibLMFuzz: LLM-Augmented Fuzz Target Generation for Black-box Libraries
von: Hardgrove, Ian, et al.
Veröffentlicht: (2025)

Evaluating Cryptographic API Misuse Detectors for Go
von: Andersson, Vivi, et al.
Veröffentlicht: (2026)

Quantum-Safe Code Auditing: LLM-Assisted Static Analysis and Quantum-Aware Risk Scoring for Post-Quantum Cryptography Migration
von: Shaw, Animesh
Veröffentlicht: (2026)

Automatically Generating Questions About Scratch Programs
von: Obermüller, Florian, et al.
Veröffentlicht: (2025)

FalseCrashReducer: Mitigating False Positive Crashes in OSS-Fuzz-Gen Using Agentic AI
von: Amusuo, Paschal C., et al.
Veröffentlicht: (2025)

Verifying a Sparse Matrix Algorithm Using Symbolic Execution
von: Wilton, Alexander C.
Veröffentlicht: (2025)

Source Code Hotspots: A Diagnostic Method for Quality Issues
von: Muzammil, Saleha, et al.
Veröffentlicht: (2026)

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

CovRL: Fuzzing JavaScript Engines with Coverage-Guided Reinforcement Learning for LLM-based Mutation
von: Eom, Jueon, et al.
Veröffentlicht: (2024)

Tuning Random Generators: Property-Based Testing as Probabilistic Programming
von: Tjoa, Ryan, 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)

A Match Made in Heaven? AI-driven Matching of Vulnerabilities and Security Unit Tests
von: Iannone, Emanuele, et al.
Veröffentlicht: (2025)

Characterizing JavaScript Security Code Smells
von: Kambhampati, Vikas, et al.
Veröffentlicht: (2024)

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT
von: Rawat, Sanjay
Veröffentlicht: (2026)

A Block-Based Testing Framework for Scratch
von: Feldmeier, Patric, et al.
Veröffentlicht: (2024)

Inferring Input Grammars from Code with Symbolic Parsing
von: Bettscheider, Leon, et al.
Veröffentlicht: (2025)

Automated Vulnerability Detection Using Deep Learning Technique
von: Yang, Guan-Yan, et al.
Veröffentlicht: (2024)

Continuous Discovery of Vulnerabilities in LLM Serving Systems with Fuzzing
von: Zhao, Yunze, et al.
Veröffentlicht: (2026)

Talk is Cheap, Logic is Hard: Benchmarking LLMs on Post-Condition Formalization
von: Prasetya, I. S. W. B., et al.
Veröffentlicht: (2026)

Dynamic Race Detection With O(1) Samples
von: Thokair, Mosaad Al, et al.
Veröffentlicht: (2025)

A Case Study on Numerical Analysis of a Path Computation Algorithm
von: Boussu, Grégoire, et al.
Veröffentlicht: (2024)