Login / Signup
Incremental Pattern Matching in Graph-Based State Space Exploration.
Amir Hossein Ghamarian
Arash Jalali
Arend Rensink
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2010)
Keyphrases
</>
pattern matching
space exploration
regular expressions
string matching
matching process
pattern matching algorithm
hamming distance
boyer moore
lower bound
graph matching
tree matching
bit parallel
approximate pattern matching
matching strategy