CCM: A Tool for Measuring Combinatorial Coverage of System State Space | IEEE Conference Publication | IEEE Xplore