Optimal test case generation for boundary value analysis | Synapse