...
机译:用于测试软件补丁的影子符号执行
Imperial Coll London, Dept Comp, Huxley Bldg,180 Queens Gate, London SW7 2AZ, England;
Imperial Coll London, Dept Comp, Huxley Bldg,180 Queens Gate, London SW7 2AZ, England;
Imperial Coll London, Dept Comp, Huxley Bldg,180 Queens Gate, London SW7 2AZ, England;
Symbolic patch testing; regression bugs; cross-version checks;
机译:软件测试的符号执行:十年之后
机译:使用组合动态符号执行的浮点嵌入式软件的单元测试
机译:使用组成动态符号执行生成浮点嵌入式软件的单元测试
机译:结合单元级符号执行和系统级具体执行以测试NASA软件
机译:用于执行复杂软件的符号执行。
机译:用于网络协议实现和漏洞检测的模型指导的符号执行方法
机译:测试软件补丁的阴影符号执行