Weighted Combinatorial Sequence Testing for the TLS Protocol
Bernhard Garn, Dimitris E. Simos, Feng Duan, Yu Lei, Josip Božić, Franz Wotawa · 2019
In this paper, we apply the notion of weighted t-way sequences to derive sequence test cases for testing implementations of the TLS protocol version 1.2. The used weights have been derived from an analysis of a security bug database of GnuTLS and we tested four implementations of the TLS protocol against them comparing their behavior. Our results indicate discrepancies in the behavior of different TLS implementations.