VECTORES
A Primal-Dual Solution to Minimal Test Generation Problem
A Two Phase Approach for Minimal Diagnostic Test Set Generation