Java; Software engineering; Gold; Numerical models; Software; Libraries; Scalability;
机译:评估程序依赖的词汇近似
机译:基于观测的近似依赖性建模及其对程序切片的用途
机译:使用动态数据依赖分析的Java程序切片方法
机译:海报:MOBS:使用程序依赖的词汇近似的基于多操作员的切片
机译:齐次锥规划的代数视角,以及对称锥规划的原始-对偶二阶锥逼近算法。
机译:动态编程成功逼近和单调收敛
机译:依赖 - 缓存切片:使用轻量级动态信息的程序切片方法
机译:现代程序结构控制依赖与切片的新基础