位置：成果数据库 > 会议 > 会议详情页
Research on Complicate Array Object via Region-Based Memory Model
  • 所属机构名称：北京邮电大学
  • 会议名称：International Conference on Advanced Information Engineering and Education Science (ICAIEES 2013)
  • 时间：2013.4
  • 成果类型：会议
  • 相关项目：基于抽象内存模型的复杂类型测试用例生成方法研究
同会议论文项目
基于抽象内存模型的复杂类型测试用例生成方法研究
期刊论文 27 会议论文 13
同项目会议论文
Diagnosis-Oriented Alarm Correlations
Null Dereference Detection via a Backward Analysis
Improving the Accuracy of Static Analysis Based on State Partition
Research on Loop Path Selection in Coverage Testing
Performance Optimization of Code Testing System Based on Dynamic File Cache
The Research of Path-oriented Adaptive Stub Generation Technology
A method of stub generation for I/O functions in automatic test
基于语义分析和区间运算的库函数约束求解模型
A Method for Software Defect Patterns Customization
A Method of Function Modeling in Accurate Stub Generation
A method to facilitate automatic test cases generation based on inverse functions
A mutation-based fault injection method for C program