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

@inproceedings{pub10795,
    author = {

Herdt, Vladimir
 and 

Große, Daniel
 and 

Wloka, Jonas
 and 

Güneysu, Tim
 and 

Drechsler, Rolf
},
    title = {Verification of Embedded Binaries using Coverage-guided Fuzzing with SystemC-based Virtual Prototypes},
    booktitle = {30th ACM Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2020), Peking, China},
    year = {2020}
}