Learning to Fuzz from Symbolic Execution with Application to Smart Contracts, 2019

files.sri.inf.ethz.chsite

from

Fuzzing

added

2026-10-10

likes

0

similar

1. ▲
   Hybrid fuzz testing: Discovering software bugs via fuzzing and symbolic execution, 2012 pdfs.semanticscholar.org

   site category #fuzzing link ↗
2. ▲
   Fuzz on the Beach: Fuzzing Solana Smart Contracts, 2023 dl.acm.org

   site category #fuzzing link ↗
3. ▲
   Driller: Augmenting Fuzzing Through Selective Symbolic Execution, 2016 cancer.shtech.org

   site category #fuzzing link ↗
4. ▲
   Towards Smart Contract Fuzzing on GPU, 2024 computer.org

   site category #fuzzing link ↗
5. ▲
   SyzSpec: Specification Generation for Linux Kernel Fuzzing via Under-Constrained Symbolic Execution, 2025 dl.acm.org

   site category #fuzzing link ↗
6. ▲
   T-Fuzz: fuzzing by program transformation, 2018 nebelwelt.net

   site category #fuzzing link ↗