Combinatorial Test Suite Reduction of CTCS-3 Target Speed Monitor Based on Decision Tree Equivalence | IEEE Conference Publication | IEEE Xplore