Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers.

Alexandra Bugariu Arshavir Ter-Gabrielyan Peter Müller

Published in: CoRR (2021)

Keyphrases

matching algorithm
pattern discovery
matching process
feature points
pattern matching
pattern mining
graph matching
data sets
data mining techniques
temporal patterns
program execution
pattern matching algorithm
neural network
feature matching