Symbolic execution is a powerful technique for bug finding by generating test inputs to
systematically explore all feasible paths within a given threshold. However, its practical …