机译:基于数据流分析的消息传递接口程序的静态跟踪算法
机译:基于数据流分析的消息传递接口程序的静态跟踪算法
机译:基于协同进化遗传算法的消息传递并行程序路径覆盖的测试数据生成
机译:具有消息传递和共享内存范例的并发程序中的数据流测试
机译:数据流测试中的并发程序,具有消息传递和共享内存范例
机译:静态分析,用于从具有所有权域批注的面向对象的程序中提取数据流边缘。
机译:压缩感知的消息传递算法
机译:一种基于数据流分析的消息传递接口程序静态跟踪算法
机译:显式并行消息传递程序静态分析的程序流程图构造