OINK; program analysis; software migration; static analysis tool; testing;
机译:在数控机床上实现的静态/准静态误差在线异步补偿方法
机译:基于静态电导的MPPT方法的分析,设计与实现
机译:电力系统中基于GPU的静态安全分析的实现和优化
机译:基于静态分析工具的迁移实现
机译:基于静态程序分析的动态编译器选项选择方法:实现和评估。
机译:通过使用人群药代动力学分析推导和实现基于Web的工具优化慢性肾脏病的万古霉素剂量
机译:基于工具迁移的IAAS平台的设计与实现
机译:IKOs:基于抽象解释的静态分析框架(工具文件)。