A learning-based method for combining testing techniques | IEEE Conference Publication | IEEE Xplore