nach oben

Erschienen in:

Open Access 01.11.2017 | Regular Paper

Automated String Constraints Solving for Programs Containing String Manipulation Functions

verfasst von: Xu-Zhou Zhang, Yun-Zhan Gong, Ya-Wen Wang, Ying Xing, Ming-Zhe Zhang

Titel: Automated String Constraints Solving for Programs Containing String Manipulation Functions
verfasst von: Xu-Zhou Zhang
Yun-Zhan Gong
Ya-Wen Wang
Ying Xing
Ming-Zhe Zhang
Publikationsdatum: 01.11.2017
Verlag: Springer US
Erschienen in: Journal of Computer Science and Technology / Ausgabe 6/2017
Print ISSN: 1000-9000
Elektronische ISSN: 1860-4749
DOI: https://doi.org/10.1007/s11390-017-1787-y