An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes

@inproceedings{pub11325,
    author = {

Tempel, Sören
 and 

Herdt, Vladimir
 and 

Drechsler, Rolf
},
    title = {An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes},
    booktitle = {Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2021), February 1-5, Grenoble, France},
    year = {2021}
}