Login / Signup
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
Published in:
ACM Great Lakes Symposium on VLSI (2020)
Keyphrases
</>
virtual environment
model checking
augmented reality
source code
virtual reality
embedded systems
real world
watermarking algorithm
reverse engineering
open source software
control software
virtual laboratory
virtual teams
open source
information technology
image sequences
learning algorithm