Oxford University;
Oxford University;
Vienna University of Technology, Austria;
机译:C程序中的近似循环不足,可快速检测反例
机译:具有环路检测功能的无环路替代产品,可在软件定义的运营商和数据中心网络中快速重路由
机译:高线性度,快速锁定的脉宽控制回路,具有数字可编程占空比校正功能,适用于宽范围工作
机译:在C程序中的近似宽度循环,用于快速的反异点检测
机译:结合高估和低估程序分析以进行自动软件测试
机译:C程序中的逼近循环不足以提供快速反例检测
机译:C程序中的近似循环不足,可快速检测反例