Return to Article Details Optimized Branch and Bound for Path-wise Test Data Generation Download Download PDF