位置：成果数据库 > 期刊 > 期刊详情页
程序静态分析技术与工具
  • 期刊名称：《计算机科学》
  • 时间：0
  • 作者或编辑：3448
  • 第一作者所属机构：中国科学院软件研究所
  • 页码：第31卷，171?174页
  • 语言：中文
  • 相关项目：计算机软件
作者： 杨宇、张健|
同期刊论文项目
计算机软件
期刊论文 16 会议论文 8
同项目期刊论文
Automated test case generation for the stress testing of multimedia systems
一种求解混合约束问题的快速完备算法
Automatic Generation of Symbolic Model for Parameterized Synchronous Systems
基于基本路径的程序自动化测试
Reducing symmetries to generate easier SAT instances
Generating SAT instances from first-order formulas
Solving Boolean combinations of nonlinear numerical constraints
Survey Propagation — 一种求解SAT的高效算法
多线程程序数据竞争的静态检测
基于约束的主动规则终止性分析
约束问题求解