论文信息 - Sharp Static Analysis of Programs: Sharp Static Analysis of Programs - 字舞流文

Sharp Static Analysis of Programs: Sharp Static Analysis of Programs

[1] James C. King,et al. Symbolic execution and program testing , 1976, CACM.

[2] Jian Zhang,et al. A Constraint Solver and Its Application to Path Feasibility Analysis , 2001, Int. J. Softw. Eng. Knowl. Eng..

[3] Susan Horwitz,et al. Precise flow-insensitive may-alias analysis is NP-hard , 1997, TOPL.

[4] Hee Beng Kuan Tan,et al. Heuristics-based infeasible path detection for dynamic test data generation , 2008, Inf. Softw. Technol..

[5] N. Malevris,et al. Reducing the effects of infeasible paths in branch testing , 1989 .

[6] C. A. R. Hoare,et al. The verifying compiler: A grand challenge for computing research , 2003, JACM.