RWTH Aachen University, Lehrstuhl Informatik 11 - Embedded Software, Aachen, Germany;
RWTH Aachen University, Lehrstuhl Informatik 11 - Embedded Software, Aachen, Germany;
RWTH Aachen University, Lehrstuhl Informatik 11 - Embedded Software, Aachen, Germany;
机译:将静态并发分析与符号执行相结合
机译:抽象解释,符号执行和约束
机译:在最坏情况下执行时间分析中结合符号执行和路径枚举
机译:将抽象解释与符号执行结合框图框图静态值范围分析
机译:具有行列式决策图的大型模拟电路的符号分析。
机译:脑卒中患者运动图像和运动执行过程中有效连接的条件格兰杰因果关系分析
机译:结合静态分析和目标符号执行,可在应用程序二进制文件中进行可扩展的错误查找