Demystifying Performance Regressions in String Solvers.
Yao ZhangXiaofei XieYi LiYun LinSen ChenYang LiuXiaohong LiPublished in: IEEE Trans. Software Eng. (2023)
Keyphrases
- string matching
- regular expressions
- context free grammars
- pattern matching
- edit distance
- data structure
- sat solvers
- linear model
- suffix tree
- quantified boolean formulas
- stochastic methods
- variable length
- orders of magnitude
- search algorithm
- similarity measure
- machine learning
- suffix array
- approximate string matching
- binary strings
- real world
- arbitrary length
- databases