位置：成果数据库 > 期刊 > 期刊详情页
面向软件行为的需求模型及特性检测
  • 期刊名称：计算机研究与发展
  • 时间：0
  • 页码：14-34
  • 语言：中文
  • 相关项目：可信编译理论与实现方法研究
作者： Wu Huaiguang|吴怀广|陈曙|Wan Li|Wu Guoqing|Chen Shu|万黎|毋国庆|
同期刊论文项目
可信编译理论与实现方法研究
期刊论文 13 会议论文 4
同项目期刊论文
面向嵌入式系统的威胁建模与风险评估
一种用于类C语言环境的安全的类型化内存模型
可信编译器关键技术研究
程序的动态完整性:模型和方法
基于压缩的代码保护的低开销策略
一种针对C程序缓冲区溢出的检测方法
一种用于C语言环境的安全的类型化内存模型
A Visualization Method of Requirement Checking Based on Software Behavior
可信编译理论及其核心实现技术:研究综述
面向行为的需求建模研究及实现
基于编译支持错误跟踪的测试用例自动化生成方法
基于SMT求解器的路径敏感程序验证