Static analysis; Tools; Binary codes; Performance analysis; Flow graphs; Scalability; Task analysis;
机译:动态符号执行的静态分析缺陷可及性确定方法
机译:用于静态分析警告确认的定向动态符号执行
机译:通过组合静态和动态分析技术来检测设计模式的一般框架
机译:使用动态分析确定静态检测到的缺陷的可到达性
机译:一种新的ATPG算法,可生成紧凑的测试集,以检测VLSI电路中的静态和动态缺陷。
机译:缺陷工程驱动的氮化钛/碳复合材料的独特静磁和动态电磁行为
机译:静态分析缺陷与动态符号执行帮助的可达性确定方法
机译:热化学还原CaO中的H-Ca(+)缺陷:静态和动态EpR研究。