Hongliang Liang, Shirun Liu, Yini Zhang, Meilin Wang. Improving the precision of static analysis: Symbolic execution based on GCC abstract syntax tree. In Teruhisa Hochin, Hiroaki Hirata, Nomiya Hiroki, editors, 18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2017, Kanazawa, Japan, June 26-28, 2017. pages 395-400, IEEE Computer Society, 2017. [doi]
Abstract is missing.