位置：成果数据库 > 会议 > 会议详情页
Improving the Accuracy of Static Analysis Based on State Partition
  • 所属机构名称：北京邮电大学
  • 会议名称：The 4th International Workshop on Program Debugging (IWPD) co-held with the 24th IEEE International
  • 时间：2013.11
  • 成果类型：会议
  • 相关项目：基于抽象内存模型的复杂类型测试用例生成方法研究
同会议论文项目
基于抽象内存模型的复杂类型测试用例生成方法研究
期刊论文 27 会议论文 13
同项目会议论文
Diagnosis-Oriented Alarm Correlations
Null Dereference Detection via a Backward Analysis
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
基于语义分析和区间运算的库函数约束求解模型
Research on Complicate Array Object via Region-Based Memory Model
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