A method for analyzing system state-space coverage within a t-wise testing framework | IEEE Conference Publication | IEEE Xplore