机译:基于程序切片的信息泄漏分析系统
Graduate School of Engineering Science, Osaka University, 1-3 Machikaneyama-cho, Toyonaka, Osaka 560-8531, Japan;
program slice; information-leak analysis; program dependence graph; procedural language;
机译:面向对象程序的回归测试用例优先级的基于切片的变更影响分析
机译:基于线程系统依赖图(tSDG)的并发程序的过程间静态切片
机译:抽象程序切片:基于抽象解释的程序切片方法
机译:基于静态程序切片的工业软件系统切片实际变化影响分析
机译:面向对象程序的基于标准的混合切片算法。
机译:基于约束逻辑编程的故障定位重量优先切片
机译:基于程序切片的信息泄漏分析系统