AI-powered fuzzing with the GitHub Security Lab Taskflow Agent
10 min
SoK: You Find What You Seek: Rethinking Oracles, Guidance, and Input Generation in Hardware Fuzzing
Dynamic Conformance Testing of WebGPU Through Specification-Driven Mutation
1
State-Aware Fuzzing of JavaScript Engines with LLM-Guided Instrumentation
1
AIJon: Automated Generation of Annotations for Fuzzing
1
IntentFuzz: A Protocol-Aware Fuzzer for Automated Invariant Violation Detection in Intent-Based Cross-Chain Bridges
1
Testing race conditions with memory access tracing and stack-based delay injection
15 min2
How well do agents use test/verification techniques?
15 min
When LLM Decompilers Recompile More and Preserve Less
Measuring the Checker: Mutation Analysis for GPU-Kernel Benchmark Oracles
