CLOTHO: saving programs from malformed strings and incorrect string-handling.

Aritra Dhar Rahul Purandare Mohan Dhawan Suresh Rangaswamy

Published in: ESEC/SIGSOFT FSE (2015)

Keyphrases

edit distance
string matching
finite alphabet
approximate string matching
string similarity
suffix array
levenshtein distance
hamming distance

pattern matching
variable length
binary strings
closest string
regular expressions
long strings
data structure

edit operations
alphabet size
normalized edit distance
automatic programming
computer programs
learning algorithm
tree edit distance

graph matching
logic programming
dynamic programming
query processing
proximity graph
case study
real time