constraint solving techniques for software testing and analysis
文献类型：会议论文
| 作者 | Ma Feifei |
| 出版日期 | 2010 |
| 会议名称 | 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010 |
| 会议日期 | May 1, 201 |
| 会议地点 | Cape Town, South africa |
| 关键词 | Automatic programming Computer software selection and evaluation Software engineering Software testing |
| 页码 | 417-420 |
| 英文摘要 | 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. |
| 收录类别 | EI |
| 会议主办者 | Association for Computing Machinery (ACM); IEEE Computer Society; Technical Council on Software Engineering (tcse); SIGSOFT; Computer Society - South Africa |
| 会议录 | Proceedings - International Conference on Software Engineering
 |
| 会议录出版地 | United States |
| ISSN号 | 2705257 |
| ISBN号 | 9781610000000 |
| 源URL | [http://124.16.136.157/handle/311060/8704]  |
| 专题 | 软件研究所_计算机科学国家重点实验室 _会议论文 |
| 推荐引用方式 GB/T 7714 | 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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。