Return to Article Details Improving the efficiency of symbolic execution by clustering the input data based on the complexity of test generation Download Download PDF