Diagnostic Test Generation Targeting Equivalence Classes | IEEE Conference Publication | IEEE Xplore