C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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