Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT

@article{pub12993,
    author = {

Tempel, Sören
 and 

Herdt, Vladimir
 and 

Drechsler, Rolf
},
    title = {Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT},
    year = {2023},
    volume = {o.a.},
    journal = {IEEE Internet of Things Journal (IoT)},
    publisher = {IEEE}
}