状态合并相关论文
高血糖高渗状态是糖尿病急性代谢紊乱,是糖尿病患者未有效地控制血糖的结果,其死亡率很高,预后严重,它的主要临床特征为严重高血糖......
C语言以其对底层机器操控的灵活性，在操作系统、嵌入式软件、底层驱动等要求高效的软件设计领域得到广泛应用。然而出于灵活性和效......
符号执行是近年来一种比较热门的程序分析和测试方法,能够自动探索程序的路径空间,分析进入各路径的约束条件并生成测试用例,具有......
随着无线蜂窝网络规模的不断增长,能耗以及能源利用率对经济,社会,环境等多方面的影响越来越大,节能减排的重要性与紧迫性日渐凸显......
符号执行技术以其良好的精确度控制和代码覆盖率被广泛应用于静态程序分析和高覆盖率测试用例自动生成。符号执行在分析程序时,以......
程序分析的主要目标是对程序的性质进行研究,符号执行作为目前主流的分析方法在生成高效的测试用例集或提高路径覆盖率等方面发挥......
