Coveringcerts: Combinatorial Methods for X.509 Certificate Testing | IEEE Conference Publication | IEEE Xplore