ISCAS OpenIR
symbolic execution of program paths involving pointer and structure variables
Zhang J
2004
Conference Name4th International Conference on Quality Software
Pages87-92
Conference DateSEP 08-09,
Conference PlaceBraunschweig, GERMANY
Indexed Typeistp ; ieee
Publish Place10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
PublisherQSIC 2004: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE
ISBN0-7695-2207-6
DepartmentChinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China.
English AbstractMany white-box testing methods are based on the analysis of program paths. For these methods, an important problem is to determine the feasibility of a given path, and find appropriate input data to execute the path if it is feasible. In this
KeywordArray Variables Constraint Solving Technique Path Translation Pointer Structure Variables Program Path Analysis Symbolic Program Path Execution Translation Tool White-box Testing Constraint Handling Data Flow Analysis Program Interpreters Progr
SponsorshipTech Univ Braunschweig, Inst Informat Syst, Univ Hong Kong, Software Engn Grp, Swinburne Univ Technol, Ctr Software Engn
Language英语
Content Type会议论文
URIhttp://ir.iscas.ac.cn/handle/311060/12944
Collection中国科学院软件研究所
Recommended Citation
GB/T 7714
Zhang J. symbolic execution of program paths involving pointer and structure variables[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:QSIC 2004: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE,2004:87-92.
Files in This Item:
File Name/Size DocType Version Access License
01357948.pdf(275KB) 开放获取--Application Full Text
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Zhang J]'s Articles
Baidu academic
Similar articles in Baidu academic
[Zhang J]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Zhang J]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.