Achieving high coverage for floating-point code via unconstrained programming
A taxonomy of model-based testing approaches