Publikation

Verification of Embedded Binaries using Coverage-guided Fuzzing with SystemC-based Virtual Prototypes

Vladimir Herdt; Daniel Große; Jonas Wloka; Tim Güneysu; Rolf Drechsler

In: 30th ACM Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2020), Peking, China, 2020.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence