| 题名: | constraint solving techniques for software testing and analysis |
| 作者: | Ma Feifei
|
| 会议文集: | Proceedings - International Conference on Software Engineering
|
| 会议名称: | 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010
|
| 会议日期: | May 1, 201
|
| 出版日期: | 2010
|
| 会议地点: | Cape Town, South africa
|
| 关键词: | Automatic programming
; Computer software selection and evaluation
; Software engineering
; Software testing
|
| 出版地: | United States
|
| 收录类别: | EI
|
| ISSN: | 2705257
|
| ISBN: | 9781610000000
|
| 部门归属: | (1) Institute of Software, Chinese Academy of Sciences, Graduate University, P.O. Box 8718, Beijing 100190, China
|
| 主办者: | Association for Computing Machinery (ACM); IEEE Computer Society; Technical Council on Software Engineering (tcse); SIGSOFT; Computer Society - South Africa
|
| 英文摘要: | Software testing and analysis are very important research topics in software engineering. We are interested in improving the accuracy of analysis, as well as automation of test generation. In particular, we have been working on the automatic generation of small Orthogonal Arrays which can be used for combinatorial testing, and the computation of path execution frequency for a program path. The basic idea is to reduce the original problems to constraint satisfaction problems and develop effective constraint solving techniques for solving the problems. © 2010 ACM. |
| 内容类型: | 会议论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/8704
|
| Appears in Collections: | 计算机科学国家重点实验室 _会议论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| p417-ma.pdf（116KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
Ma Feifei. constraint solving techniques for software testing and analysis[C]. 见:32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010. Cape Town, South africa. May 1, 201.
|
|
|
