Publication

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.

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