Segmental Symbolic Execution Based on Clustering

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]

Authors

Rui Ma 0004

This author has not been identified. Look up 'Rui Ma 0004' in Google

Haoran Gao

This author has not been identified. Look up 'Haoran Gao' in Google

Bowen Dou

This author has not been identified. Look up 'Bowen Dou' in Google

Xiajing Wang

This author has not been identified. Look up 'Xiajing Wang' in Google

Changzhen Hu

This author has not been identified. Look up 'Changzhen Hu' in Google