Weighted Combinatorial Sequence Testing for the TLS Protocol.

Bernhard Garn Dimitris E. Simos Feng Duan Yu Lei Josip Bozic Franz Wotawa

Published in: ICST Workshops (2019)

Keyphrases

neural network
lightweight
test set
test cases
order statistics
cryptographic protocols
coloured petri nets
real time
formal analysis
application layer
pseudorandom