符号测试

符号测试符号测试（具体和符号的谐音）是一种混合的软件验证技术，沿着具体执行（对特定输入进行测试）的路径执行符号执行，这是一种将程序变量视为符号变量...