Verification of RISC-V Embedded Software by Integrating Concolic Testing with SystemC-based Virtual Prototypes

@inproceedings{pub12147,
    author = {

Tempel, Sören
 and 

Herdt, Vladimir
 and 

Drechsler, Rolf
},
    title = {Verification of RISC-V Embedded Software by Integrating Concolic Testing with SystemC-based Virtual Prototypes},
    booktitle = {4th Workshop on RISC-V Activities. Workshop on RISC-V Activities, December 2-2, virtuell},
    year = {2021}
}