Formal Methods

Overview of attention for book

Formal Methods

Springer International Publishing

Attention for Chapter 6: BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning

Altmetric Badge

Mentioned by

So far, Altmetric has seen 1 X post from an account with 0 followers.

@BjornerNikolaj Here are some additional papers on SMT solver fuzzing that you might find relevant: BanditFuzz (FM 21 https://t.co/NGbNLC97qS), Diver (ICSE 23 https://t.co/sH4S9TI1Jq), HistFuzz (ICSE 23 https://t.co/9ob3ApNtqK), SPRFinder (TSE https://t.co

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.