Combinatorial and MC/DC Coverage Levels of Random Testing | IEEE Conference Publication | IEEE Xplore