Zhang, Xu-zhou; Gong, Yun-zhan; Wang, Ya-Wen - In: International Journal of Open Source Software and … 8 (2017) 2, pp. 59-75
Static program analysis is a strong technique for analyzing program behavior, but suffers from scalability problem, such as path explosion which is caused by the presence of loops and function calls. This article applies the selective execution mechanism and heuristic strategy on exploring paths...