Sören Tempel, Vladimir Herdt, Rolf Drechsler. Specification-Based Symbolic Execution for Stateful Network Protocol Implementations in IoT. IEEE Internet of Things Journal, 10(11):9544-9555, June 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.