Segmental Symbolic Execution Based on Clustering.

Rui Ma, Haoran Gao, Bowen Dou, Xiajing Wang, Changzhen Hu

Browse the full UIC paper archive.