High-Coverage AMS Test Space Optimization by Efficient Parametric Test Condition Generation | AMiner