Automatically testing string solvers.

Alexandra Bugariu Peter Müller

Published in: ICSE (2020)

Keyphrases

automatically generated
pattern matching
test set
sat solvers
edit distance
neural network
metadata
database systems
image sequences
software testing
string matching