Login / Signup
Automated String Constraints Solving for Programs Containing String Manipulation Functions.
Xuzhou Zhang
Yunzhan Gong
Yawen Wang
Ying Xing
Mingzhe Zhang
Published in:
J. Comput. Sci. Technol. (2017)
Keyphrases
</>
pattern matching
edit distance
string matching
context free grammars
genetic algorithm
data structure
suffix tree
linear programming problems
constrained problems
dynamic programming
constraint programming
regular expressions
semi automated
binary strings
reducing the search space