搜索筛选:
搜索耗时0.0957秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[学位论文] 作者：邵巳航,
来源：华东师范大学 年份：2018
...
[期刊论文] 作者：邵巳航,苏亭,顾斌,王政,杨孟飞,
来源：计算机工程与设计 年份：2014
针对C语言白盒测试用例自动生成问题，提出一套基于过程间的动态符号执行框架，建立基于Def-Use链和函数执行树的模型。以函数为单位进行约束收集，解决函数调用中实参和形参的符号......
相关搜索：
