机译:结合切片和约束求解以实现更好的调试:CONBASApproach
机译:结合切片和约束求解以实现更好的调试:Conbas方法
机译:通过安全切片和混合约束解决方案对Web应用程序进行有效注入漏洞分析的集成方法
机译:解决5G切片嵌入的安全性约束:概念验证
机译:关于约束在动态切片中进行程序调试的使用
机译:基于动态切片和切块的C ++交互式调试工具
机译:通过模型切片和调试对基因组规模随机模型进行诊断
机译:结合切片和约束解决以获得更好的调试:康巴斯方法
机译:salsa:将约束求解器与BDD结合用于自动不变检查