Computation of minimal counterexamples by using black box techniques and symbolic methods | IEEE Conference Publication | IEEE Xplore