StringFuzz: A Fuzzer for String Solvers.
Dmitry BlotskyFederico MoraMurphy BerzishYunhui ZhengIfaz KabirVijay GaneshPublished in: CAV (2) (2018)
Keyphrases
- sat solvers
- data structure
- edit distance
- sat solving
- pattern matching
- regular expressions
- binary strings
- neural network
- suffix tree
- data sets
- string matching
- numerically stable
- highly optimized
- search heuristics
- variable length
- suffix array
- constraint solver
- approximate string matching
- orders of magnitude
- general purpose
- machine learning
- backtracking search
- satisfiability modulo theories
- string edit distance
- mixed integer linear