syntax-directed symbolic execution
... syntax-directed error correction 语法制导纠错 syntax-directed symbolic execution 语法指导符号执行 syntax-directed recognition algorithm 面向语法的识别算法 ...
基于4个网页-相关网页
syntax-directed symbolic execution
语法导向的符号执行
以上为机器翻译结果，长、整句建议使用 人工翻译 。