Precision-Driven Test Case Engineering