Login / Signup
Monitor-based Testing of Network Protocol Implementations Using Symbolic Execution.
Hooman Asadian
Paul Fiterau-Brostean
Bengt Jonsson
Konstantinos Sagonas
Published in:
ARES (2024)
Keyphrases
</>
symbolic execution
test generation
test data generation
static analysis
specification language
source code
test cases
monitoring system
data flow
formal specification
neural network
multi agent systems
software testing