Text this: Optimal test case generation for boundary value analysis.