Publikation

SymEx-VP: An Open Source Virtual Prototype for OS-Agnostic Concolic Testing of IoT Firmware

Sören Tempel, Vladimir Herdt, Rolf Drechsler

In: Journal of Systems Architecture: Embedded Software Design (JSA) 125 Elsevier 2022.

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