...
机译:结合切片和约束求解以实现更好的调试:Conbas方法
Institute for Software Technology, Graz University of Technology, 8010 Graz, Austria;
Institute for Software Technology, Graz University of Technology, 8010 Graz, Austria;
机译:结合切片和约束求解以实现更好的调试:CONBASApproach
机译:基于静态切片和动态排序的RTL数据路径设计的具有自动更正能力的可扩展形式调试方法
机译:通过安全切片和混合约束解决方案对Web应用程序进行有效注入漏洞分析的集成方法
机译:关于约束在动态切片中进行程序调试的使用
机译:用于求解离散的扩展切片平衡方法坐在下一代超级计算机上的中性粒子传输方程
机译:一种通过热带平衡简化模型的约束求解方法
机译:结合切片和约束解决以获得更好的调试:康巴斯方法