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. Polarity classification is still indexing.
2
Pith papers citing it
representative citing papers
A Monte Carlo estimator converts stateless optimal DPOR into an unbiased poly-time estimator for the number of Mazurkiewicz traces by sampling paths in the exploration tree and using stochastic enumeration to control variance.
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)
A Monte Carlo estimator converts stateless optimal DPOR into an unbiased poly-time estimator for the number of Mazurkiewicz traces by sampling paths in the exploration tree and using stochastic enumeration to control variance.