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.