Li-Fan Chen
says to
YSITD
Symbolic Execution 感覺有點酷