位置：成果数据库 > 期刊 > 期刊详情页
A Method of Path Feasibility Judgment Based on Symbolic Execution and Range Analysis
  • 期刊名称：International Journal of Future Generation Communi
  • 时间：2014.6.1
  • 页码：205-212
  • 相关项目：基于抽象内存模型的复杂类型测试用例生成方法研究
作者： Ya-Wen Wang|Ying Xing|Xu-Zhou Zhang|
同期刊论文项目
基于抽象内存模型的复杂类型测试用例生成方法研究
期刊论文 27 会议论文 13
同项目期刊论文
An Intelligent Method Based on State Space Search for Automatic Test Case Generation
Symbolic Procedure Summary Using Region-based Symbolic Three-valued Logic
基于区间必然集的测试用例生成方法
An Intelligent Method for Test Data Generation Based on Optimized Interval Arithmetic
基于踪迹挖掘的自动缺陷警报分类方法
Research Of Alarm Correlations Based On Static Defect Detection
Detecting Null-dereference Bugs via a Backward Analysis
A Hybrid Intelligent Search Algorithm for Automatic Test Data Generation
Optimized Branch and Bound for Path-wise Test Data Generation
基于分支限界搜索框架的测试用例自动生成
Path-wise Test Data Generation Based on Heuristic Look-ahead Methods
基于区域内存模型的C程序静态分析
基于缺陷关联的静态分析优化
The application of iterative interval arithmetic in path-wise test data generation
自动测试用例生成中非四则运算的等价变换方法
基于区域内存模型的空指针引用缺陷检测
Intelligent test case generation based on branch and bound
基于区域内存模型的 C 程序静态分析
基于缓存估算模型的代码测试系统性能优化方法
一种变异测试中冗余变异体的寻找方法
基于有向感知模型的无线传感器网络节点部署