Reactive power; Testing; Prototypes; Algorithm design and analysis; Concrete; Indexes; Limiting;
机译:基于代码模式和向后符号执行的不可行路径检测
机译:动态符号执行中不可行的路径概括
机译:基于中央路径转换的单调SDLCP的一种不可行的内部点方法
机译:通过图形转换和符号执行修剪不可行路径的方法
机译:适用于GPU程序的实用符号执行分析和方法。
机译:基于修剪和路径分割的中国陆上和海上汇率调整后热优化路径方法分析
机译:基于图形的二进制代码执行路径探索平台,用于动态符号执行*
机译:利用状态合并和状态修剪解决符号执行面临的路径爆炸问题