Title: | constraint solving techniques for software testing and analysis |
Author: | Ma Feifei
|
Source: | Proceedings - International Conference on Software Engineering
|
Conference Name: | 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010
|
Conference Date: | May 1, 201
|
Issued Date: | 2010
|
Conference Place: | Cape Town, South africa
|
Keyword: | Automatic programming
; Computer software selection and evaluation
; Software engineering
; Software testing
|
Publish Place: | United States
|
Indexed Type: | EI
|
ISSN: | 2705257
|
ISBN: | 9781610000000
|
Department: | (1) Institute of Software, Chinese Academy of Sciences, Graduate University, P.O. Box 8718, Beijing 100190, China
|
Sponsorship: | Association for Computing Machinery (ACM); IEEE Computer Society; Technical Council on Software Engineering (tcse); SIGSOFT; Computer Society - South Africa
|
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. |
Content Type: | 会议论文
|
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.
|
|
|