? null
Journal of Computer Science and Technology
Quick Search in JCST
 Advanced Search 
      Home | PrePrint | SiteMap | Contact Us | Help
 
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 << Previous Articles | Next Articles >>
null
Xu-Zhou Zhang1, Yun-Zhan Gong1, Member, CCF, Ya-Wen Wang1, Member, CCF, Ying Xing2, Member, CCF, Ming-Zhe Zhang1
null
Automated String Constraints Solving for Programs Containing String Manipulation Functions
null
null

摘要
参考文献
相关文章
Download: [PDF 819KB]  
文章导读 null
摘要 null
关键词:   
Abstract: null
Keywordsstring constraints solving   satisfaction module theory   program analysis   software testing   automated test input generation     
Received 2017-04-27;
本文基金:null
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.
引用本文:   
Xu-Zhou Zhang, Yun-Zhan Gong, Ya-Wen Wang, Ying Xing, Ming-Zhe Zhang.null[J]  Journal of Computer Science and Technology , 2017,V32(6): 1125-1135
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
链接本文:  
http://jcst.ict.ac.cn:8080/jcst/CN/10.1007/s11390-017-1787-y
Copyright 2010 by Journal of Computer Science and Technology