? Automated String Constraints Solving for Programs Containing String Manipulation Functions
Journal of Computer Science and Technology
Quick Search in JCST
 Advanced Search 
      Home | PrePrint | SiteMap | Contact Us | FAQ
 
Indexed by   SCIE, EI ...
Bimonthly    Since 1986
Journal of Computer Science and Technology 2017, Vol. 32 Issue (6) :1125-1135    DOI: 10.1007/s11390-017-1787-y
Special Section on Software Systems 2017 Current Issue | Archive | Adv Search << Previous Articles | Next Articles >>
Automated String Constraints Solving for Programs Containing String Manipulation Functions
null
null

Abstract
Reference
Related Articles
Download: [PDF 819KB]     Export: BibTeX or EndNote (RIS)  
Abstract null
Articles by authors
Keywordsstring constraints solving   satisfaction module theory   program analysis   software testing   automated test input generation     
Received 2017-04-27;
Fund:null
Corresponding Authors: 10.1007/s11390-017-1787-y   
About author: Xu-Zhou Zhang received his B.S.degree in computer science and technology from Huazhong University of Science and Technology,Wuhan,in 2010.He is currently a Ph.D.candidate in the State Key Laboratory of Networking and Switching Technology,Beijing University of Posts and Telecommunications,Beijing.His research interest is program analysis and software testing.
Cite this article:   
Xu-Zhou Zhang, Yun-Zhan Gong, Ya-Wen Wang, Ying Xing, Ming-Zhe Zhang.Automated String Constraints Solving for Programs Containing String Manipulation Functions[J]  Journal of Computer Science and Technology, 2017,V32(6): 1125-1135
URL:  
http://jcst.ict.ac.cn:8080/jcst/EN/10.1007/s11390-017-1787-y
Copyright 2010 by Journal of Computer Science and Technology