Automated Testing of RIOT modules using SymEx-VP

@inproceedings{pub12718,
    author = {

Tempel, Sören
 and 

Herdt, Vladimir
 and 

Drechsler, Rolf
},
    title = {Automated Testing of RIOT modules using SymEx-VP},
    booktitle = {RIOT Summit 2022. RIOT Summit, 7th get-together of the friendly Operating System for the Internet of Things, September 5-6, Hamburg, Germany},
    year = {2022},
    address = {Hamburg University of Applied Sciences
Building A, Room 1.12 (1st floor)
Berliner Tor 5
20099 Hamburg, Germany}
}