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
fields
cs.SE 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
RisCoSet applies multiple hypothesis testing to construct risk-controlling partial-program prediction sets for LLM code generation, achieving up to 24.5% less code removal than prior methods at equivalent risk levels.
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.
-
Uncertainty Quantification for LLM-based Code Generation
RisCoSet applies multiple hypothesis testing to construct risk-controlling partial-program prediction sets for LLM code generation, achieving up to 24.5% less code removal than prior methods at equivalent risk levels.