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

@article{pub12284,
    author = {

Tempel, Sören
 and 

Herdt, Vladimir
 and 

Drechsler, Rolf
},
    title = {SymEx-VP: An Open Source Virtual Prototype for OS-Agnostic Concolic Testing of IoT Firmware},
    year = {2022},
    volume = {125},
    journal = {Journal of Systems Architecture: Embedded Software Design (JSA)},
    publisher = {Elsevier}
}