Institutional Repository
| a test data generation tool for unit testing of c programs | |
| Xu Zhongxing; Zhang Jian | |
| 2006 | |
| Conference Name | 6th International Conference on Quality Software |
| Pages | 107-114 |
| Conference Date | OCT 27-28, |
| Conference Place | Beijing, PEOPLES R CHINA |
| Publish Place | 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA |
| Publisher | QSIC 2006: Sixth International Conference on Quality Software, Proceedings |
| ISSN | 1550-6002 |
| ISBN | 0-7695-2718-3 |
| Department | Chinese Acad Sci, Grad Univ, Inst Software, State Key Lab Comp Sci, Beijing 100864, Peoples R China. |
| English Abstract | This paper describes a prototype tool, called SimC, which automatically generates test data for unit testing of C programs. The tool symbolically simulates the execution of the given program. It simulates pointer operations precisely. This mak |
| Keyword | Test Data Generation Symbolic Execution Pointer Operation Unit Testing |
| Sponsorship | Peking Univ |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/11986 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | Xu Zhongxing,Zhang Jian. a test data generation tool for unit testing of c programs[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:QSIC 2006: Sixth International Conference on Quality Software, Proceedings,2006:107-114. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 04032275.pdf（129KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment