Binary-level Directed Symbolic Execution Through Pattern Learning.

Zhijie Zhang, Liwei Chen, Haolai Wei, Guochao Dong, Yuantong Zhang, Xiaofan Nie, Gang Shi

Browse the full ISPA paper archive.