Institutional Repository
| program analysis: from qualitative analysis to quantitative analysis (nier track) | |
| Liu Sheng; Zhang Jian | |
| 2011 | |
| Conference Name | 33rd International Conference on Software Engineering, ICSE 2011 |
| Source | Proceedings - International Conference on Software Engineering |
| Pages | 956-959 |
| Conference Date | 21-May-20 |
| Conference Place | Waikiki, Honolulu, HI, United states |
| Indexed Type | EI |
| Publish Place | United States |
| ISSN | 2705257 |
| ISBN | 9781450304450 |
| Department | (1) State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China; (2) Graduate University, Chinese Academy of Sciences, China |
| English Abstract | 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. |
| Keyword | Software Engineering |
| Sponsorship | Assoc. Comput. Mach., Spec. Interest Group Softw.; Eng. (ACM SIGSOFT); IEEE Computer Society; Technical Council on Software Engineering (TCSE) |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/14245 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | Liu Sheng,Zhang Jian. program analysis: from qualitative analysis to quantitative analysis (nier track)[C]. United States,2011:956-959. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| program analysis fr（791KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment