Early Concolic Testing of Embedded Binaries with Virtual Prototypes: A RISC-V Case Study.

Vladimir Herdt Daniel Große Hoang M. Le Rolf Drechsler

Published in: DAC (2019)

Keyphrases

case study
virtual environment
application specific
source code
embedded systems
lessons learned
augmented reality
real world
virtual laboratory
virtual reality
open source
design process
practical guidelines
data sets
instruction set
development process
test cases
gray scale
software development
website