Institutional Repository
| constraint solving techniques for software testing and analysis | |
| Ma Feifei | |
| 2010 | |
| Conference Name | 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010 |
| Source | Proceedings - International Conference on Software Engineering |
| Pages | 417-420 |
| Conference Date | May 1, 201 |
| Conference Place | Cape Town, South africa |
| Indexed Type | EI |
| Publish Place | United States |
| ISSN | 2705257 |
| ISBN | 9781610000000 |
| Department | (1) Institute of Software, Chinese Academy of Sciences, Graduate University, P.O. Box 8718, Beijing 100190, China |
| English Abstract | 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. |
| Keyword | Automatic Programming Computer Software Selection And Evaluation Software Engineering Software Testing |
| Sponsorship | Association for Computing Machinery (ACM); IEEE Computer Society; Technical Council on Software Engineering (tcse); SIGSOFT; Computer Society - South Africa |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/8704 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | Ma Feifei. constraint solving techniques for software testing and analysis[C]. United States,2010:417-420. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| p417-ma.pdf（116KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment