A framework combining AFL++ with SystemC-TLM virtual prototypes enables realistic stateful fuzzing of embedded software, eliminating false positives while matching state-of-the-art code coverage and performance.
Title resolution pending
2 Pith papers cite this work, alongside 4 external citations. Polarity classification is still indexing.
2
Pith papers citing it
4
external citations · OpenAlex
representative citing papers
citing papers explorer
-
Stateful Embedded Fuzzing with Peripheral-Accurate SystemC Virtual Prototypes
A framework combining AFL++ with SystemC-TLM virtual prototypes enables realistic stateful fuzzing of embedded software, eliminating false positives while matching state-of-the-art code coverage and performance.
- State Space Estimation for DPOR-based Model Checkers(Extended Version)