program analysis: from qualitative analysis to quantitative analysis (nier track)
文献类型：会议论文
| 作者 | Liu Sheng ; Zhang Jian |
| 出版日期 | 2011 |
| 会议名称 | 33rd International Conference on Software Engineering, ICSE 2011 |
| 会议日期 | 21-May-20 |
| 会议地点 | Waikiki, Honolulu, HI, United states |
| 关键词 | Software engineering |
| 页码 | 956-959 |
| 英文摘要 | We propose to combine symbolic execution with volume computation to compute the exact execution frequency of program paths and branches. Given a path, we use symbolic execution to obtain the path condition which is a set of constraints; then we use volume computation to obtain the size of the solution space for the constraints. With such a methodology and supporting tools, we can decide which paths in a program are executed more often than the others. We can also generate certain test cases that are related to the execution frequency, e.g., those covering cold paths. © 2011 ACM. |
| 收录类别 | EI |
| 会议主办者 | Assoc. Comput. Mach., Spec. Interest Group Softw.; Eng. (ACM SIGSOFT); IEEE Computer Society; Technical Council on Software Engineering (TCSE) |
| 会议录 | Proceedings - International Conference on Software Engineering
 |
| 会议录出版地 | United States |
| ISSN号 | 2705257 |
| ISBN号 | 9781450304450 |
| 源URL | [http://124.16.136.157/handle/311060/14245]  |
| 专题 | 软件研究所_计算机科学国家重点实验室 _会议论文 |
| 推荐引用方式 GB/T 7714 | Liu Sheng,Zhang Jian. program analysis: from qualitative analysis to quantitative analysis (nier track)[C]. 见:33rd International Conference on Software Engineering, ICSE 2011. Waikiki, Honolulu, HI, United states. 21-May-20. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。