Weighted Combinatorial Sequence Testing for the TLS Protocol | IEEE Conference Publication | IEEE Xplore