Tempel, S., Vladimir, H., & Rolf, D. (2022). SymEx-VP: An open source virtual prototype for OS-agnostic concolic testing of IoT firmware. Journal of Systems Architecture, 126(1). https://doi.org/10.1016/j.sysarc.2022.102456