Theory and practice of string solvers (invited talk abstract).

Adam Kiezun Philip J. Guo Pieter Hooimeijer Michael D. Ernst Vijay Ganesh

Published in: ISSTA (2019)

Keyphrases

mobile devices
invited talk
mobile learning
theoretical framework
string matching
theoretical frameworks
knowledge discovery and data mining
book constitutes the refereed proceedings
theoretical insights
database
data structure
data analysis
computational intelligence
rough sets
pattern matching
sat solvers