37 Daoyi S St
Shenyang
China
Shenyang Aerospace University
Automatic test case generation, Path coverage, arithmetic optimization algorithm, Path entropy