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

by Tempel, Sören, Herdt, Vladimir and Drechsler,Rolf

Reference:

Tempel, Sören, Herdt, Vladimir and Drechsler,Rolf, "An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes", In 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), IEEE, 2021.

Bibtex Entry:

@inproceedings{tampel2022effective,
title = {An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes},
booktitle = {2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)},
publisher = {IEEE},
author = {Tempel, Sören and Herdt, Vladimir and Drechsler,Rolf},
year = {2021},
url       = {http://www.informatik.uni-bremen.de/agra/doc/konf/DATE-2021_Concolic_Testing_with_SystemC_based_VPs.pdf},
keywords= {easecrc_cognitive_arch_systems}
}