Login / Signup
Specification-Based Symbolic Execution for Stateful Network Protocol Implementations in IoT.
Sören Tempel
Vladimir Herdt
Rolf Drechsler
Published in:
IEEE Internet Things J. (2023)
Keyphrases
</>
symbolic execution
specification language
formal specification
test generation
programming language
static analysis
description language
test data generation
management system
source code
data flow
databases
neural network
quality control
simulated annealing algorithm