String Abstractions for String Verification.

Fang Yu Tevfik Bultan Ben Hardekopf

Published in: SPIN (2011)

Keyphrases

edit distance
data structure
pattern matching
context free grammars
regular expressions
proximity graph
data sets
formal verification
string matching
suffix tree
variable length
expert systems
model checking
dynamic programming
suffix array
multiscale
artificial intelligence