Publikation

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

Sören Tempel, Vladimir Herdt, Rolf Drechsler

In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2021) February 1-5 Grenoble France 2021.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence