Rui Ma 0004, Haoran Gao, Bowen Dou, Xiajing Wang, Changzhen Hu. Segmental Symbolic Execution Based on Clustering. In 2019 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2019, Leicester, United Kingdom, August 19-23, 2019. pages 1289-1296, IEEE, 2019. [doi]
@inproceedings{0004GDWH19,
title = {Segmental Symbolic Execution Based on Clustering},
author = {Rui Ma 0004 and Haoran Gao and Bowen Dou and Xiajing Wang and Changzhen Hu},
year = {2019},
doi = {10.1109/SmartWorld-UIC-ATC-SCALCOM-IOP-SCI.2019.00239},
url = {https://doi.org/10.1109/SmartWorld-UIC-ATC-SCALCOM-IOP-SCI.2019.00239},
researchr = {https://researchr.org/publication/0004GDWH19},
cites = {0},
citedby = {0},
pages = {1289-1296},
booktitle = {2019 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2019, Leicester, United Kingdom, August 19-23, 2019},
publisher = {IEEE},
isbn = {978-1-7281-4034-6},
}