搜索筛选:
搜索耗时0.8711秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[会议论文] 作者：林梦香,童建林,吴国仕,
来源：第五届中国软件工程大会 年份：2008
针对符号执行建立的路径条件求解困难的问题，结合混合约束求解的最新研究成果，提出了一个多策略的路径条件求解算法。分析了路径条件的具体特征，通过路径条件的变换及时消除不可......
相关搜索：
