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]
@inproceedings{LiangLZW17,
title = {Improving the precision of static analysis: Symbolic execution based on GCC abstract syntax tree},
author = {Hongliang Liang and Shirun Liu and Yini Zhang and Meilin Wang},
year = {2017},
doi = {10.1109/SNPD.2017.8022752},
url = {http://doi.ieeecomputersociety.org/10.1109/SNPD.2017.8022752},
researchr = {https://researchr.org/publication/LiangLZW17},
cites = {0},
citedby = {0},
pages = {395-400},
booktitle = {18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2017, Kanazawa, Japan, June 26-28, 2017},
editor = {Teruhisa Hochin and Hiroaki Hirata and Nomiya Hiroki},
publisher = {IEEE Computer Society},
isbn = {978-1-5090-5504-3},
}